Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sukyoung Ryu
@article{DBLP:journals/cacm/RuppelLGRSR23,
author = {Emily Ruppel and
Sihang Liu and
Elba Garza and
Sukyoung Ryu and
Alexandra Silva and
Talia Ringer},
title = {Long-Term Mentoring for Computer Science Researchers},
journal = {Commun. {ACM}},
volume = {66},
number = {5},
pages = {33--35},
year = {2023},
url = {https://doi.org/10.1145/3564287},
doi = {10.1145/3564287},
timestamp = {Thu, 18 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/RuppelLGRSR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ParkYLR23,
author = {Jihyeok Park and
Dongjun Youn and
Kanguk Lee and
Sukyoung Ryu},
title = {Feature-Sensitive Coverage for Conformance Testing of Programming
Language Implementations},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {493--515},
year = {2023},
url = {https://doi.org/10.1145/3591240},
doi = {10.1145/3591240},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/ParkYLR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/YounLR23,
author = {Dongjun Youn and
Sungho Lee and
Sukyoung Ryu},
title = {Declarative static analysis for multilingual programs using CodeQL},
journal = {Softw. Pract. Exp.},
volume = {53},
number = {7},
pages = {1472--1495},
year = {2023},
url = {https://doi.org/10.1002/spe.3199},
doi = {10.1002/SPE.3199},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/YounLR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ParkLHR23,
author = {Jihee Park and
Sungho Lee and
Jaemin Hong and
Sukyoung Ryu},
title = {Static Analysis of {JNI} Programs via Binary Decompilation},
journal = {{IEEE} Trans. Software Eng.},
volume = {49},
number = {5},
pages = {3089--3105},
year = {2023},
url = {https://doi.org/10.1109/TSE.2023.3241639},
doi = {10.1109/TSE.2023.3241639},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ParkLHR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HongR23,
author = {Jaemin Hong and
Sukyoung Ryu},
title = {Concrat: An Automatic C-to-Rust Lock {API} Translator for Concurrent
Programs},
booktitle = {45th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2023, Melbourne, Australia, May 14-20, 2023},
pages = {716--728},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSE48619.2023.00069},
doi = {10.1109/ICSE48619.2023.00069},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/HongR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/ParkHR23,
author = {Jihee Park and
Jaemin Hong and
Sukyoung Ryu},
editor = {Edwin C. Brady and
Jens Palsberg},
title = {Semantic Transformation Framework for Rewriting Rules},
booktitle = {Proceedings of the 2023 {ACM} {SIGPLAN} International Workshop on
Partial Evaluation and Program Manipulation, {PEPM} 2023, Boston,
MA, USA, January 16-17, 2023},
pages = {1--13},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3571786.3573016},
doi = {10.1145/3571786.3573016},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/ParkHR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-10943,
author = {Jaemin Hong and
Sukyoung Ryu},
title = {Concrat: An Automatic C-to-Rust Lock {API} Translator for Concurrent
Programs},
journal = {CoRR},
volume = {abs/2301.10943},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.10943},
doi = {10.48550/ARXIV.2301.10943},
eprinttype = {arXiv},
eprint = {2301.10943},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-10943.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-07223,
author = {Joachim Breitner and
Philippa Gardner and
Jaehyun Lee and
Sam Lindley and
Matija Pretnar and
Xiaojia Rao and
Andreas Rossberg and
Sukyoung Ryu and
Wonho Shin and
Conrad Watt and
Dongjun Youn},
title = {Wasm SpecTec: Engineering a Formal Language Standard},
journal = {CoRR},
volume = {abs/2311.07223},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.07223},
doi = {10.48550/ARXIV.2311.07223},
eprinttype = {arXiv},
eprint = {2311.07223},
timestamp = {Wed, 15 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-07223.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/ParkLR22,
author = {Jihyeok Park and
Hongki Lee and
Sukyoung Ryu},
title = {A Survey of Parametric Static Analysis},
journal = {{ACM} Comput. Surv.},
volume = {54},
number = {7},
pages = {149:1--149:37},
year = {2022},
url = {https://doi.org/10.1145/3464457},
doi = {10.1145/3464457},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csur/ParkLR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ParkAR22,
author = {Jihyeok Park and
Seungmin An and
Sukyoung Ryu},
editor = {Abhik Roychoudhury and
Cristian Cadar and
Miryung Kim},
title = {Automatically deriving JavaScript static analyzers from specifications
using Meta-level static analysis},
booktitle = {Proceedings of the 30th {ACM} Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/FSE} 2022, Singapore, Singapore, November 14-18, 2022},
pages = {1022--1034},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3540250.3549097},
doi = {10.1145/3540250.3549097},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/ParkAR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2022,
editor = {Sukyoung Ryu and
Yannis Smaragdakis},
title = {{ISSTA} '22: 31st {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3533767},
doi = {10.1145/3533767},
isbn = {978-1-4503-9379-9},
timestamp = {Tue, 26 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-04738,
author = {Emily Ruppel and
Sihang Liu and
Elba Garza and
Sukyoung Ryu and
Alexandra Silva and
Talia Ringer},
title = {Long-Term Mentoring for Computer Science Researchers},
journal = {CoRR},
volume = {abs/2208.04738},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.04738},
doi = {10.48550/ARXIV.2208.04738},
eprinttype = {arXiv},
eprint = {2208.04738},
timestamp = {Fri, 19 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-04738.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ParkAYKR21,
author = {Jihyeok Park and
Seungmin An and
Dongjun Youn and
Gyeongwon Kim and
Sukyoung Ryu},
title = {{JEST:} {N+1} -version Differential Testing of Both JavaScript Engines
and Specification},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2021, Madrid, Spain, 22-30 May 2021},
pages = {13--24},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE43902.2021.00015},
doi = {10.1109/ICSE43902.2021.00015},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ParkAYKR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ParkAYKR21a,
author = {Jihyeok Park and
Seungmin An and
Dongjun Youn and
Gyeongwon Kim and
Sukyoung Ryu},
title = {{JEST:} N+1-Version Differential Testing of Both JavaScript Engines
and Specification},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering:
Companion Proceedings, {ICSE} Companion 2021, Madrid, Spain, May 25-28,
2021},
pages = {156--157},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE-Companion52605.2021.00065},
doi = {10.1109/ICSE-COMPANION52605.2021.00065},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ParkAYKR21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HwangLKR21a,
author = {Sungjae Hwang and
Sungho Lee and
Jihoon Kim and
Sukyoung Ryu},
title = {JUSTGen: Effective Test Generation for Unspecified {JNI} Behaviors
on JVMs},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering:
Companion Proceedings, {ICSE} Companion 2021, Madrid, Spain, May 25-28,
2021},
pages = {171--172},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE-Companion52605.2021.00073},
doi = {10.1109/ICSE-COMPANION52605.2021.00073},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/HwangLKR21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HwangLKR21,
author = {Sungjae Hwang and
Sungho Lee and
Jihoon Kim and
Sukyoung Ryu},
title = {JUSTGen: Effective Test Generation for Unspecified {JNI} Behaviors
on JVMs},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2021, Madrid, Spain, 22-30 May 2021},
pages = {1708--1718},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE43902.2021.00151},
doi = {10.1109/ICSE43902.2021.00151},
timestamp = {Mon, 07 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/HwangLKR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ParkASSR21,
author = {Jihyeok Park and
Seungmin An and
Wonho Shin and
Yusung Sim and
Sukyoung Ryu},
title = {{JSTAR:} JavaScript Specification Type Analyzer using Refinement},
booktitle = {36th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2021, Melbourne, Australia, November 15-19, 2021},
pages = {606--616},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ASE51524.2021.9678781},
doi = {10.1109/ASE51524.2021.9678781},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/ParkASSR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ParkPYR21,
author = {Joonyoung Park and
Jihyeok Park and
Dongjun Youn and
Sukyoung Ryu},
editor = {Diomidis Spinellis and
Georgios Gousios and
Marsha Chechik and
Massimiliano Di Penta},
title = {Accelerating JavaScript static analysis via dynamic shortcuts},
booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Athens,
Greece, August 23-28, 2021},
pages = {1129--1140},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3468264.3468556},
doi = {10.1145/3468264.3468556},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ParkPYR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-07498,
author = {Jihyeok Park and
Seungmin An and
Dongjun Youn and
Gyeongwon Kim and
Sukyoung Ryu},
title = {{JEST:} N+1-version Differential Testing of Both JavaScript Engines
and Specification},
journal = {CoRR},
volume = {abs/2102.07498},
year = {2021},
url = {https://arxiv.org/abs/2102.07498},
eprinttype = {arXiv},
eprint = {2102.07498},
timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-07498.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-13699,
author = {Joonyoung Park and
Jihyeok Park and
Dongjun Youn and
Sukyoung Ryu},
title = {Accelerating JavaScript Static Analysis via Dynamic Shortcuts (Extended
Version)},
journal = {CoRR},
volume = {abs/2105.13699},
year = {2021},
url = {https://arxiv.org/abs/2105.13699},
eprinttype = {arXiv},
eprint = {2105.13699},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-13699.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/LeePR20,
author = {Hongki Lee and
Changhee Park and
Sukyoung Ryu},
title = {Automatically Tracing Imprecision Causes in JavaScript Static Analysis},
journal = {Art Sci. Eng. Program.},
volume = {4},
number = {2},
pages = {2},
year = {2020},
url = {https://doi.org/10.22152/programming-journal.org/2020/4/2},
doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2020/4/2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/programming/LeePR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/HwangLR20,
author = {Sungjae Hwang and
Sungho Lee and
Sukyoung Ryu},
title = {All about activity injection: Threats, semantics, detection, and defense},
journal = {Softw. Pract. Exp.},
volume = {50},
number = {7},
pages = {1061--1086},
year = {2020},
url = {https://doi.org/10.1002/spe.2792},
doi = {10.1002/SPE.2792},
timestamp = {Wed, 15 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/HwangLR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HwangR20,
author = {Sungjae Hwang and
Sukyoung Ryu},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {Gap between theory and practice: an empirical study of security patches
in solidity},
booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
Seoul, South Korea, 27 June - 19 July, 2020},
pages = {542--553},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377811.3380424},
doi = {10.1145/3377811.3380424},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/HwangR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LeeLR20,
author = {Sungho Lee and
Hyogun Lee and
Sukyoung Ryu},
title = {Broadening Horizons of Multilingual Static Analysis: Semantic Summary
Extraction from {C} Code for {JNI} Program Analysis},
booktitle = {35th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2020, Melbourne, Australia, September 21-25, 2020},
pages = {127--137},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1145/3324884.3416558},
doi = {10.1145/3324884.3416558},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/LeeLR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ParkPAR20,
author = {Jihyeok Park and
Jihee Park and
Seungmin An and
Sukyoung Ryu},
title = {{JISET:} JavaScript IR-based Semantics Extraction Toolchain},
booktitle = {35th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2020, Melbourne, Australia, September 21-25, 2020},
pages = {647--658},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1145/3324884.3416632},
doi = {10.1145/3324884.3416632},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/ParkPAR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secdev/KimR20,
author = {Shinhae Kim and
Sukyoung Ryu},
title = {Analysis of Blockchain Smart Contracts: Techniques and Insights},
booktitle = {{IEEE} Secure Development, SecDev 2020, Atlanta, GA, USA, September
28-30, 2020},
pages = {65--73},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SecDev45635.2020.00026},
doi = {10.1109/SECDEV45635.2020.00026},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/secdev/KimR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijig/HanKPVOR19,
author = {Myounghee Han and
Yongjoo Kim and
Jang Ryul Park and
Benjamin J. Vakoc and
Wang{-}Yuhl Oh and
Sukyoung Ryu},
title = {Retinal Blood Vessel Caliber Estimation for Optical Coherence Tomography
Angiography Images Based on 3D Superellipsoid Modeling},
journal = {Int. J. Image Graph.},
volume = {19},
number = {2},
pages = {1950011:1--1950011:14},
year = {2019},
url = {https://doi.org/10.1142/S0219467819500116},
doi = {10.1142/S0219467819500116},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijig/HanKPVOR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ParkHSR19,
author = {Gyunghee Park and
Jaemin Hong and
Guy L. Steele Jr. and
Sukyoung Ryu},
title = {Polymorphic symmetric multiple dispatch with variance},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {11:1--11:28},
year = {2019},
url = {https://doi.org/10.1145/3290324},
doi = {10.1145/3290324},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/ParkHSR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/RyuPP19,
author = {Sukyoung Ryu and
Jihyeok Park and
Joonyoung Park},
title = {Toward Analysis and Bug Finding in JavaScript Web Applications in
the Wild},
journal = {{IEEE} Softw.},
volume = {36},
number = {3},
pages = {74--82},
year = {2019},
url = {https://doi.org/10.1109/MS.2018.110113408},
doi = {10.1109/MS.2018.110113408},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/RyuPP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/KoRR19,
author = {Yoonseok Ko and
Xavier Rival and
Sukyoung Ryu},
title = {Weakly sensitive analysis for JavaScript object-manipulating programs},
journal = {Softw. Pract. Exp.},
volume = {49},
number = {5},
pages = {840--884},
year = {2019},
url = {https://doi.org/10.1002/spe.2676},
doi = {10.1002/SPE.2676},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/KoRR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ParkJR19,
author = {Joonyoung Park and
Alexander Jordan and
Sukyoung Ryu},
editor = {Reiner H{\"{a}}hnle and
Wil M. P. van der Aalst},
title = {Automatic Modeling of Opaque Code for JavaScript Static Analysis},
booktitle = {Fundamental Approaches to Software Engineering - 22nd International
Conference, {FASE} 2019, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic,
April 6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11424},
pages = {43--60},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-16722-6\_3},
doi = {10.1007/978-3-030-16722-6\_3},
timestamp = {Tue, 29 Dec 2020 18:33:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/ParkJR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BaeLR19,
author = {Sora Bae and
Sungho Lee and
Sukyoung Ryu},
editor = {Joanne M. Atlee and
Tevfik Bultan and
Jon Whittle},
title = {Towards understanding and reasoning about Android interoperations},
booktitle = {Proceedings of the 41st International Conference on Software Engineering,
{ICSE} 2019, Montreal, QC, Canada, May 25-31, 2019},
pages = {223--233},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/ICSE.2019.00038},
doi = {10.1109/ICSE.2019.00038},
timestamp = {Tue, 24 May 2022 15:28:49 +0200},
biburl = {https://dblp.org/rec/conf/icse/BaeLR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LeeR19,
author = {Sungho Lee and
Sukyoung Ryu},
editor = {Dongmei Zhang and
Anders M{\o}ller},
title = {Adlib: analyzer for mobile ad platform libraries},
booktitle = {Proceedings of the 28th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2019, Beijing, China, July
15-19, 2019},
pages = {262--272},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293882.3330562},
doi = {10.1145/3293882.3330562},
timestamp = {Thu, 23 Jun 2022 07:46:09 +0200},
biburl = {https://dblp.org/rec/conf/issta/LeeR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/scala/2019,
editor = {Jonathan Immanuel Brachth{\"{a}}user and
Sukyoung Ryu and
Nathaniel Nystrom},
title = {Proceedings of the Tenth {ACM} {SIGPLAN} Symposium on Scala, Scala@ECOOP
2019, London, UK, July 17, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3337932},
doi = {10.1145/3337932},
isbn = {978-1-4503-6824-7},
timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scala/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-12795,
author = {Hongki Lee and
Changhee Park and
Sukyoung Ryu},
title = {Automatically Tracing Imprecision Causes in JavaScript Static Analysis},
journal = {CoRR},
volume = {abs/1909.12795},
year = {2019},
url = {http://arxiv.org/abs/1909.12795},
eprinttype = {arXiv},
eprint = {1909.12795},
timestamp = {Wed, 02 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-12795.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/ParkLR18,
author = {Changhee Park and
Hongki Lee and
Sukyoung Ryu},
title = {Static analysis of JavaScript libraries in a scalable and precise
way using loop sensitivity},
journal = {Softw. Pract. Exp.},
volume = {48},
number = {4},
pages = {911--944},
year = {2018},
url = {https://doi.org/10.1002/spe.2552},
doi = {10.1002/SPE.2552},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/ParkLR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/KimRR18,
author = {Se{-}Won Kim and
Xavier Rival and
Sukyoung Ryu},
title = {A Theoretical Foundation of Sensitivity in an Abstract Interpretation
Framework},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {40},
number = {3},
pages = {13:1--13:44},
year = {2018},
url = {https://doi.org/10.1145/3230624},
doi = {10.1145/3230624},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/KimRR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ParkSR18,
author = {Joonyoung Park and
Kwangwon Sun and
Sukyoung Ryu},
editor = {Alessandra Russo and
Andy Sch{\"{u}}rr},
title = {\emph{EventHandler}-Based Analysis Framework for Web Apps Using Dynamically
Collected States},
booktitle = {Fundamental Approaches to Software Engineering, 21st International
Conference, {FASE} 2018, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece,
April 14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10802},
pages = {129--145},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89363-1\_8},
doi = {10.1007/978-3-319-89363-1\_8},
timestamp = {Fri, 31 Jan 2020 21:32:22 +0100},
biburl = {https://dblp.org/rec/conf/fase/ParkSR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/RyouR18,
author = {Yeonhee Ryou and
Sukyoung Ryu},
title = {Automatic Detection of Visibility Faults by Layout Changes in {HTML5}
Web Pages},
booktitle = {11th {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2018, V{\"{a}}ster{\aa}s, Sweden, April
9-13, 2018},
pages = {182--192},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.ieeecomputersociety.org/10.1109/ICST.2018.00027},
doi = {10.1109/ICST.2018.00027},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/RyouR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programming/ParkPLKKR18,
author = {Jihyeok Park and
Joonyoung Park and
Yoonkyong Lee and
Chul{-}Joo Kim and
Byoungoh Kim and
Sukyoung Ryu},
editor = {Stefan Marr and
Jennifer B. Sartor},
title = {A framework for dynamic inter-device task dispatch with eventual consistency},
booktitle = {Conference Companion of the 2nd International Conference on Art, Science,
and Engineering of Programming, Nice, France, April 09-12, 2018},
pages = {63--68},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3191697.3191732},
doi = {10.1145/3191697.3191732},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programming/ParkPLKKR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/HongPR18,
author = {Jaemin Hong and
Jihyeok Park and
Sukyoung Ryu},
editor = {Sebastian Erdweg and
Bruno C. d. S. Oliveira},
title = {Path dependent types with path-equality},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Symposium on
Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018},
pages = {35--39},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3241653.3241657},
doi = {10.1145/3241653.3241657},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scala/HongPR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/SerranoR18,
author = {Manuel Serrano and
Sukyoung Ryu},
editor = {Pierre{-}Antoine Champin and
Fabien Gandon and
Mounia Lalmas and
Panagiotis G. Ipeirotis},
title = {Web Programming Chairs' Welcome {\&} Organization},
booktitle = {Companion of the The Web Conference 2018 on The Web Conference 2018,
{WWW} 2018, Lyon , France, April 23-27, 2018},
pages = {679--680},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3184558.3192325},
doi = {10.1145/3184558.3192325},
timestamp = {Fri, 16 Apr 2021 10:04:12 +0200},
biburl = {https://dblp.org/rec/conf/www/SerranoR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2018,
editor = {Sukyoung Ryu},
title = {Programming Languages and Systems - 16th Asian Symposium, {APLAS}
2018, Wellington, New Zealand, December 2-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11275},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02768-1},
doi = {10.1007/978-3-030-02768-1},
isbn = {978-3-030-02767-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/SunR17,
author = {Kwangwon Sun and
Sukyoung Ryu},
title = {Analysis of JavaScript Programs: Challenges and Research Trends},
journal = {{ACM} Comput. Surv.},
volume = {50},
number = {4},
pages = {59:1--59:34},
year = {2017},
url = {https://doi.org/10.1145/3106741},
doi = {10.1145/3106741},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/SunR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/KoRR17,
author = {Yoonseok Ko and
Xavier Rival and
Sukyoung Ryu},
editor = {Bor{-}Yuh Evan Chang},
title = {Weakly Sensitive Analysis for Unbounded Iteration over JavaScript
Objects},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {148--168},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_8},
doi = {10.1007/978-3-319-71237-6\_8},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/KoRR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ParkRPR17,
author = {Jihyeok Park and
Yeonhee Ryou and
Joonyoung Park and
Sukyoung Ryu},
editor = {Sebasti{\'{a}}n Uchitel and
Alessandro Orso and
Martin P. Robillard},
title = {Analysis of JavaScript web applications using {SAFE} 2.0},
booktitle = {Proceedings of the 39th International Conference on Software Engineering,
{ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion
Volume},
pages = {59--62},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSE-C.2017.4},
doi = {10.1109/ICSE-C.2017.4},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ParkRPR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BaePR17,
author = {Sora Bae and
Joonyoung Park and
Sukyoung Ryu},
title = {Partition-Based Coverage Metrics and Type-Guided Search in Concolic
Testing for JavaScript Applications},
booktitle = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software
Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27,
2017},
pages = {72--78},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/FormaliSE.2017.10},
doi = {10.1109/FORMALISE.2017.10},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BaePR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LeeHR17,
author = {Sungho Lee and
Sungjae Hwang and
Sukyoung Ryu},
editor = {Grigore Rosu and
Massimiliano Di Penta and
Tien N. Nguyen},
title = {All about activity injection: threats, semantics, and detection},
booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
03, 2017},
pages = {252--262},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ASE.2017.8115638},
doi = {10.1109/ASE.2017.8115638},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LeeHR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ParkRR17,
author = {Jihyeok Park and
Xavier Rival and
Sukyoung Ryu},
editor = {Karim Ali and
Cristina Cifuentes},
title = {Revisiting recency abstraction for JavaScript: towards an intuitive,
compositional, and efficient heap abstraction},
booktitle = {Proceedings of the 6th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2017, Barcelona, Spain,
June 18, 2017},
pages = {1--6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3088515.3088516},
doi = {10.1145/3088515.3088516},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ParkRR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/ChangRR17,
author = {Bor{-}Yuh Evan Chang and
Xavier Rival and
Sukyoung Ryu},
title = {Memory Abstraction, Emerging Techniques and Applications {(NII} Shonan
Meeting 2017-12)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2017},
year = {2017},
url = {https://shonan.nii.ac.jp/seminars/108/},
timestamp = {Tue, 23 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/ChangRR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/CheungRK16,
author = {Wai Ting Cheung and
Sukyoung Ryu and
Sunghun Kim},
title = {Development nature matters: An empirical study of code clones in JavaScript
applications},
journal = {Empir. Softw. Eng.},
volume = {21},
number = {2},
pages = {517--564},
year = {2016},
url = {https://doi.org/10.1007/s10664-015-9368-6},
doi = {10.1007/S10664-015-9368-6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/CheungRK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/Ryu16,
author = {Sukyoung Ryu},
title = {Scalable framework for parsing: from Fortress to JavaScript},
journal = {Softw. Pract. Exp.},
volume = {46},
number = {9},
pages = {1219--1238},
year = {2016},
url = {https://doi.org/10.1002/spe.2380},
doi = {10.1002/SPE.2380},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/Ryu16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Ryu16,
author = {Sukyoung Ryu},
title = {ThisType for Object-Oriented Languages: From Theory to Practice},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {38},
number = {3},
pages = {8:1--8:66},
year = {2016},
url = {https://doi.org/10.1145/2888392},
doi = {10.1145/2888392},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/Ryu16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dls/ParkIR16,
author = {Changhee Park and
Hyeonseung Im and
Sukyoung Ryu},
editor = {Roberto Ierusalimschy},
title = {Precise and scalable static analysis of jQuery using a regular expression
domain},
booktitle = {Proceedings of the 12th Symposium on Dynamic Languages, {DLS} 2016,
Amsterdam, The Netherlands, November 1, 2016},
pages = {25--36},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2989225.2989228},
doi = {10.1145/2989225.2989228},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dls/ParkIR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Ryu16,
author = {Sukyoung Ryu},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Journey to find bugs in JavaScript web applications in the wild},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {2},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2976747},
doi = {10.1145/2951913.2976747},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Ryu16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ParkLR16,
author = {Joonyoung Park and
Inho Lim and
Sukyoung Ryu},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Battles with false positives in static analysis of JavaScript web
applications in the wild},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume},
pages = {61--70},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2889160.2889227},
doi = {10.1145/2889160.2889227},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ParkLR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LeeDR16,
author = {Sungho Lee and
Julian Dolby and
Sukyoung Ryu},
editor = {David Lo and
Sven Apel and
Sarfraz Khurshid},
title = {HybriDroid: static analysis framework for Android hybrid applications},
booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
pages = {250--261},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2970276.2970368},
doi = {10.1145/2970276.2970368},
timestamp = {Sat, 30 Sep 2023 09:51:40 +0200},
biburl = {https://dblp.org/rec/conf/kbse/LeeDR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ParkR15,
author = {Changhee Park and
Sukyoung Ryu},
title = {Scalable and Precise Static Analysis of JavaScript Applications via
Loop-Sensitivity (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {1},
number = {1},
pages = {12:1--12:2},
year = {2015},
url = {https://doi.org/10.4230/DARTS.1.1.12},
doi = {10.4230/DARTS.1.1.12},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/ParkR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/HwangLKR15,
author = {Sungjae Hwang and
Sungho Lee and
Yongdae Kim and
Sukyoung Ryu},
editor = {Feng Bao and
Steven Miller and
Jianying Zhou and
Gail{-}Joon Ahn},
title = {Bittersweet {ADB:} Attacks and Defenses},
booktitle = {Proceedings of the 10th {ACM} Symposium on Information, Computer and
Communications Security, {ASIA} {CCS} '15, Singapore, April 14-17,
2015},
pages = {579--584},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2714576.2714638},
doi = {10.1145/2714576.2714638},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/HwangLKR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ParkR15,
author = {Changhee Park and
Sukyoung Ryu},
editor = {John Tang Boyland},
title = {Scalable and Precise Static Analysis of JavaScript Applications via
Loop-Sensitivity},
booktitle = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
July 5-10, 2015, Prague, Czech Republic},
series = {LIPIcs},
volume = {37},
pages = {735--756},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.735},
doi = {10.4230/LIPICS.ECOOP.2015.735},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/ParkR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KoLDR15,
author = {Yoonseok Ko and
Hongki Lee and
Julian Dolby and
Sukyoung Ryu},
editor = {Myra B. Cohen and
Lars Grunske and
Michael Whalen},
title = {Practically Tunable Static Analysis Framework for Large-Scale JavaScript
Applications {(T)}},
booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
pages = {541--551},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ASE.2015.28},
doi = {10.1109/ASE.2015.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/KoLDR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ParkWJR15,
author = {Changhee Park and
Sooncheol Won and
Joonho Jin and
Sukyoung Ryu},
editor = {Myra B. Cohen and
Lars Grunske and
Michael Whalen},
title = {Static Analysis of JavaScript Web Applications in the Wild via Practical
{DOM} Modeling {(T)}},
booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
pages = {552--562},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ASE.2015.27},
doi = {10.1109/ASE.2015.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ParkWJR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/ChoR14,
author = {Junhee Cho and
Sukyoung Ryu},
editor = {Walter Binder and
Erik Ernst and
Achille Peternier and
Robert Hirschfeld},
title = {JavaScript module system: exploring the design space},
booktitle = {13th International Conference on Modularity, {MODULARITY} '14, Lugano,
Switzerland, April 22-26, 2014},
pages = {229--240},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2577080.2577088},
doi = {10.1145/2577080.2577088},
timestamp = {Tue, 21 Mar 2023 21:01:43 +0100},
biburl = {https://dblp.org/rec/conf/aosd/ChoR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/KimCPKR14,
author = {Se{-}Won Kim and
Wooyoung Chin and
Jimin Park and
Jeongmin Kim and
Sukyoung Ryu},
editor = {Jacques Garrigue},
title = {Inferring Grammatical Summaries of String Values},
booktitle = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
2014, Singapore, November 17-19, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8858},
pages = {372--391},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12736-1\_20},
doi = {10.1007/978-3-319-12736-1\_20},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/KimCPKR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/NaR14,
author = {Hyunik Na and
Sukyoung Ryu},
editor = {Michael Codish and
Eijiro Sumii},
title = {A New Formalization of Subtyping to Match Subclasses to Subtypes},
booktitle = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
pages = {238--252},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_15},
doi = {10.1007/978-3-319-07151-0\_15},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/NaR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BaeCLR14,
author = {SungGyeong Bae and
Hyunghun Cho and
Inho Lim and
Sukyoung Ryu},
editor = {Shing{-}Chi Cheung and
Alessandro Orso and
Margaret{-}Anne D. Storey},
title = {{SAFEWAPI:} web {API} misuse detector for web applications},
booktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, (FSE-22), Hong Kong, China, November
16 - 22, 2014},
pages = {507--517},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2635868.2635916},
doi = {10.1145/2635868.2635916},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/BaeCLR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/ChoR14,
author = {Hyunghun Cho and
Sukyoung Ryu},
editor = {Chin{-}Wan Chung and
Andrei Z. Broder and
Kyuseok Shim and
Torsten Suel},
title = {{REST} to JavaScript for better client-side development},
booktitle = {23rd International World Wide Web Conference, {WWW} '14, Seoul, Republic
of Korea, April 7-11, 2014, Companion Volume},
pages = {937--942},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2567948.2579219},
doi = {10.1145/2567948.2579219},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/www/ChoR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/KimRLS13,
author = {Jieung Kim and
Sukyoung Ryu and
Victor Luchangco and
Guy L. Steele Jr.},
editor = {Chung{-}chieh Shan},
title = {Fine-Grained Function Visibility for Multiple Dispatch with Multiple
Inheritance},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {156--171},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_11},
doi = {10.1007/978-3-319-03542-0\_11},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/KimRLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/NaR13,
author = {Hyunik Na and
Sukyoung Ryu},
editor = {Chung{-}chieh Shan},
title = {ThisJava: An Extension of Java with Exact Types},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {233--240},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_17},
doi = {10.1007/978-3-319-03542-0\_17},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/NaR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dls/ParkLR13,
author = {Changhee Park and
Hongki Lee and
Sukyoung Ryu},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Carl Friedrich Bolz},
title = {All about the with statement in JavaScript: removing with statements
in JavaScript applications},
booktitle = {DLS'13, Proceedings of the 9th Symposium on Dynamic Languages, part
of {SPLASH} 2013, Indianapolis, IN, USA, October 26-31, 2013},
pages = {73--84},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2508168.2508173},
doi = {10.1145/2508168.2508173},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dls/ParkLR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KangR12,
author = {Seonghoon Kang and
Sukyoung Ryu},
editor = {Gary T. Leavens and
Matthew B. Dwyer},
title = {Formal specification of a JavaScript module system},
booktitle = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
pages = {621--638},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2384616.2384661},
doi = {10.1145/2384616.2384661},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KangR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tldi/NaRC12,
author = {Hyunik Na and
Sukyoung Ryu and
Kwangmoo Choe},
editor = {Benjamin C. Pierce},
title = {Exact type parameterization and ThisType support},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Types in Languages
Design and Implementation, {TLDI} 2012, Philadelphia, PA, USA, Saturday,
January 28, 2012},
pages = {13--24},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103786.2103790},
doi = {10.1145/2103786.2103790},
timestamp = {Thu, 11 May 2023 14:56:29 +0200},
biburl = {https://dblp.org/rec/conf/tldi/NaRC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/KimR11,
author = {Jieung Kim and
Sukyoung Ryu},
editor = {Jean{-}Pierre Jouannaud and
Zhong Shao},
title = {Coq Mechanization of Featherweight Fortress with Multiple Dispatch
and Multiple Inheritance},
booktitle = {Certified Programs and Proofs - First International Conference, {CPP}
2011, Kenting, Taiwan, December 7-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7086},
pages = {264--279},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25379-9\_20},
doi = {10.1007/978-3-642-25379-9\_20},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/KimR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AllenHKLRCS11,
author = {Eric E. Allen and
Justin Hilburn and
Scott Kilpatrick and
Victor Luchangco and
Sukyoung Ryu and
David Chase and
Guy L. Steele Jr.},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Type checking modular multiple dispatch with parametric polymorphism
and multiple inheritance},
booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {973--992},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048140},
doi = {10.1145/2048066.2048140},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AllenHKLRCS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/KangR11,
author = {Seonghoon Kang and
Sukyoung Ryu},
editor = {William C. Chu and
W. Eric Wong and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {FortressCheck: automatic testing for generic properties},
booktitle = {Proceedings of the 2011 {ACM} Symposium on Applied Computing (SAC),
TaiChung, Taiwan, March 21 - 24, 2011},
pages = {1290--1296},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1982185.1982465},
doi = {10.1145/1982185.1982465},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/KangR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/parallel/SteeleACFLMR11,
author = {Guy L. Steele Jr. and
Eric E. Allen and
David Chase and
Christine H. Flood and
Victor Luchangco and
Jan{-}Willem Maessen and
Sukyoung Ryu},
editor = {David A. Padua},
title = {Fortress (Sun {HPCS} Language)},
booktitle = {Encyclopedia of Parallel Computing},
pages = {718--735},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-0-387-09766-4\_190},
doi = {10.1007/978-0-387-09766-4\_190},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/parallel/SteeleACFLMR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HallettLRS10,
author = {J. J. Hallett and
Victor Luchangco and
Sukyoung Ryu and
Guy L. Steele Jr.},
title = {Integrating coercion with subtyping and multiple dispatch},
journal = {Sci. Comput. Program.},
volume = {75},
number = {9},
pages = {787--795},
year = {2010},
url = {https://doi.org/10.1016/j.scico.2009.04.005},
doi = {10.1016/J.SCICO.2009.04.005},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/HallettLRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/Ryu09,
author = {Sukyoung Ryu},
editor = {Ben Stephenson and
Christian W. Probst},
title = {Parsing Fortress syntax},
booktitle = {Proceedings of the 7th International Conference on Principles and
Practice of Programming in Java, {PPPJ} 2009, Calgary, Alberta, Canada,
August 27-28, 2009},
pages = {76--84},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596655.1596667},
doi = {10.1145/1596655.1596667},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pppj/Ryu09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/HallettLRS08,
author = {J. J. Hallett and
Victor Luchangco and
Sukyoung Ryu and
Guy L. Steele Jr.},
editor = {Roger L. Wainwright and
Hisham Haddad},
title = {Integrating coercion with subtyping and multiple dispatch},
booktitle = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC),
Fortaleza, Ceara, Brazil, March 16-20, 2008},
pages = {166--170},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1363686.1363733},
doi = {10.1145/1363686.1363733},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/HallettLRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AllenHLRS07,
author = {Eric E. Allen and
J. J. Hallett and
Victor Luchangco and
Sukyoung Ryu and
Guy L. Steele Jr.},
editor = {Yookun Cho and
Roger L. Wainwright and
Hisham Haddad and
Sung Y. Shin and
Yong Wan Koo},
title = {Modular multiple dispatch with multiple inheritance},
booktitle = {Proceedings of the 2007 {ACM} Symposium on Applied Computing (SAC),
Seoul, Korea, March 11-15, 2007},
pages = {1117--1121},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244002.1244245},
doi = {10.1145/1244002.1244245},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/AllenHLRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/RyuR05,
author = {Sukyoung Ryu and
Norman Ramsey},
editor = {Rastislav Bod{\'{\i}}k},
title = {Source-Level Debugging for Multiple Languages with Modest Programming
Effort},
booktitle = {Compiler Construction, 14th International Conference, {CC} 2005, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3443},
pages = {10--26},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31985-6\_2},
doi = {10.1007/978-3-540-31985-6\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cc/RyuR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/YiR02,
author = {Kwangkeun Yi and
Sukyoung Ryu},
title = {A cost-effective estimation of uncaught exceptions in Standard {ML}
programs},
journal = {Theor. Comput. Sci.},
volume = {277},
number = {1-2},
pages = {185--217},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(00)00317-0},
doi = {10.1016/S0304-3975(00)00317-0},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/YiR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apaqs/RyuY01,
author = {Sukyoung Ryu and
Kwangkeun Yi},
title = {Exception Analysis for Multithreaded Java Programs},
booktitle = {2nd Asia-Pacific Conference on Quality Software {(APAQS} 2001), 10-11
December 2001, Hong Kong, China, Proceedings},
pages = {23--32},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/APAQS.2001.989998},
doi = {10.1109/APAQS.2001.989998},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apaqs/RyuY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/YiR97,
author = {Kwangkeun Yi and
Sukyoung Ryu},
editor = {Pascal Van Hentenryck},
title = {Towards a Cost-Effective Estimation of Uncaught Exceptions in {SML}
Programs},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {98--113},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032736},
doi = {10.1007/BFB0032736},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/YiR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/YiRP96,
author = {Kwangkeun Yi and
Sukyoung Ryu and
Kihyun Pyun},
title = {Estimating Uncaught Exceptions in Standard {ML} Programs from Type-Based
Equations},
booktitle = {{COMPSAC} '96 - 20th Computer Software and Applications Conference,
August 19-23, 1996, Seoul, Korea},
pages = {455--460},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/CMPSAC.1996.544613},
doi = {10.1109/CMPSAC.1996.544613},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/YiRP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 18:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
