BibTeX records: Sukyoung Ryu

download as .bib file

@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 Graphics},
  volume    = {19},
  number    = {2},
  pages     = {1950011},
  year      = {2019},
  url       = {https://doi.org/10.1142/S0219467819500116},
  doi       = {10.1142/S0219467819500116},
  timestamp = {Thu, 06 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijig/HanKPVOR19},
  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   = {{PACMPL}},
  volume    = {3},
  number    = {{POPL}},
  pages     = {11:1--11:28},
  year      = {2019},
  url       = {https://doi.org/10.1145/3290324},
  doi       = {10.1145/3290324},
  timestamp = {Fri, 10 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/pacmpl/ParkHSR19},
  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} Software},
  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 = {Fri, 31 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/software/RyuPP19},
  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. Exper.},
  volume    = {49},
  number    = {5},
  pages     = {840--884},
  year      = {2019},
  url       = {https://doi.org/10.1002/spe.2676},
  doi       = {10.1002/spe.2676},
  timestamp = {Sat, 01 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/spe/KoRR19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ParkJR19,
  author    = {Joonyoung Park and
               Alexander Jordan and
               Sukyoung Ryu},
  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},
  pages     = {43--60},
  year      = {2019},
  crossref  = {DBLP:conf/fase/2019},
  url       = {https://doi.org/10.1007/978-3-030-16722-6\_3},
  doi       = {10.1007/978-3-030-16722-6\_3},
  timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/ParkJR19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BaeLR19,
  author    = {Sora Bae and
               Sungho Lee and
               Sukyoung Ryu},
  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},
  year      = {2019},
  crossref  = {DBLP:conf/icse/2019},
  url       = {https://doi.org/10.1109/ICSE.2019.00038},
  doi       = {10.1109/ICSE.2019.00038},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/BaeLR19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LeeR19,
  author    = {Sungho Lee and
               Sukyoung Ryu},
  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},
  year      = {2019},
  crossref  = {DBLP:conf/issta/2019},
  url       = {https://doi.org/10.1145/3293882.3330562},
  doi       = {10.1145/3293882.3330562},
  timestamp = {Fri, 12 Jul 2019 09:54:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issta/LeeR19},
  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/bib/conf/scala/2019},
  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},
  archivePrefix = {arXiv},
  eprint    = {1909.12795},
  timestamp = {Wed, 02 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1909-12795},
  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. Exper.},
  volume    = {48},
  number    = {4},
  pages     = {911--944},
  year      = {2018},
  url       = {https://doi.org/10.1002/spe.2552},
  doi       = {10.1002/spe.2552},
  timestamp = {Mon, 12 Mar 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/spe/ParkLR18},
  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 = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/toplas/KimRR18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ParkSR18,
  author    = {Joonyoung Park and
               Kwangwon Sun and
               Sukyoung Ryu},
  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.},
  pages     = {129--145},
  year      = {2018},
  crossref  = {DBLP:conf/fase/2018},
  url       = {https://doi.org/10.1007/978-3-319-89363-1\_8},
  doi       = {10.1007/978-3-319-89363-1\_8},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/ParkSR18},
  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},
  year      = {2018},
  crossref  = {DBLP:conf/icst/2018},
  url       = {http://doi.ieeecomputersociety.org/10.1109/ICST.2018.00027},
  doi       = {10.1109/ICST.2018.00027},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/RyouR18},
  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},
  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},
  year      = {2018},
  crossref  = {DBLP:conf/programming/2018},
  url       = {https://doi.org/10.1145/3191697.3191732},
  doi       = {10.1145/3191697.3191732},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/programming/ParkPLKKR18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/HongPR18,
  author    = {Jaemin Hong and
               Jihyeok Park and
               Sukyoung Ryu},
  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},
  year      = {2018},
  crossref  = {DBLP:conf/scala/2018},
  url       = {https://doi.org/10.1145/3241653.3241657},
  doi       = {10.1145/3241653.3241657},
  timestamp = {Tue, 11 Dec 2018 19:20:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/scala/HongPR18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/SerranoR18,
  author    = {Manuel Serrano and
               Sukyoung Ryu},
  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},
  year      = {2018},
  crossref  = {DBLP:conf/www/2018c},
  url       = {https://doi.org/10.1145/3184558.3192325},
  doi       = {10.1145/3184558.3192325},
  timestamp = {Wed, 21 Nov 2018 12:44:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/www/SerranoR18},
  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/bib/conf/aplas/2018},
  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 = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/csur/SunR17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/KoRR17,
  author    = {Yoonseok Ko and
               Xavier Rival and
               Sukyoung Ryu},
  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},
  pages     = {148--168},
  year      = {2017},
  crossref  = {DBLP:conf/aplas/2017},
  url       = {https://doi.org/10.1007/978-3-319-71237-6\_8},
  doi       = {10.1007/978-3-319-71237-6\_8},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/KoRR17},
  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},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/icse/2017c},
  url       = {https://doi.org/10.1109/ICSE-C.2017.4},
  doi       = {10.1109/ICSE-C.2017.4},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/ParkRPR17},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/icse/2017formalise},
  url       = {https://doi.org/10.1109/FormaliSE.2017.10},
  doi       = {10.1109/FormaliSE.2017.10},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/BaePR17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LeeHR17,
  author    = {Sungho Lee and
               Sungjae Hwang and
               Sukyoung Ryu},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/kbse/2017},
  url       = {https://doi.org/10.1109/ASE.2017.8115638},
  doi       = {10.1109/ASE.2017.8115638},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/LeeHR17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ParkRR17,
  author    = {Jihyeok Park and
               Xavier Rival and
               Sukyoung Ryu},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/pldi/2017soap},
  url       = {https://doi.org/10.1145/3088515.3088516},
  doi       = {10.1145/3088515.3088516},
  timestamp = {Tue, 06 Nov 2018 16:59:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/ParkRR17},
  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       = {http://shonan.nii.ac.jp/shonan/report/no-2017-12/},
  timestamp = {Thu, 22 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/shonan-reports/ChangRR17},
  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   = {Empirical Software Engineering},
  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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ese/CheungRK16},
  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. Exper.},
  volume    = {46},
  number    = {9},
  pages     = {1219--1238},
  year      = {2016},
  url       = {https://doi.org/10.1002/spe.2380},
  doi       = {10.1002/spe.2380},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/spe/Ryu16},
  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 = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/toplas/Ryu16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dls/ParkIR16,
  author    = {Changhee Park and
               Hyeonseung Im and
               Sukyoung Ryu},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/dls/2016},
  url       = {https://doi.org/10.1145/2989225.2989228},
  doi       = {10.1145/2989225.2989228},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dls/ParkIR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Ryu16,
  author    = {Sukyoung Ryu},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/icfp/2016},
  url       = {https://doi.org/10.1145/2951913.2976747},
  doi       = {10.1145/2951913.2976747},
  timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/Ryu16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ParkLR16,
  author    = {Joonyoung Park and
               Inho Lim and
               Sukyoung Ryu},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/icse/2016c},
  url       = {https://doi.org/10.1145/2889160.2889227},
  doi       = {10.1145/2889160.2889227},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/ParkLR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LeeDR16,
  author    = {Sungho Lee and
               Julian Dolby and
               Sukyoung Ryu},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/kbse/2016},
  url       = {https://doi.org/10.1145/2970276.2970368},
  doi       = {10.1145/2970276.2970368},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/LeeDR16},
  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   = {{DARTS}},
  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 = {Mon, 29 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/darts/ParkR15},
  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},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/ccs/2015asia},
  url       = {https://doi.org/10.1145/2714576.2714638},
  doi       = {10.1145/2714576.2714638},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/HwangLKR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ParkR15,
  author    = {Changhee Park and
               Sukyoung Ryu},
  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},
  pages     = {735--756},
  year      = {2015},
  crossref  = {DBLP:conf/ecoop/2015},
  url       = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.735},
  doi       = {10.4230/LIPIcs.ECOOP.2015.735},
  timestamp = {Thu, 02 May 2019 17:40:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/ParkR15},
  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},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/kbse/2015},
  url       = {https://doi.org/10.1109/ASE.2015.28},
  doi       = {10.1109/ASE.2015.28},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/KoLDR15},
  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},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/kbse/2015},
  url       = {https://doi.org/10.1109/ASE.2015.27},
  doi       = {10.1109/ASE.2015.27},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/ParkWJR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/ChoR14,
  author    = {Junhee Cho and
               Sukyoung Ryu},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/aosd/2014},
  url       = {https://doi.org/10.1145/2577080.2577088},
  doi       = {10.1145/2577080.2577088},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aosd/ChoR14},
  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},
  title     = {Inferring Grammatical Summaries of String Values},
  booktitle = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
               2014, Singapore, November 17-19, 2014, Proceedings},
  pages     = {372--391},
  year      = {2014},
  crossref  = {DBLP:conf/aplas/2014},
  url       = {https://doi.org/10.1007/978-3-319-12736-1\_20},
  doi       = {10.1007/978-3-319-12736-1\_20},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/KimCPKR14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/NaR14,
  author    = {Hyunik Na and
               Sukyoung Ryu},
  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},
  pages     = {238--252},
  year      = {2014},
  crossref  = {DBLP:conf/flops/2014},
  url       = {https://doi.org/10.1007/978-3-319-07151-0\_15},
  doi       = {10.1007/978-3-319-07151-0\_15},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/flops/NaR14},
  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},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/sigsoft/2014},
  url       = {https://doi.org/10.1145/2635868.2635916},
  doi       = {10.1145/2635868.2635916},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/BaeCLR14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/ChoR14,
  author    = {Hyunghun Cho and
               Sukyoung Ryu},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/www/2014c},
  url       = {https://doi.org/10.1145/2567948.2579219},
  doi       = {10.1145/2567948.2579219},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/www/ChoR14},
  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.},
  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},
  pages     = {156--171},
  year      = {2013},
  crossref  = {DBLP:conf/aplas/2013},
  url       = {https://doi.org/10.1007/978-3-319-03542-0\_11},
  doi       = {10.1007/978-3-319-03542-0\_11},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/KimRLS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/NaR13,
  author    = {Hyunik Na and
               Sukyoung Ryu},
  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},
  pages     = {233--240},
  year      = {2013},
  crossref  = {DBLP:conf/aplas/2013},
  url       = {https://doi.org/10.1007/978-3-319-03542-0\_17},
  doi       = {10.1007/978-3-319-03542-0\_17},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/NaR13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dls/ParkLR13,
  author    = {Changhee Park and
               Hongki Lee and
               Sukyoung Ryu},
  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},
  year      = {2013},
  crossref  = {DBLP:conf/dls/2013},
  url       = {https://doi.org/10.1145/2508168.2508173},
  doi       = {10.1145/2508168.2508173},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dls/ParkLR13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KangR12,
  author    = {Seonghoon Kang and
               Sukyoung Ryu},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/oopsla/2012},
  url       = {https://doi.org/10.1145/2384616.2384661},
  doi       = {10.1145/2384616.2384661},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/KangR12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tldi/NaRC12,
  author    = {Hyunik Na and
               Sukyoung Ryu and
               Kwangmoo Choe},
  title     = {Exact type parameterization and ThisType support},
  booktitle = {Proceedings of {TLDI} 2012: The Seventh {ACM} {SIGPLAN} Workshop on
               Types in Languages Design and Implementation, Philadelphia, PA, USA,
               Saturday, January 28, 2012},
  pages     = {13--24},
  year      = {2012},
  crossref  = {DBLP:conf/tldi/2012},
  url       = {https://doi.org/10.1145/2103786.2103790},
  doi       = {10.1145/2103786.2103790},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tldi/NaRC12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/KimR11,
  author    = {Jieung Kim and
               Sukyoung Ryu},
  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},
  pages     = {264--279},
  year      = {2011},
  crossref  = {DBLP:conf/cpp/2011},
  url       = {https://doi.org/10.1007/978-3-642-25379-9\_20},
  doi       = {10.1007/978-3-642-25379-9\_20},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpp/KimR11},
  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.},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/oopsla/2011},
  url       = {https://doi.org/10.1145/2048066.2048140},
  doi       = {10.1145/2048066.2048140},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/AllenHKLRCS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/KangR11,
  author    = {Seonghoon Kang and
               Sukyoung Ryu},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/sac/2011},
  url       = {https://doi.org/10.1145/1982185.1982465},
  doi       = {10.1145/1982185.1982465},
  timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/KangR11},
  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},
  title     = {Fortress (Sun {HPCS} Language)},
  booktitle = {Encyclopedia of Parallel Computing},
  pages     = {718--735},
  year      = {2011},
  crossref  = {DBLP:reference/parallel/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/bib/reference/parallel/SteeleACFLMR11},
  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, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/HallettLRS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/Ryu09,
  author    = {Sukyoung Ryu},
  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},
  year      = {2009},
  crossref  = {DBLP:conf/pppj/2009},
  url       = {https://doi.org/10.1145/1596655.1596667},
  doi       = {10.1145/1596655.1596667},
  timestamp = {Mon, 26 Nov 2018 15:05:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pppj/Ryu09},
  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.},
  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},
  year      = {2008},
  crossref  = {DBLP:conf/sac/2008},
  url       = {https://doi.org/10.1145/1363686.1363733},
  doi       = {10.1145/1363686.1363733},
  timestamp = {Tue, 06 Nov 2018 11:06:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/HallettLRS08},
  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.},
  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},
  year      = {2007},
  crossref  = {DBLP:conf/sac/2007},
  url       = {https://doi.org/10.1145/1244002.1244245},
  doi       = {10.1145/1244002.1244245},
  timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sac/AllenHLRS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/RyuR05,
  author    = {Sukyoung Ryu and
               Norman Ramsey},
  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},
  pages     = {10--26},
  year      = {2005},
  crossref  = {DBLP:conf/cc/2005},
  url       = {https://doi.org/10.1007/978-3-540-31985-6\_2},
  doi       = {10.1007/978-3-540-31985-6\_2},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cc/RyuR05},
  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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/YiR02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/YiR97,
  author    = {Kwangkeun Yi and
               Sukyoung Ryu},
  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},
  pages     = {98--113},
  year      = {1997},
  crossref  = {DBLP:conf/sas/1997},
  url       = {https://doi.org/10.1007/BFb0032736},
  doi       = {10.1007/BFb0032736},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/YiR97},
  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},
  year      = {1996},
  crossref  = {DBLP:conf/compsac/1996},
  url       = {https://doi.org/10.1109/CMPSAC.1996.544613},
  doi       = {10.1109/CMPSAC.1996.544613},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/compsac/YiRP96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2019,
  editor    = {Reiner H{\"{a}}hnle and
               Wil M. P. van der Aalst},
  title     = {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},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-16722-6},
  doi       = {10.1007/978-3-030-16722-6},
  isbn      = {978-3-030-16721-9},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2019,
  editor    = {Joanne M. Atlee and
               Tevfik Bultan and
               Jon Whittle},
  title     = {Proceedings of the 41st International Conference on Software Engineering,
               {ICSE} 2019, Montreal, QC, Canada, May 25-31, 2019},
  publisher = {{IEEE} / {ACM}},
  year      = {2019},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8790403/proceeding},
  isbn      = {978-1-7281-0869-8},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2019,
  editor    = {Dongmei Zhang and
               Anders M{\o}ller},
  title     = {Proceedings of the 28th {ACM} {SIGSOFT} International Symposium on
               Software Testing and Analysis, {ISSTA} 2019, Beijing, China, July
               15-19, 2019},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3293882},
  doi       = {10.1145/3293882},
  isbn      = {978-1-4503-6224-5},
  timestamp = {Fri, 12 Jul 2019 09:54:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issta/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2018,
  editor    = {Alessandra Russo and
               Andy Sch{\"{u}}rr},
  title     = {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},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-89363-1},
  doi       = {10.1007/978-3-319-89363-1},
  isbn      = {978-3-319-89362-4},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icst/2018,
  title     = {11th {IEEE} International Conference on Software Testing, Verification
               and Validation, {ICST} 2018, V{\"{a}}ster{\aa}s, Sweden, April
               9-13, 2018},
  publisher = {{IEEE} Computer Society},
  year      = {2018},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8365877/proceeding},
  isbn      = {978-1-5386-5012-7},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/programming/2018,
  editor    = {Stefan Marr and
               Jennifer B. Sartor},
  title     = {Conference Companion of the 2nd International Conference on Art, Science,
               and Engineering of Programming, Nice, France, April 09-12, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {http://dl.acm.org/citation.cfm?id=3191697},
  timestamp = {Thu, 05 Jul 2018 14:16:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/programming/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/scala/2018,
  editor    = {Sebastian Erdweg and
               Bruno C. d. S. Oliveira},
  title     = {Proceedings of the 9th {ACM} {SIGPLAN} International Symposium on
               Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3241653},
  doi       = {10.1145/3241653},
  timestamp = {Tue, 11 Dec 2018 19:20:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/scala/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/www/2018c,
  editor    = {Pierre{-}Antoine Champin and
               Fabien L. Gandon and
               Mounia Lalmas and
               Panagiotis G. Ipeirotis},
  title     = {Companion of the The Web Conference 2018 on The Web Conference 2018,
               {WWW} 2018, Lyon , France, April 23-27, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3184558},
  doi       = {10.1145/3184558},
  timestamp = {Wed, 21 Nov 2018 12:44:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/www/2018c},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2017,
  editor    = {Bor{-}Yuh Evan Chang},
  title     = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
               2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10695},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-71237-6},
  doi       = {10.1007/978-3-319-71237-6},
  isbn      = {978-3-319-71236-9},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2017c,
  editor    = {Sebasti{\'{a}}n Uchitel and
               Alessandro Orso and
               Martin P. Robillard},
  title     = {Proceedings of the 39th International Conference on Software Engineering,
               {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion
               Volume},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7961434/proceeding},
  isbn      = {978-1-5386-1589-8},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2017c},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2017formalise,
  title     = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software
               Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27,
               2017},
  publisher = {{IEEE}},
  year      = {2017},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7965807/proceeding},
  isbn      = {978-1-5386-0422-9},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2017formalise},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2017,
  editor    = {Grigore Rosu and
               Massimiliano Di Penta and
               Tien N. Nguyen},
  title     = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
               Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
               03, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8106906/proceeding},
  isbn      = {978-1-5386-2684-9},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2017soap,
  editor    = {Karim Ali and
               Cristina Cifuentes},
  title     = {Proceedings of the 6th {ACM} {SIGPLAN} International Workshop on State
               Of the Art in Program Analysis, SOAP@PLDI 2017, Barcelona, Spain,
               June 18, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3088515},
  doi       = {10.1145/3088515},
  isbn      = {978-1-4503-5072-3},
  timestamp = {Tue, 06 Nov 2018 16:59:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2017soap},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dls/2016,
  editor    = {Roberto Ierusalimschy},
  title     = {Proceedings of the 12th Symposium on Dynamic Languages, {DLS} 2016,
               Amsterdam, The Netherlands, November 1, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2989225},
  doi       = {10.1145/2989225},
  isbn      = {978-1-4503-4445-6},
  timestamp = {Tue, 06 Nov 2018 16:57:15 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dls/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2016,
  editor    = {Jacques Garrigue and
               Gabriele Keller and
               Eijiro Sumii},
  title     = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
               2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2951913},
  doi       = {10.1145/2951913},
  isbn      = {978-1-4503-4219-3},
  timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2016c,
  editor    = {Laura K. Dillon and
               Willem Visser and
               Laurie Williams},
  title     = {Proceedings of the 38th International Conference on Software Engineering,
               {ICSE} 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://dl.acm.org/citation.cfm?id=2889160},
  isbn      = {978-1-4503-4205-6},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2016c},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2016,
  editor    = {David Lo and
               Sven Apel and
               Sarfraz Khurshid},
  title     = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
               Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2970276},
  doi       = {10.1145/2970276},
  isbn      = {978-1-4503-3845-5},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccs/2015asia,
  editor    = {Feng Bao and
               Steven Miller and
               Jianying Zhou and
               Gail{-}Joon Ahn},
  title     = {Proceedings of the 10th {ACM} Symposium on Information, Computer and
               Communications Security, {ASIA} {CCS} '15, Singapore, April 14-17,
               2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2714576},
  isbn      = {978-1-4503-3245-3},
  timestamp = {Tue, 21 Nov 2017 18:32:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/2015asia},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2015,
  editor    = {John Tang Boyland},
  title     = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
               July 5-10, 2015, Prague, Czech Republic},
  series    = {LIPIcs},
  volume    = {37},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2015},
  url       = {http://www.dagstuhl.de/dagpub/978-3-939897-86-6},
  isbn      = {978-3-939897-86-6},
  timestamp = {Thu, 02 May 2019 17:40:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2015,
  editor    = {Myra B. Cohen and
               Lars Grunske and
               Michael Whalen},
  title     = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
               {ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7371449/proceeding},
  isbn      = {978-1-5090-0025-8},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aosd/2014,
  editor    = {Walter Binder and
               Erik Ernst and
               Achille Peternier and
               Robert Hirschfeld},
  title     = {13th International Conference on Modularity, {MODULARITY} '14, Lugano,
               Switzerland, April 22-26, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2584469},
  isbn      = {978-1-4503-2772-5},
  timestamp = {Wed, 23 Apr 2014 14:08:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aosd/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2014,
  editor    = {Jacques Garrigue},
  title     = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
               2014, Singapore, November 17-19, 2014, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8858},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-12736-1},
  doi       = {10.1007/978-3-319-12736-1},
  isbn      = {978-3-319-12735-4},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2014,
  editor    = {Michael Codish and
               Eijiro Sumii},
  title     = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
               2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8475},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-07151-0},
  doi       = {10.1007/978-3-319-07151-0},
  isbn      = {978-3-319-07150-3},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/flops/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2014,
  editor    = {Shing{-}Chi Cheung and
               Alessandro Orso and
               Margaret{-}Anne D. Storey},
  title     = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, (FSE-22), Hong Kong, China, November
               16 - 22, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2635868},
  isbn      = {978-1-4503-3056-5},
  timestamp = {Fri, 07 Nov 2014 12:46:29 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/www/2014c,
  editor    = {Chin{-}Wan Chung and
               Andrei Z. Broder and
               Kyuseok Shim and
               Torsten Suel},
  title     = {23rd International World Wide Web Conference, {WWW} '14, Seoul, Republic
               of Korea, April 7-11, 2014, Companion Volume},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2567948},
  isbn      = {978-1-4503-2745-9},
  timestamp = {Tue, 15 Apr 2014 21:35:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/www/2014c},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2013,
  editor    = {Chung{-}chieh Shan},
  title     = {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},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-03542-0},
  doi       = {10.1007/978-3-319-03542-0},
  isbn      = {978-3-319-03541-3},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dls/2013,
  editor    = {Antony L. Hosking and
               Patrick Th. Eugster and
               Carl Friedrich Bolz},
  title     = {DLS'13, Proceedings of the 9th Symposium on Dynamic Languages, part
               of {SPLASH} 2013, Indianapolis, IN, USA, October 26-31, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2508168},
  isbn      = {978-1-4503-2433-5},
  timestamp = {Tue, 11 Feb 2014 19:08:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dls/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2012,
  editor    = {Gary T. Leavens and
               Matthew B. Dwyer},
  title     = {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},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2384616},
  isbn      = {978-1-4503-1561-6},
  timestamp = {Tue, 23 Oct 2012 08:06:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tldi/2012,
  editor    = {Benjamin C. Pierce},
  title     = {Proceedings of {TLDI} 2012: The Seventh {ACM} {SIGPLAN} Workshop on
               Types in Languages Design and Implementation, Philadelphia, PA, USA,
               Saturday, January 28, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2103786},
  isbn      = {978-1-4503-1120-5},
  timestamp = {Fri, 18 May 2012 21:46:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tldi/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpp/2011,
  editor    = {Jean{-}Pierre Jouannaud and
               Zhong Shao},
  title     = {Certified Programs and Proofs - First International Conference, {CPP}
               2011, Kenting, Taiwan, December 7-9, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7086},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-25379-9},
  doi       = {10.1007/978-3-642-25379-9},
  isbn      = {978-3-642-25378-2},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpp/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2011,
  editor    = {Cristina Videira Lopes and
               Kathleen Fisher},
  title     = {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},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0940-0},
  timestamp = {Tue, 25 Oct 2011 20:30:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sac/2011,
  editor    = {William C. Chu and
               W. Eric Wong and
               Mathew J. Palakal and
               Chih{-}Cheng Hung},
  title     = {Proceedings of the 2011 {ACM} Symposium on Applied Computing (SAC),
               TaiChung, Taiwan, March 21 - 24, 2011},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/1982185},
  doi       = {10.1145/1982185},
  isbn      = {978-1-4503-0113-8},
  timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:reference/parallel/2011,
  editor    = {David A. Padua},
  title     = {Encyclopedia of Parallel Computing},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-0-387-09766-4},
  doi       = {10.1007/978-0-387-09766-4},
  isbn      = {978-0-387-09765-7},
  timestamp = {Tue, 16 May 2017 14:02:20 +0200},
  biburl    = {https://dblp.org/rec/bib/reference/parallel/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pppj/2009,
  editor    = {Ben Stephenson and
               Christian W. Probst},
  title     = {Proceedings of the 7th International Conference on Principles and
               Practice of Programming in Java, {PPPJ} 2009, Calgary, Alberta, Canada,
               August 27-28, 2009},
  publisher = {{ACM}},
  year      = {2009},
  url       = {https://doi.org/10.1145/1596655},
  doi       = {10.1145/1596655},
  isbn      = {978-1-60558-598-7},
  timestamp = {Mon, 26 Nov 2018 15:05:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pppj/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sac/2008,
  editor    = {Roger L. Wainwright and
               Hisham Haddad},
  title     = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC),
               Fortaleza, Ceara, Brazil, March 16-20, 2008},
  publisher = {{ACM}},
  year      = {2008},
  url       = {https://doi.org/10.1145/1363686},
  doi       = {10.1145/1363686},
  isbn      = {978-1-59593-753-7},
  timestamp = {Tue, 06 Nov 2018 11:06:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sac/2007,
  editor    = {Yookun Cho and
               Roger L. Wainwright and
               Hisham Haddad and
               Sung Y. Shin and
               Yong Wan Koo},
  title     = {Proceedings of the 2007 {ACM} Symposium on Applied Computing (SAC),
               Seoul, Korea, March 11-15, 2007},
  publisher = {{ACM}},
  year      = {2007},
  url       = {https://doi.org/10.1145/1244002},
  doi       = {10.1145/1244002},
  isbn      = {1-59593-480-4},
  timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sac/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cc/2005,
  editor    = {Rastislav Bod{\'{\i}}k},
  title     = {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},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b107108},
  doi       = {10.1007/b107108},
  isbn      = {3-540-25411-0},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cc/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/1997,
  editor    = {Pascal Van Hentenryck},
  title     = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
               September 8-10, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1302},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0032729},
  doi       = {10.1007/BFb0032729},
  isbn      = {3-540-63468-1},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compsac/1996,
  title     = {{COMPSAC} '96 - 20th Computer Software and Applications Conference,
               August 19-23, 1996, Seoul, Korea},
  publisher = {{IEEE} Computer Society},
  year      = {1996},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/3926/proceeding},
  isbn      = {0-8186-7579-9},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/compsac/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics