<?xml version="1.0"?>
<dblpperson name="Wontae Choi" pid="70/7540" n="17">
<person key="homepages/70/7540" mdate="2009-11-18">
<author pid="70/7540">Wontae Choi</author>
</person>
<r><article publtype="informal" key="journals/corr/abs-2510-26173" mdate="2025-11-17">
<author pid="70/7540">Wontae Choi</author>
<author pid="288/4706">Jaelin Lee</author>
<author pid="391/4918">Hyung Sup Yun</author>
<author pid="66/6089">Byeungwoo Jeon</author>
<author pid="174/1982">Il Yong Chun</author>
<title>MoTDiff: High-resolution Motion Trajectory estimation from a single blurred image using Diffusion models.</title>
<year>2025</year>
<month>October</month>
<volume>abs/2510.26173</volume>
<journal>CoRR</journal>
<ee type="oa">https://doi.org/10.48550/arXiv.2510.26173</ee>
<url>db/journals/corr/corr2510.html#abs-2510-26173</url>
<stream>streams/journals/corr</stream>
</article>
</r>
<r><article key="journals/ral/SuhC23" mdate="2023-07-27">
<author orcid="0000-0002-0106-4829" pid="45/7084">Jungwook Suh</author>
<author orcid="0000-0002-4158-9881" pid="70/7540">Wontae Choi</author>
<title>Design and Verification of Parallelogram Mechanism With Geared Unit Rolling Joints for Reliable Wiring.</title>
<pages>3756-3763</pages>
<year>2023</year>
<month>June</month>
<volume>8</volume>
<journal>IEEE Robotics Autom. Lett.</journal>
<number>6</number>
<ee type="oa">https://doi.org/10.1109/LRA.2023.3264716</ee>
<url>db/journals/ral/ral8.html#SuhC23</url>
</article>
</r>
<r><article publtype="informal" key="journals/corr/abs-2311-04250" mdate="2023-11-14">
<author pid="324/4899">Sang-Hyun Je</author>
<author pid="70/7540">Wontae Choi</author>
<author pid="323/7593">Kwangjin Oh</author>
<title>Unifying Structure and Language Semantic for Efficient Contrastive Knowledge Graph Completion with Structured Entity Anchors.</title>
<year>2023</year>
<volume>abs/2311.04250</volume>
<journal>CoRR</journal>
<ee type="oa">https://doi.org/10.48550/arXiv.2311.04250</ee>
<url>db/journals/corr/corr2311.html#abs-2311-04250</url>
</article>
</r>
<r><inproceedings key="conf/acsac/YilmazSC20" mdate="2025-01-19">
<author orcid="0000-0002-3591-3606" pid="26/9596">Fadi Yilmaz</author>
<author pid="74/7731">Meera Sridhar</author>
<author pid="70/7540">Wontae Choi</author>
<title>Guide Me to Exploit: Assisted ROP Exploit Generation for ActionScript Virtual Machine.</title>
<pages>386-400</pages>
<year>2020</year>
<booktitle>ACSAC</booktitle>
<ee>https://doi.org/10.1145/3427228.3427568</ee>
<ee>https://www.wikidata.org/entity/Q130923131</ee>
<crossref>conf/acsac/2020</crossref>
<url>db/conf/acsac/acsac2020.html#YilmazSC20</url>
</inproceedings>
</r>
<r><article key="journals/vlc/ChoiKB19" mdate="2025-01-19">
<author pid="70/7540">Wontae Choi</author>
<author pid="10/1399">Jayanthkumar Kannan</author>
<author pid="60/3666">Domagoj Babic</author>
<title>A scalable, flow-and-context-sensitive taint analysis of android applications.</title>
<pages>1-14</pages>
<year>2019</year>
<volume>51</volume>
<journal>J. Comput. Lang.</journal>
<ee>https://doi.org/10.1016/j.jvlc.2018.10.005</ee>
<ee>https://www.wikidata.org/entity/Q129010318</ee>
<url>db/journals/vlc/vlc51.html#ChoiKB19</url>
</article>
</r>
<r><inproceedings key="conf/icse/ChoiSNW18" mdate="2023-03-21">
<author pid="70/7540">Wontae Choi</author>
<author pid="04/418">Koushik Sen</author>
<author pid="n/GeorgeCNecula">George C. Necula</author>
<author orcid="0000-0001-9821-3220" pid="80/6234">Wenyu Wang</author>
<title>DetReduce: minimizing Android GUI test suites for regression testing.</title>
<pages>445-455</pages>
<year>2018</year>
<booktitle>ICSE</booktitle>
<ee>https://doi.org/10.1145/3180155.3180173</ee>
<ee>https://ieeexplore.ieee.org/document/8453105</ee>
<crossref>conf/icse/2018</crossref>
<url>db/conf/icse/icse2018.html#ChoiSNW18</url>
</inproceedings>
</r>
<r><phdthesis key="phd/us/Choi17" mdate="2022-06-10">
<author pid="70/7540">Wontae Choi</author>
<title>Guided GUI Testing of Android Apps with Minimal Restart and Approximate Learning.</title>
<school>University of California, Berkeley, USA</school>
<year>2017</year>
<ee>https://www.escholarship.org/uc/item/3m87m1jg</ee>
</phdthesis>
</r>
<r><inproceedings key="conf/sas/ChoiCNS15" mdate="2021-10-18">
<author pid="70/7540">Wontae Choi</author>
<author pid="c/SatishChandra">Satish Chandra 0001</author>
<author pid="n/GeorgeCNecula">George C. Necula</author>
<author pid="04/418">Koushik Sen</author>
<title>SJS: A Type System for JavaScript with Fixed Object Layout.</title>
<pages>181-198</pages>
<year>2015</year>
<booktitle>SAS</booktitle>
<ee>https://doi.org/10.1007/978-3-662-48288-9_11</ee>
<crossref>conf/sas/2015</crossref>
<url>db/conf/sas/sas2015.html#ChoiCNS15</url>
</inproceedings>
</r>
<r><inproceedings key="conf/sigsoft/SenNGC15" mdate="2025-01-19">
<author pid="04/418">Koushik Sen</author>
<author pid="n/GeorgeCNecula">George C. Necula</author>
<author pid="28/7849">Liang Gong</author>
<author pid="70/7540">Wontae Choi</author>
<title>MultiSE: multi-path symbolic execution using value summaries.</title>
<pages>842-853</pages>
<year>2015</year>
<booktitle>ESEC/SIGSOFT FSE</booktitle>
<ee>https://doi.org/10.1145/2786805.2786830</ee>
<ee>https://www.wikidata.org/entity/Q131117282</ee>
<crossref>conf/sigsoft/2015</crossref>
<url>db/conf/sigsoft/fse2015.html#SenNGC15</url>
</inproceedings>
</r>
<r><inproceedings key="conf/oopsla/ChoiNS13" mdate="2021-06-24">
<author pid="70/7540">Wontae Choi</author>
<author pid="n/GeorgeCNecula">George C. Necula</author>
<author pid="04/418">Koushik Sen</author>
<title>Guided GUI testing of android apps with minimal restart and approximate learning.</title>
<pages>623-640</pages>
<year>2013</year>
<booktitle>OOPSLA</booktitle>
<ee>https://doi.org/10.1145/2509136.2509552</ee>
<ee>https://doi.org/10.1145/2544173.2509552</ee>
<crossref>conf/oopsla/2013</crossref>
<url>db/conf/oopsla/oopsla2013.html#ChoiNS13</url>
</inproceedings>
</r>
<r><inproceedings key="conf/pldi/OliveiraSCLY12" mdate="2021-06-24">
<author pid="20/7796">Bruno C. d. S. Oliveira</author>
<author orcid="0000-0001-8771-5559" pid="s/TomSchrijvers">Tom Schrijvers</author>
<author pid="70/7540">Wontae Choi</author>
<author pid="11/1877">Wonchan Lee</author>
<author pid="y/KwangkeunYi">Kwangkeun Yi</author>
<title>The implicit calculus: a new foundation for generic programming.</title>
<pages>35-44</pages>
<year>2012</year>
<booktitle>PLDI</booktitle>
<ee>https://doi.org/10.1145/2254064.2254070</ee>
<ee>https://doi.org/10.1145/2345156.2254070</ee>
<crossref>conf/pldi/2012</crossref>
<url>db/conf/pldi/pldi2012.html#OliveiraSCLY12</url>
</inproceedings>
</r>
<r><article publtype="informal" key="journals/corr/abs-1203-4499" mdate="2018-08-13">
<author pid="20/7796">Bruno C. d. S. Oliveira</author>
<author pid="s/TomSchrijvers">Tom Schrijvers</author>
<author pid="70/7540">Wontae Choi</author>
<author pid="11/1877">Wonchan Lee</author>
<author pid="y/KwangkeunYi">Kwangkeun Yi</author>
<title>Extended Report: The Implicit Calculus</title>
<ee type="oa">http://arxiv.org/abs/1203.4499</ee>
<year>2012</year>
<journal>CoRR</journal>
<volume>abs/1203.4499</volume>
<url>db/journals/corr/corr1203.html#abs-1203-4499</url>
</article>
</r>
<r><inproceedings key="conf/popl/ChoiAYT11" mdate="2026-02-19">
<author pid="70/7540">Wontae Choi</author>
<author pid="76/4101">Baris Aktemur</author>
<author pid="y/KwangkeunYi">Kwangkeun Yi</author>
<author pid="18/5262">Makoto Tatsuta</author>
<title>Static analysis of multi-staged programs via unstaging translation.</title>
<pages>81-92</pages>
<year>2011</year>
<booktitle>POPL</booktitle>
<ee type="oa">https://doi.org/10.1145/1926385.1926397</ee>
<ee type="oa">https://doi.org/10.1145/1925844.1926397</ee>
<crossref>conf/popl/2011</crossref>
<url>db/conf/popl/popl2011.html#ChoiAYT11</url>
</inproceedings>
</r>
<r><article key="journals/ieicet/JangHCLK10" mdate="2020-04-11">
<author pid="70/3815">Wonwoo Jang</author>
<author pid="34/8786">Hagyong Han</author>
<author pid="70/7540">Wontae Choi</author>
<author pid="62/8785">Gidong Lee</author>
<author pid="96/5805">Bongsoon Kang</author>
<title>Improvement of Ringing Artifact Reduction Using a <i>K</i>-Means Method for Color Moving Pictures.</title>
<pages>348-353</pages>
<year>2010</year>
<volume>93-A</volume>
<journal>IEICE Trans. Fundam. Electron. Commun. Comput. Sci.</journal>
<number>1</number>
<ee>https://doi.org/10.1587/transfun.E93.A.348</ee>
<ee>http://search.ieice.org/bin/summary.php?id=e93-a_1_348</ee>
<url>db/journals/ieicet/ieicet93a.html#JangHCLK10</url>
</article>
</r>
<r><article key="journals/tce/KwonHLCK10" mdate="2020-07-09">
<author pid="38/1412">Homin Kwon</author>
<author pid="34/8786">Hagyong Han</author>
<author pid="32/3226">Sungmok Lee</author>
<author pid="70/7540">Wontae Choi</author>
<author pid="96/5805">Bongsoon Kang</author>
<title>New video enhancement preprocessor using the region-of-interest for the videoconferencing.</title>
<pages>2644-2651</pages>
<year>2010</year>
<volume>56</volume>
<journal>IEEE Trans. Consumer Electron.</journal>
<number>4</number>
<ee>https://doi.org/10.1109/TCE.2010.5681152</ee>
<url>db/journals/tce/tce56.html#KwonHLCK10</url>
</article>
</r>
<r><inproceedings key="conf/gpce/KongCY09" mdate="2021-06-22">
<author pid="43/7541">Soonho Kong</author>
<author pid="70/7540">Wontae Choi</author>
<author pid="y/KwangkeunYi">Kwangkeun Yi</author>
<title>Abstract parsing for two-staged languages with concatenation.</title>
<pages>109-116</pages>
<year>2009</year>
<booktitle>GPCE</booktitle>
<ee>https://doi.org/10.1145/1621607.1621625</ee>
<ee>https://doi.org/10.1145/1837852.1621625</ee>
<crossref>conf/gpce/2009</crossref>
<url>db/conf/gpce/gpce2009.html#KongCY09</url>
</inproceedings>
</r>
<r><article key="journals/tce/HaLKCK07" mdate="2020-07-09">
<author pid="66/3263">Jooyoung Ha</author>
<author pid="32/3226">Sungmok Lee</author>
<author pid="119/5356">Taeeung Kim</author>
<author pid="70/7540">Wontae Choi</author>
<author pid="96/5805">Bongsoon Kang</author>
<title>A New Approach to Color Adjustment for Mobile Application Displays with a Skin Protection Algorithm on a CIE1931 Diagram.</title>
<pages>191-196</pages>
<year>2007</year>
<volume>53</volume>
<journal>IEEE Trans. Consumer Electron.</journal>
<number>1</number>
<ee>https://doi.org/10.1109/TCE.2007.339524</ee>
<url>db/journals/tce/tce53.html#HaLKCK07</url>
</article>
</r>
<coauthors n="31" nc="7">
<co c="1"><na f="a/Aktemur:Baris" pid="76/4101">Baris Aktemur</na></co>
<co c="4"><na f="b/Babic:Domagoj" pid="60/3666">Domagoj Babic</na></co>
<co c="2"><na f="c/Chandra_0001:Satish" pid="c/SatishChandra">Satish Chandra 0001</na></co>
<co c="3"><na f="c/Chun:Il_Yong" pid="174/1982">Il Yong Chun</na></co>
<co c="2"><na f="g/Gong:Liang" pid="28/7849">Liang Gong</na></co>
<co c="0"><na f="h/Ha:Jooyoung" pid="66/3263">Jooyoung Ha</na></co>
<co c="0"><na f="h/Han:Hagyong" pid="34/8786">Hagyong Han</na></co>
<co c="0" n="2"><na f="j/Jang:Won=Woo" pid="70/3815">Won-Woo Jang</na><na>Wonwoo Jang</na></co>
<co c="6"><na f="j/Je:Sang=Hyun" pid="324/4899">Sang-Hyun Je</na></co>
<co c="3"><na f="j/Jeon:Byeungwoo" pid="66/6089">Byeungwoo Jeon</na></co>
<co c="0"><na f="k/Kang:Bongsoon" pid="96/5805">Bongsoon Kang</na></co>
<co c="4"><na f="k/Kannan:Jayanthkumar" pid="10/1399">Jayanthkumar Kannan</na></co>
<co c="0"><na f="k/Kim:Taeeung" pid="119/5356">Taeeung Kim</na></co>
<co c="1"><na f="k/Kong:Soonho" pid="43/7541">Soonho Kong</na></co>
<co c="0"><na f="k/Kwon:Homin" pid="38/1412">Homin Kwon</na></co>
<co c="0"><na f="l/Lee:Gidong" pid="62/8785">Gidong Lee</na></co>
<co c="3"><na f="l/Lee:Jaelin" pid="288/4706">Jaelin Lee</na></co>
<co c="0"><na f="l/Lee:Sungmok" pid="32/3226">Sungmok Lee</na></co>
<co c="1"><na f="l/Lee:Wonchan" pid="11/1877">Wonchan Lee</na></co>
<co c="2"><na f="n/Necula:George_C=" pid="n/GeorgeCNecula">George C. Necula</na></co>
<co c="6"><na f="o/Oh:Kwangjin" pid="323/7593">Kwangjin Oh</na></co>
<co c="1"><na f="o/Oliveira:Bruno_C=_d=_S=" pid="20/7796">Bruno C. d. S. Oliveira</na></co>
<co c="1"><na f="s/Schrijvers:Tom" pid="s/TomSchrijvers">Tom Schrijvers</na></co>
<co c="2"><na f="s/Sen:Koushik" pid="04/418">Koushik Sen</na></co>
<co c="5"><na f="s/Sridhar:Meera" pid="74/7731">Meera Sridhar</na></co>
<co c="-1"><na f="s/Suh:Jungwook" pid="45/7084">Jungwook Suh</na></co>
<co c="1"><na f="t/Tatsuta:Makoto" pid="18/5262">Makoto Tatsuta</na></co>
<co c="2"><na f="w/Wang:Wenyu" pid="80/6234">Wenyu Wang</na></co>
<co c="1"><na f="y/Yi:Kwangkeun" pid="y/KwangkeunYi">Kwangkeun Yi</na></co>
<co c="5"><na f="y/Yilmaz:Fadi" pid="26/9596">Fadi Yilmaz</na></co>
<co c="3"><na f="y/Yun:Hyung_Sup" pid="391/4918">Hyung Sup Yun</na></co>
</coauthors>
</dblpperson>

