var bibbase_data = {"data":"<img src=\"//bibbase.org/img/ajax-loader.gif\" id=\"spinner\"\n  style=\"display: none;\" alt=\"Loading..\" />\n\n<div id=\"bibbase\">\n\n  <script type=\"text/javascript\">\n    var bibbase = {\n      params: {\"jsonp\":\"1\",\"bib\":\"http://dblp.org/pers/tb2/j/Jeon:Jinseong\",\"host\":\"bibbase.org\"},\n      data: [{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[\"Jinseong\"],\"propositions\":[],\"lastnames\":[\"Jeon\"],\"suffixes\":[]},{\"firstnames\":[\"Xiaokang\"],\"propositions\":[],\"lastnames\":[\"Qiu\"],\"suffixes\":[]},{\"firstnames\":[\"Armando\"],\"propositions\":[],\"lastnames\":[\"Solar-Lezama\"],\"suffixes\":[]},{\"firstnames\":[\"Jeffrey\",\"S.\"],\"propositions\":[],\"lastnames\":[\"Foster\"],\"suffixes\":[]}],\"title\":\"An empirical study of adaptive concretization for parallel program synthesis\",\"journal\":\"Formal Methods Syst. Des.\",\"volume\":\"50\",\"number\":\"1\",\"pages\":\"75–95\",\"year\":\"2017\",\"url\":\"https://doi.org/10.1007/s10703-017-0269-8\",\"doi\":\"10.1007/S10703-017-0269-8\",\"timestamp\":\"Thu, 14 Oct 2021 01:00:00 +0200\",\"biburl\":\"https://dblp.org/rec/journals/fmsd/JeonQSF17.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@article{DBLP:journals/fmsd/JeonQSF17,\\n  author       = {Jinseong Jeon and\\n                  Xiaokang Qiu and\\n                  Armando Solar{-}Lezama and\\n                  Jeffrey S. Foster},\\n  title        = {An empirical study of adaptive concretization for parallel program\\n                  synthesis},\\n  journal      = {Formal Methods Syst. Des.},\\n  volume       = {50},\\n  number       = {1},\\n  pages        = {75--95},\\n  year         = {2017},\\n  url          = {https://doi.org/10.1007/s10703-017-0269-8},\\n  doi          = {10.1007/S10703-017-0269-8},\\n  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},\\n  biburl       = {https://dblp.org/rec/journals/fmsd/JeonQSF17.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Jeon, J.\",\"Qiu, X.\",\"Solar-Lezama, A.\",\"Foster, J. S.\"],\"key\":\"DBLP:journals/fmsd/JeonQSF17\",\"id\":\"DBLP:journals/fmsd/JeonQSF17\",\"bibbaseid\":\"jeon-qiu-solarlezama-foster-anempiricalstudyofadaptiveconcretizationforparallelprogramsynthesis-2017\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1007/s10703-017-0269-8\"},\"metadata\":{\"authorlinks\":{\"solar-lezama, a\":\"https://groups.csail.mit.edu/cap/\",\"jeon, j\":\"http://www.cs.umd.edu/~jsjeon/dblp.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"phdthesis\",\"type\":\"phdthesis\",\"author\":[{\"firstnames\":[\"Jinseong\"],\"propositions\":[],\"lastnames\":[\"Jeon\"],\"suffixes\":[]}],\"title\":\"Framework synthesis for Symbolic Execution of Event-Driven Frameworks\",\"school\":\"University of Maryland, College Park, MD, USA\",\"year\":\"2016\",\"url\":\"https://hdl.handle.net/1903/18205\",\"timestamp\":\"Wed, 04 May 2022 01:00:00 +0200\",\"biburl\":\"https://dblp.org/rec/phd/basesearch/Jeon16.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@phdthesis{DBLP:phd/basesearch/Jeon16,\\n  author       = {Jinseong Jeon},\\n  title        = {Framework synthesis for Symbolic Execution of Event-Driven Frameworks},\\n  school       = {University of Maryland, College Park, MD, {USA}},\\n  year         = {2016},\\n  url          = {https://hdl.handle.net/1903/18205},\\n  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},\\n  biburl       = {https://dblp.org/rec/phd/basesearch/Jeon16.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Jeon, J.\"],\"key\":\"DBLP:phd/basesearch/Jeon16\",\"id\":\"DBLP:phd/basesearch/Jeon16\",\"bibbaseid\":\"jeon-frameworksynthesisforsymbolicexecutionofeventdrivenframeworks-2016\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://hdl.handle.net/1903/18205\"},\"metadata\":{\"authorlinks\":{\"jeon, j\":\"http://www.cs.umd.edu/~jsjeon/dblp.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Jinseong\"],\"propositions\":[],\"lastnames\":[\"Jeon\"],\"suffixes\":[]},{\"firstnames\":[\"Xiaokang\"],\"propositions\":[],\"lastnames\":[\"Qiu\"],\"suffixes\":[]},{\"firstnames\":[\"Jonathan\"],\"propositions\":[],\"lastnames\":[\"Fetter-Degges\"],\"suffixes\":[]},{\"firstnames\":[\"Jeffrey\",\"S.\"],\"propositions\":[],\"lastnames\":[\"Foster\"],\"suffixes\":[]},{\"firstnames\":[\"Armando\"],\"propositions\":[],\"lastnames\":[\"Solar-Lezama\"],\"suffixes\":[]}],\"title\":\"Synthesizing framework models for symbolic execution\",\"booktitle\":\"Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016\",\"pages\":\"156–167\",\"year\":\"2016\",\"crossref\":\"DBLP:conf/icse/2016\",\"url\":\"https://doi.org/10.1145/2884781.2884856\",\"doi\":\"10.1145/2884781.2884856\",\"timestamp\":\"Thu, 14 Oct 2021 01:00:00 +0200\",\"biburl\":\"https://dblp.org/rec/conf/icse/JeonQFFS16.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/icse/JeonQFFS16,\\n  author       = {Jinseong Jeon and\\n                  Xiaokang Qiu and\\n                  Jonathan Fetter{-}Degges and\\n                  Jeffrey S. Foster and\\n                  Armando Solar{-}Lezama},\\n  title        = {Synthesizing framework models for symbolic execution},\\n  booktitle    = {Proceedings of the 38th International Conference on Software Engineering,\\n                  {ICSE} 2016, Austin, TX, USA, May 14-22, 2016},\\n  pages        = {156--167},\\n  year         = {2016},\\n  crossref     = {DBLP:conf/icse/2016},\\n  url          = {https://doi.org/10.1145/2884781.2884856},\\n  doi          = {10.1145/2884781.2884856},\\n  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},\\n  biburl       = {https://dblp.org/rec/conf/icse/JeonQFFS16.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Jeon, J.\",\"Qiu, X.\",\"Fetter-Degges, J.\",\"Foster, J. S.\",\"Solar-Lezama, A.\"],\"key\":\"DBLP:conf/icse/JeonQFFS16\",\"id\":\"DBLP:conf/icse/JeonQFFS16\",\"bibbaseid\":\"jeon-qiu-fetterdegges-foster-solarlezama-synthesizingframeworkmodelsforsymbolicexecution-2016\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1145/2884781.2884856\"},\"metadata\":{\"authorlinks\":{\"solar-lezama, a\":\"https://groups.csail.mit.edu/cap/\",\"jeon, j\":\"http://www.cs.umd.edu/~jsjeon/dblp.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Jinseong\"],\"propositions\":[],\"lastnames\":[\"Jeon\"],\"suffixes\":[]},{\"firstnames\":[\"Xiaokang\"],\"propositions\":[],\"lastnames\":[\"Qiu\"],\"suffixes\":[]},{\"firstnames\":[\"Armando\"],\"propositions\":[],\"lastnames\":[\"Solar-Lezama\"],\"suffixes\":[]},{\"firstnames\":[\"Jeffrey\",\"S.\"],\"propositions\":[],\"lastnames\":[\"Foster\"],\"suffixes\":[]}],\"title\":\"Adaptive Concretization for Parallel Program Synthesis\",\"booktitle\":\"Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II\",\"pages\":\"377–394\",\"year\":\"2015\",\"crossref\":\"DBLP:conf/cav/2015\",\"url\":\"https://doi.org/10.1007/978-3-319-21668-3\\\\_22\",\"doi\":\"10.1007/978-3-319-21668-3_22\",\"timestamp\":\"Sun, 25 Oct 2020 01:00:00 +0200\",\"biburl\":\"https://dblp.org/rec/conf/cav/JeonQSF15.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/cav/JeonQSF15,\\n  author       = {Jinseong Jeon and\\n                  Xiaokang Qiu and\\n                  Armando Solar{-}Lezama and\\n                  Jeffrey S. Foster},\\n  title        = {Adaptive Concretization for Parallel Program Synthesis},\\n  booktitle    = {Computer Aided Verification - 27th International Conference, {CAV}\\n                  2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part\\n                  {II}},\\n  pages        = {377--394},\\n  year         = {2015},\\n  crossref     = {DBLP:conf/cav/2015},\\n  url          = {https://doi.org/10.1007/978-3-319-21668-3\\\\_22},\\n  doi          = {10.1007/978-3-319-21668-3\\\\_22},\\n  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},\\n  biburl       = {https://dblp.org/rec/conf/cav/JeonQSF15.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Jeon, J.\",\"Qiu, X.\",\"Solar-Lezama, A.\",\"Foster, J. S.\"],\"key\":\"DBLP:conf/cav/JeonQSF15\",\"id\":\"DBLP:conf/cav/JeonQSF15\",\"bibbaseid\":\"jeon-qiu-solarlezama-foster-adaptiveconcretizationforparallelprogramsynthesis-2015\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1007/978-3-319-21668-3\\\\_22\"},\"metadata\":{\"authorlinks\":{\"solar-lezama, a\":\"https://groups.csail.mit.edu/cap/\",\"jeon, j\":\"http://www.cs.umd.edu/~jsjeon/dblp.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Kristopher\",\"K.\"],\"propositions\":[],\"lastnames\":[\"Micinski\"],\"suffixes\":[]},{\"firstnames\":[\"Jonathan\"],\"propositions\":[],\"lastnames\":[\"Fetter-Degges\"],\"suffixes\":[]},{\"firstnames\":[\"Jinseong\"],\"propositions\":[],\"lastnames\":[\"Jeon\"],\"suffixes\":[]},{\"firstnames\":[\"Jeffrey\",\"S.\"],\"propositions\":[],\"lastnames\":[\"Foster\"],\"suffixes\":[]},{\"firstnames\":[\"Michael\",\"R.\"],\"propositions\":[],\"lastnames\":[\"Clarkson\"],\"suffixes\":[]}],\"title\":\"Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution\",\"booktitle\":\"Computer Security - ESORICS 2015 - 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part II\",\"pages\":\"520–538\",\"year\":\"2015\",\"crossref\":\"DBLP:conf/esorics/2015-2\",\"url\":\"https://doi.org/10.1007/978-3-319-24177-7\\\\_26\",\"doi\":\"10.1007/978-3-319-24177-7_26\",\"timestamp\":\"Sat, 19 Oct 2019 20:00:24 +0200\",\"biburl\":\"https://dblp.org/rec/conf/esorics/MicinskiFJFC15.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/esorics/MicinskiFJFC15,\\n  author       = {Kristopher K. Micinski and\\n                  Jonathan Fetter{-}Degges and\\n                  Jinseong Jeon and\\n                  Jeffrey S. Foster and\\n                  Michael R. Clarkson},\\n  title        = {Checking Interaction-Based Declassification Policies for Android Using\\n                  Symbolic Execution},\\n  booktitle    = {Computer Security - {ESORICS} 2015 - 20th European Symposium on Research\\n                  in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings,\\n                  Part {II}},\\n  pages        = {520--538},\\n  year         = {2015},\\n  crossref     = {DBLP:conf/esorics/2015-2},\\n  url          = {https://doi.org/10.1007/978-3-319-24177-7\\\\_26},\\n  doi          = {10.1007/978-3-319-24177-7\\\\_26},\\n  timestamp    = {Sat, 19 Oct 2019 20:00:24 +0200},\\n  biburl       = {https://dblp.org/rec/conf/esorics/MicinskiFJFC15.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Micinski, K. K.\",\"Fetter-Degges, J.\",\"Jeon, J.\",\"Foster, J. S.\",\"Clarkson, M. R.\"],\"key\":\"DBLP:conf/esorics/MicinskiFJFC15\",\"id\":\"DBLP:conf/esorics/MicinskiFJFC15\",\"bibbaseid\":\"micinski-fetterdegges-jeon-foster-clarkson-checkinginteractionbaseddeclassificationpoliciesforandroidusingsymbolicexecution-2015\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1007/978-3-319-24177-7\\\\_26\"},\"metadata\":{\"authorlinks\":{\"jeon, j\":\"http://www.cs.umd.edu/~jsjeon/dblp.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Jinseong\"],\"propositions\":[],\"lastnames\":[\"Jeon\"],\"suffixes\":[]},{\"firstnames\":[\"Xiaokang\"],\"propositions\":[],\"lastnames\":[\"Qiu\"],\"suffixes\":[]},{\"firstnames\":[\"Jeffrey\",\"S.\"],\"propositions\":[],\"lastnames\":[\"Foster\"],\"suffixes\":[]},{\"firstnames\":[\"Armando\"],\"propositions\":[],\"lastnames\":[\"Solar-Lezama\"],\"suffixes\":[]}],\"title\":\"JSketch: sketching for Java\",\"booktitle\":\"Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015\",\"pages\":\"934–937\",\"year\":\"2015\",\"crossref\":\"DBLP:conf/sigsoft/2015\",\"url\":\"https://doi.org/10.1145/2786805.2803189\",\"doi\":\"10.1145/2786805.2803189\",\"timestamp\":\"Thu, 14 Oct 2021 01:00:00 +0200\",\"biburl\":\"https://dblp.org/rec/conf/sigsoft/JeonQFS15.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/sigsoft/JeonQFS15,\\n  author       = {Jinseong Jeon and\\n                  Xiaokang Qiu and\\n                  Jeffrey S. Foster and\\n                  Armando Solar{-}Lezama},\\n  title        = {JSketch: sketching for Java},\\n  booktitle    = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software\\n                  Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September\\n                  4, 2015},\\n  pages        = {934--937},\\n  year         = {2015},\\n  crossref     = {DBLP:conf/sigsoft/2015},\\n  url          = {https://doi.org/10.1145/2786805.2803189},\\n  doi          = {10.1145/2786805.2803189},\\n  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},\\n  biburl       = {https://dblp.org/rec/conf/sigsoft/JeonQFS15.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Jeon, J.\",\"Qiu, X.\",\"Foster, J. S.\",\"Solar-Lezama, A.\"],\"key\":\"DBLP:conf/sigsoft/JeonQFS15\",\"id\":\"DBLP:conf/sigsoft/JeonQFS15\",\"bibbaseid\":\"jeon-qiu-foster-solarlezama-jsketchsketchingforjava-2015\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1145/2786805.2803189\"},\"metadata\":{\"authorlinks\":{\"solar-lezama, a\":\"https://groups.csail.mit.edu/cap/\",\"jeon, j\":\"http://www.cs.umd.edu/~jsjeon/dblp.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[\"Kristopher\",\"K.\"],\"propositions\":[],\"lastnames\":[\"Micinski\"],\"suffixes\":[]},{\"firstnames\":[\"Jonathan\"],\"propositions\":[],\"lastnames\":[\"Fetter-Degges\"],\"suffixes\":[]},{\"firstnames\":[\"Jinseong\"],\"propositions\":[],\"lastnames\":[\"Jeon\"],\"suffixes\":[]},{\"firstnames\":[\"Jeffrey\",\"S.\"],\"propositions\":[],\"lastnames\":[\"Foster\"],\"suffixes\":[]},{\"firstnames\":[\"Michael\",\"R.\"],\"propositions\":[],\"lastnames\":[\"Clarkson\"],\"suffixes\":[]}],\"title\":\"Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution\",\"journal\":\"CoRR\",\"volume\":\"abs/1504.03711\",\"year\":\"2015\",\"url\":\"http://arxiv.org/abs/1504.03711\",\"eprinttype\":\"arXiv\",\"eprint\":\"1504.03711\",\"timestamp\":\"Mon, 13 Aug 2018 01:00:00 +0200\",\"biburl\":\"https://dblp.org/rec/journals/corr/MicinskiFJFC15.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@article{DBLP:journals/corr/MicinskiFJFC15,\\n  author       = {Kristopher K. Micinski and\\n                  Jonathan Fetter{-}Degges and\\n                  Jinseong Jeon and\\n                  Jeffrey S. Foster and\\n                  Michael R. Clarkson},\\n  title        = {Checking Interaction-Based Declassification Policies for Android Using\\n                  Symbolic Execution},\\n  journal      = {CoRR},\\n  volume       = {abs/1504.03711},\\n  year         = {2015},\\n  url          = {http://arxiv.org/abs/1504.03711},\\n  eprinttype    = {arXiv},\\n  eprint       = {1504.03711},\\n  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},\\n  biburl       = {https://dblp.org/rec/journals/corr/MicinskiFJFC15.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Micinski, K. K.\",\"Fetter-Degges, J.\",\"Jeon, J.\",\"Foster, J. S.\",\"Clarkson, M. R.\"],\"key\":\"DBLP:journals/corr/MicinskiFJFC15\",\"id\":\"DBLP:journals/corr/MicinskiFJFC15\",\"bibbaseid\":\"micinski-fetterdegges-jeon-foster-clarkson-checkinginteractionbaseddeclassificationpoliciesforandroidusingsymbolicexecution-2015\",\"role\":\"author\",\"urls\":{\"Paper\":\"http://arxiv.org/abs/1504.03711\"},\"metadata\":{\"authorlinks\":{\"jeon, j\":\"http://www.cs.umd.edu/~jsjeon/dblp.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[\"Jinseong\"],\"propositions\":[],\"lastnames\":[\"Jeon\"],\"suffixes\":[]},{\"firstnames\":[\"Xiaokang\"],\"propositions\":[],\"lastnames\":[\"Qiu\"],\"suffixes\":[]},{\"firstnames\":[\"Jeffrey\",\"S.\"],\"propositions\":[],\"lastnames\":[\"Foster\"],\"suffixes\":[]},{\"firstnames\":[\"Armando\"],\"propositions\":[],\"lastnames\":[\"Solar-Lezama\"],\"suffixes\":[]}],\"title\":\"JSKETCH: Sketching for Java\",\"journal\":\"CoRR\",\"volume\":\"abs/1507.03577\",\"year\":\"2015\",\"url\":\"http://arxiv.org/abs/1507.03577\",\"eprinttype\":\"arXiv\",\"eprint\":\"1507.03577\",\"timestamp\":\"Mon, 13 Aug 2018 01:00:00 +0200\",\"biburl\":\"https://dblp.org/rec/journals/corr/JeonQFS15.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@article{DBLP:journals/corr/JeonQFS15,\\n  author       = {Jinseong Jeon and\\n                  Xiaokang Qiu and\\n                  Jeffrey S. Foster and\\n                  Armando Solar{-}Lezama},\\n  title        = {{JSKETCH:} Sketching for Java},\\n  journal      = {CoRR},\\n  volume       = {abs/1507.03577},\\n  year         = {2015},\\n  url          = {http://arxiv.org/abs/1507.03577},\\n  eprinttype    = {arXiv},\\n  eprint       = {1507.03577},\\n  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},\\n  biburl       = {https://dblp.org/rec/journals/corr/JeonQFS15.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Jeon, J.\",\"Qiu, X.\",\"Foster, J. S.\",\"Solar-Lezama, A.\"],\"key\":\"DBLP:journals/corr/JeonQFS15\",\"id\":\"DBLP:journals/corr/JeonQFS15\",\"bibbaseid\":\"jeon-qiu-foster-solarlezama-jsketchsketchingforjava-2015\",\"role\":\"author\",\"urls\":{\"Paper\":\"http://arxiv.org/abs/1507.03577\"},\"metadata\":{\"authorlinks\":{\"solar-lezama, a\":\"https://groups.csail.mit.edu/cap/\",\"jeon, j\":\"http://www.cs.umd.edu/~jsjeon/dblp.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Ravi\"],\"propositions\":[],\"lastnames\":[\"Bhoraskar\"],\"suffixes\":[]},{\"firstnames\":[\"Seungyeop\"],\"propositions\":[],\"lastnames\":[\"Han\"],\"suffixes\":[]},{\"firstnames\":[\"Jinseong\"],\"propositions\":[],\"lastnames\":[\"Jeon\"],\"suffixes\":[]},{\"firstnames\":[\"Tanzirul\"],\"propositions\":[],\"lastnames\":[\"Azim\"],\"suffixes\":[]},{\"firstnames\":[\"Shuo\"],\"propositions\":[],\"lastnames\":[\"Chen\"],\"suffixes\":[]},{\"firstnames\":[\"Jaeyeon\"],\"propositions\":[],\"lastnames\":[\"Jung\"],\"suffixes\":[]},{\"firstnames\":[\"Suman\"],\"propositions\":[],\"lastnames\":[\"Nath\"],\"suffixes\":[]},{\"firstnames\":[\"Rui\"],\"propositions\":[],\"lastnames\":[\"Wang\"],\"suffixes\":[]},{\"firstnames\":[\"David\"],\"propositions\":[],\"lastnames\":[\"Wetherall\"],\"suffixes\":[]}],\"title\":\"Brahmastra: Driving Apps to Test the Security of Third-Party Components\",\"booktitle\":\"Proceedings of the 23rd USENIX Security Symposium, San Diego, CA, USA, August 20-22, 2014\",\"pages\":\"1021–1036\",\"year\":\"2014\",\"crossref\":\"DBLP:conf/uss/2014\",\"url\":\"https://www.usenix.org/conference/usenixsecurity14/technical-sessions/presentation/bhoraskar\",\"timestamp\":\"Mon, 01 Feb 2021 08:43:04 +0100\",\"biburl\":\"https://dblp.org/rec/conf/uss/BhoraskarHJACJN0W14.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/uss/BhoraskarHJACJN0W14,\\n  author       = {Ravi Bhoraskar and\\n                  Seungyeop Han and\\n                  Jinseong Jeon and\\n                  Tanzirul Azim and\\n                  Shuo Chen and\\n                  Jaeyeon Jung and\\n                  Suman Nath and\\n                  Rui Wang and\\n                  David Wetherall},\\n  title        = {Brahmastra: Driving Apps to Test the Security of Third-Party Components},\\n  booktitle    = {Proceedings of the 23rd {USENIX} Security Symposium, San Diego, CA,\\n                  USA, August 20-22, 2014},\\n  pages        = {1021--1036},\\n  year         = {2014},\\n  crossref     = {DBLP:conf/uss/2014},\\n  url          = {https://www.usenix.org/conference/usenixsecurity14/technical-sessions/presentation/bhoraskar},\\n  timestamp    = {Mon, 01 Feb 2021 08:43:04 +0100},\\n  biburl       = {https://dblp.org/rec/conf/uss/BhoraskarHJACJN0W14.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Bhoraskar, R.\",\"Han, S.\",\"Jeon, J.\",\"Azim, T.\",\"Chen, S.\",\"Jung, J.\",\"Nath, S.\",\"Wang, R.\",\"Wetherall, D.\"],\"key\":\"DBLP:conf/uss/BhoraskarHJACJN0W14\",\"id\":\"DBLP:conf/uss/BhoraskarHJACJN0W14\",\"bibbaseid\":\"bhoraskar-han-jeon-azim-chen-jung-nath-wang-etal-brahmastradrivingappstotestthesecurityofthirdpartycomponents-2014\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://www.usenix.org/conference/usenixsecurity14/technical-sessions/presentation/bhoraskar\"},\"metadata\":{\"authorlinks\":{\"jeon, j\":\"http://www.cs.umd.edu/~jsjeon/dblp.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Jinseong\"],\"propositions\":[],\"lastnames\":[\"Jeon\"],\"suffixes\":[]},{\"firstnames\":[\"Kristopher\",\"K.\"],\"propositions\":[],\"lastnames\":[\"Micinski\"],\"suffixes\":[]},{\"firstnames\":[\"Jeffrey\",\"A.\"],\"propositions\":[],\"lastnames\":[\"Vaughan\"],\"suffixes\":[]},{\"firstnames\":[\"Ari\"],\"propositions\":[],\"lastnames\":[\"Fogel\"],\"suffixes\":[]},{\"firstnames\":[\"Nikhilesh\"],\"propositions\":[],\"lastnames\":[\"Reddy\"],\"suffixes\":[]},{\"firstnames\":[\"Jeffrey\",\"S.\"],\"propositions\":[],\"lastnames\":[\"Foster\"],\"suffixes\":[]},{\"firstnames\":[\"Todd\",\"D.\"],\"propositions\":[],\"lastnames\":[\"Millstein\"],\"suffixes\":[]}],\"title\":\"Dr. Android and Mr. Hide: fine-grained permissions in android applications\",\"booktitle\":\"SPSM'12, Proceedings of the Workshop on Security and Privacy in Smartphones and Mobile Devices, Co-located with CCS 2012, October 19, 2012, Raleigh, NC, USA\",\"pages\":\"3–14\",\"year\":\"2012\",\"crossref\":\"DBLP:conf/ccs/2012spsm\",\"url\":\"https://doi.org/10.1145/2381934.2381938\",\"doi\":\"10.1145/2381934.2381938\",\"timestamp\":\"Tue, 12 Apr 2022 13:28:49 +0200\",\"biburl\":\"https://dblp.org/rec/conf/ccs/JeonMVFRFM12.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/ccs/JeonMVFRFM12,\\n  author       = {Jinseong Jeon and\\n                  Kristopher K. Micinski and\\n                  Jeffrey A. Vaughan and\\n                  Ari Fogel and\\n                  Nikhilesh Reddy and\\n                  Jeffrey S. Foster and\\n                  Todd D. Millstein},\\n  title        = {Dr. Android and Mr. Hide: fine-grained permissions in android applications},\\n  booktitle    = {SPSM'12, Proceedings of the Workshop on Security and Privacy in Smartphones\\n                  and Mobile Devices, Co-located with {CCS} 2012, October 19, 2012,\\n                  Raleigh, NC, {USA}},\\n  pages        = {3--14},\\n  year         = {2012},\\n  crossref     = {DBLP:conf/ccs/2012spsm},\\n  url          = {https://doi.org/10.1145/2381934.2381938},\\n  doi          = {10.1145/2381934.2381938},\\n  timestamp    = {Tue, 12 Apr 2022 13:28:49 +0200},\\n  biburl       = {https://dblp.org/rec/conf/ccs/JeonMVFRFM12.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Jeon, J.\",\"Micinski, K. K.\",\"Vaughan, J. A.\",\"Fogel, A.\",\"Reddy, N.\",\"Foster, J. S.\",\"Millstein, T. D.\"],\"key\":\"DBLP:conf/ccs/JeonMVFRFM12\",\"id\":\"DBLP:conf/ccs/JeonMVFRFM12\",\"bibbaseid\":\"jeon-micinski-vaughan-fogel-reddy-foster-millstein-drandroidandmrhidefinegrainedpermissionsinandroidapplications-2012\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1145/2381934.2381938\"},\"metadata\":{\"authorlinks\":{\"jeon, j\":\"http://www.cs.umd.edu/~jsjeon/dblp.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[\"Jinseong\"],\"propositions\":[],\"lastnames\":[\"Jeon\"],\"suffixes\":[]},{\"firstnames\":[\"Keoncheol\"],\"propositions\":[],\"lastnames\":[\"Shin\"],\"suffixes\":[]},{\"firstnames\":[\"Hwansoo\"],\"propositions\":[],\"lastnames\":[\"Han\"],\"suffixes\":[]}],\"title\":\"Abstracting access patterns of dynamic memory using regular expressions\",\"journal\":\"ACM Trans. Archit. Code Optim.\",\"volume\":\"5\",\"number\":\"4\",\"pages\":\"18:1–18:28\",\"year\":\"2009\",\"url\":\"https://doi.org/10.1145/1498690.1498693\",\"doi\":\"10.1145/1498690.1498693\",\"timestamp\":\"Wed, 17 Feb 2021 00:00:00 +0100\",\"biburl\":\"https://dblp.org/rec/journals/taco/JeonSH09.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@article{DBLP:journals/taco/JeonSH09,\\n  author       = {Jinseong Jeon and\\n                  Keoncheol Shin and\\n                  Hwansoo Han},\\n  title        = {Abstracting access patterns of dynamic memory using regular expressions},\\n  journal      = {{ACM} Trans. Archit. Code Optim.},\\n  volume       = {5},\\n  number       = {4},\\n  pages        = {18:1--18:28},\\n  year         = {2009},\\n  url          = {https://doi.org/10.1145/1498690.1498693},\\n  doi          = {10.1145/1498690.1498693},\\n  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},\\n  biburl       = {https://dblp.org/rec/journals/taco/JeonSH09.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Jeon, J.\",\"Shin, K.\",\"Han, H.\"],\"key\":\"DBLP:journals/taco/JeonSH09\",\"id\":\"DBLP:journals/taco/JeonSH09\",\"bibbaseid\":\"jeon-shin-han-abstractingaccesspatternsofdynamicmemoryusingregularexpressions-2009\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1145/1498690.1498693\"},\"metadata\":{\"authorlinks\":{\"jeon, j\":\"http://www.cs.umd.edu/~jsjeon/dblp.html\"}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Jinseong\"],\"propositions\":[],\"lastnames\":[\"Jeon\"],\"suffixes\":[]},{\"firstnames\":[\"Keoncheol\"],\"propositions\":[],\"lastnames\":[\"Shin\"],\"suffixes\":[]},{\"firstnames\":[\"Hwansoo\"],\"propositions\":[],\"lastnames\":[\"Han\"],\"suffixes\":[]}],\"title\":\"Layout Transformations for Heap Objects Using Static Access Patterns\",\"booktitle\":\"Compiler Construction, 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings\",\"pages\":\"187–201\",\"year\":\"2007\",\"crossref\":\"DBLP:conf/cc/2007\",\"url\":\"https://doi.org/10.1007/978-3-540-71229-9\\\\_13\",\"doi\":\"10.1007/978-3-540-71229-9_13\",\"timestamp\":\"Tue, 14 May 2019 10:00:48 +0200\",\"biburl\":\"https://dblp.org/rec/conf/cc/JeonSH07.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/cc/JeonSH07,\\n  author       = {Jinseong Jeon and\\n                  Keoncheol Shin and\\n                  Hwansoo Han},\\n  title        = {Layout Transformations for Heap Objects Using Static Access Patterns},\\n  booktitle    = {Compiler Construction, 16th International Conference, {CC} 2007, Held\\n                  as Part of the Joint European Conferences on Theory and Practice of\\n                  Software, {ETAPS} 2007, Braga, Portugal, March 26-30, 2007, Proceedings},\\n  pages        = {187--201},\\n  year         = {2007},\\n  crossref     = {DBLP:conf/cc/2007},\\n  url          = {https://doi.org/10.1007/978-3-540-71229-9\\\\_13},\\n  doi          = {10.1007/978-3-540-71229-9\\\\_13},\\n  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},\\n  biburl       = {https://dblp.org/rec/conf/cc/JeonSH07.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Jeon, J.\",\"Shin, K.\",\"Han, H.\"],\"key\":\"DBLP:conf/cc/JeonSH07\",\"id\":\"DBLP:conf/cc/JeonSH07\",\"bibbaseid\":\"jeon-shin-han-layouttransformationsforheapobjectsusingstaticaccesspatterns-2007\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1007/978-3-540-71229-9\\\\_13\"},\"metadata\":{\"authorlinks\":{\"jeon, j\":\"http://www.cs.umd.edu/~jsjeon/dblp.html\"}},\"downloads\":0,\"html\":\"\"}],\n      metadata: {\"owner\":\"jeon, j\",\"authorlinks\":{\"jeon, j\":\"http://www.cs.umd.edu/~jsjeon/dblp.html\"}},\n      ownerID: \"sPLnowbQ4HhFxcszm\"\n    };\n  </script>\n\n  <script type=\"text/javascript\">\n  var site$;\n  if (typeof $ != 'undefined') {\n    console.log('existing jquery: storing and then restoring');\n    site$ = $;\n    $ = null;\n  }\n  </script>\n\n  <script src=\"https://ajax.googleapis.com/ajax/libs/jquery/2.2.4/jquery.min.js\">\n  </script>\n  <script type=\"text/javascript\">\n  if (site$) {\n    console.log('existing jquery: avoiding conflict and restoring');\n    bb$ = $.noConflict(true);\n    $ = site$;\n  } else {\n    bb$ = $;\n  }\n  </script>\n\n  <script src=\"//bibbase.org/js/bibbase.min.js\"\n          type=\"text/javascript\">\n  </script>\n\n  <script type=\"text/javascript\"\n          src=\"https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML\">\n  </script>\n  <script type=\"text/x-mathjax-config\">\n    MathJax.Hub.Config({tex2jax: {inlineMath: [['$','$'], ['\\\\(','\\\\)']]},\n                        skipTags: [\"body\"],\n                        processClass: \"bibbase_paper\"});\n  </script>\n\n  <style>\n  @media print {\n    .dontprint {\n        display: none !important;\n    }\n\n  .bibbase_group {\n    background-color: #E0E0E0;\n    font-style: italic;\n    font-size: larger;\n    text-shadow: 0px 0px 3px #FFFFFF;\n    border-radius: 4px 4px 4px 4px;\n    -moz-border-radius: 4px 4px 4px 4px;\n    -webkit-border-radius: 4px;\n    padding: 5px 40px 5px;\n    margin-top: 10px;\n    margin-bottom: 5px;\n    cursor: pointer;\n  }\n\n  .bibbase_paper {\n    margin-bottom: 5px;\n  }\n\n  }\n  </style>\n\n  \n  <div style=\"float: right; margin-right: 10px; margin-top: 10px; text-align: right; font-size: 12px\">\n    generated by\n    <a href=\"//bibbase.org\"\n       onclick=\"trackOutboundLink('bibbase', 'logo clicked', window.location.href, '//bibbase.org'); return false;\">\n      <img src=\"//bibbase.org/img/logo.svg\"\n           style=\"vertical-align: middle; margin-left: 3px; height: 16px;\"/\n           alt=\"bibbase.org\"\n           title=\"BibBase – The easiest way to maintain your publications page.\"\n        ></a>\n    \n  </div>\n  \n\n  <div id=\"bibbase_header\" class=\"dontprint\" style=\"\">\n\n    <ul class=\"nav nav-pills\" style=\"margin: 0px;\">\n\n      <li class=\"dropdown\" id=\"groupby_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\">\n          Group by\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li class=\"groupby year\"><a onclick=\"groupby('year')\">\n            Year</a>\n        </li>\n        <li class=\"groupby author\"><a onclick=\"groupby('author_short')\">\n            Author</a>\n        </li>\n        <li class=\"groupby type\"><a onclick=\"groupby('type')\">\n            Type</a>\n        </li>\n        <li class=\"groupby keyword\"><a onclick=\"groupby('keyword')\">\n            Keyword</a>\n        </li>\n        <li class=\"groupby downloads\"><a onclick=\"groupby('downloads')\">\n            Downloads</a>\n        </li>\n      </ul>\n      </li>\n\n\n      <li class=\"dropdown\" id=\"menu_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\" alt=\"controls\">\n          <i class=\"fa fa-reorder\" alt=\"controls\"></i>\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li>\n          <a onclick=\"toggleAll()\">\n            <i class=\"fa fa-chevron-down fa-fw\"></i> Expand/Collapse All\n          </a>\n        </li>\n        <li>\n          <a download=\"Jeon:Jinseong\" href=\"data:text/bibtex;base64,QGFydGljbGV7REJMUDpqb3VybmFscy9mbXNkL0plb25RU0YxNywKICBhdXRob3IgICAgICAgPSB7Smluc2VvbmcgSmVvbiBhbmQKICAgICAgICAgICAgICAgICAgWGlhb2thbmcgUWl1IGFuZAogICAgICAgICAgICAgICAgICBBcm1hbmRvIFNvbGFyey19TGV6YW1hIGFuZAogICAgICAgICAgICAgICAgICBKZWZmcmV5IFMuIEZvc3Rlcn0sCiAgdGl0bGUgICAgICAgID0ge0FuIGVtcGlyaWNhbCBzdHVkeSBvZiBhZGFwdGl2ZSBjb25jcmV0aXphdGlvbiBmb3IgcGFyYWxsZWwgcHJvZ3JhbQogICAgICAgICAgICAgICAgICBzeW50aGVzaXN9LAogIGpvdXJuYWwgICAgICA9IHtGb3JtYWwgTWV0aG9kcyBTeXN0LiBEZXMufSwKICB2b2x1bWUgICAgICAgPSB7NTB9LAogIG51bWJlciAgICAgICA9IHsxfSwKICBwYWdlcyAgICAgICAgPSB7NzUtLTk1fSwKICB5ZWFyICAgICAgICAgPSB7MjAxN30sCiAgdXJsICAgICAgICAgID0ge2h0dHBzOi8vZG9pLm9yZy8xMC4xMDA3L3MxMDcwMy0wMTctMDI2OS04fSwKICBkb2kgICAgICAgICAgPSB7MTAuMTAwNy9TMTA3MDMtMDE3LTAyNjktOH0sCiAgdGltZXN0YW1wICAgID0ge1RodSwgMTQgT2N0IDIwMjEgMDE6MDA6MDAgKzAyMDB9LAogIGJpYnVybCAgICAgICA9IHtodHRwczovL2RibHAub3JnL3JlYy9qb3VybmFscy9mbXNkL0plb25RU0YxNy5iaWJ9LAogIGJpYnNvdXJjZSAgICA9IHtkYmxwIGNvbXB1dGVyIHNjaWVuY2UgYmlibGlvZ3JhcGh5LCBodHRwczovL2RibHAub3JnfQp9CgoKCkBwaGR0aGVzaXN7REJMUDpwaGQvYmFzZXNlYXJjaC9KZW9uMTYsCiAgYXV0aG9yICAgICAgID0ge0ppbnNlb25nIEplb259LAogIHRpdGxlICAgICAgICA9IHtGcmFtZXdvcmsgc3ludGhlc2lzIGZvciBTeW1ib2xpYyBFeGVjdXRpb24gb2YgRXZlbnQtRHJpdmVuIEZyYW1ld29ya3N9LAogIHNjaG9vbCAgICAgICA9IHtVbml2ZXJzaXR5IG9mIE1hcnlsYW5kLCBDb2xsZWdlIFBhcmssIE1ELCB7VVNBfX0sCiAgeWVhciAgICAgICAgID0gezIwMTZ9LAogIHVybCAgICAgICAgICA9IHtodHRwczovL2hkbC5oYW5kbGUubmV0LzE5MDMvMTgyMDV9LAogIHRpbWVzdGFtcCAgICA9IHtXZWQsIDA0IE1heSAyMDIyIDAxOjAwOjAwICswMjAwfSwKICBiaWJ1cmwgICAgICAgPSB7aHR0cHM6Ly9kYmxwLm9yZy9yZWMvcGhkL2Jhc2VzZWFyY2gvSmVvbjE2LmJpYn0sCiAgYmlic291cmNlICAgID0ge2RibHAgY29tcHV0ZXIgc2NpZW5jZSBiaWJsaW9ncmFwaHksIGh0dHBzOi8vZGJscC5vcmd9Cn0KCgoKQGlucHJvY2VlZGluZ3N7REJMUDpjb25mL2ljc2UvSmVvblFGRlMxNiwKICBhdXRob3IgICAgICAgPSB7Smluc2VvbmcgSmVvbiBhbmQKICAgICAgICAgICAgICAgICAgWGlhb2thbmcgUWl1IGFuZAogICAgICAgICAgICAgICAgICBKb25hdGhhbiBGZXR0ZXJ7LX1EZWdnZXMgYW5kCiAgICAgICAgICAgICAgICAgIEplZmZyZXkgUy4gRm9zdGVyIGFuZAogICAgICAgICAgICAgICAgICBBcm1hbmRvIFNvbGFyey19TGV6YW1hfSwKICB0aXRsZSAgICAgICAgPSB7U3ludGhlc2l6aW5nIGZyYW1ld29yayBtb2RlbHMgZm9yIHN5bWJvbGljIGV4ZWN1dGlvbn0sCiAgYm9va3RpdGxlICAgID0ge1Byb2NlZWRpbmdzIG9mIHRoZSAzOHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBTb2Z0d2FyZSBFbmdpbmVlcmluZywKICAgICAgICAgICAgICAgICAge0lDU0V9IDIwMTYsIEF1c3RpbiwgVFgsIFVTQSwgTWF5IDE0LTIyLCAyMDE2fSwKICBwYWdlcyAgICAgICAgPSB7MTU2LS0xNjd9LAogIHllYXIgICAgICAgICA9IHsyMDE2fSwKICBjcm9zc3JlZiAgICAgPSB7REJMUDpjb25mL2ljc2UvMjAxNn0sCiAgdXJsICAgICAgICAgID0ge2h0dHBzOi8vZG9pLm9yZy8xMC4xMTQ1LzI4ODQ3ODEuMjg4NDg1Nn0sCiAgZG9pICAgICAgICAgID0gezEwLjExNDUvMjg4NDc4MS4yODg0ODU2fSwKICB0aW1lc3RhbXAgICAgPSB7VGh1LCAxNCBPY3QgMjAyMSAwMTowMDowMCArMDIwMH0sCiAgYmlidXJsICAgICAgID0ge2h0dHBzOi8vZGJscC5vcmcvcmVjL2NvbmYvaWNzZS9KZW9uUUZGUzE2LmJpYn0sCiAgYmlic291cmNlICAgID0ge2RibHAgY29tcHV0ZXIgc2NpZW5jZSBiaWJsaW9ncmFwaHksIGh0dHBzOi8vZGJscC5vcmd9Cn0KCgoKQGlucHJvY2VlZGluZ3N7REJMUDpjb25mL2Nhdi9KZW9uUVNGMTUsCiAgYXV0aG9yICAgICAgID0ge0ppbnNlb25nIEplb24gYW5kCiAgICAgICAgICAgICAgICAgIFhpYW9rYW5nIFFpdSBhbmQKICAgICAgICAgICAgICAgICAgQXJtYW5kbyBTb2xhcnstfUxlemFtYSBhbmQKICAgICAgICAgICAgICAgICAgSmVmZnJleSBTLiBGb3N0ZXJ9LAogIHRpdGxlICAgICAgICA9IHtBZGFwdGl2ZSBDb25jcmV0aXphdGlvbiBmb3IgUGFyYWxsZWwgUHJvZ3JhbSBTeW50aGVzaXN9LAogIGJvb2t0aXRsZSAgICA9IHtDb21wdXRlciBBaWRlZCBWZXJpZmljYXRpb24gLSAyN3RoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSwge0NBVn0KICAgICAgICAgICAgICAgICAgMjAxNSwgU2FuIEZyYW5jaXNjbywgQ0EsIFVTQSwgSnVseSAxOC0yNCwgMjAxNSwgUHJvY2VlZGluZ3MsIFBhcnQKICAgICAgICAgICAgICAgICAge0lJfX0sCiAgcGFnZXMgICAgICAgID0gezM3Ny0tMzk0fSwKICB5ZWFyICAgICAgICAgPSB7MjAxNX0sCiAgY3Jvc3NyZWYgICAgID0ge0RCTFA6Y29uZi9jYXYvMjAxNX0sCiAgdXJsICAgICAgICAgID0ge2h0dHBzOi8vZG9pLm9yZy8xMC4xMDA3Lzk3OC0zLTMxOS0yMTY2OC0zXF8yMn0sCiAgZG9pICAgICAgICAgID0gezEwLjEwMDcvOTc4LTMtMzE5LTIxNjY4LTNcXzIyfSwKICB0aW1lc3RhbXAgICAgPSB7U3VuLCAyNSBPY3QgMjAyMCAwMTowMDowMCArMDIwMH0sCiAgYmlidXJsICAgICAgID0ge2h0dHBzOi8vZGJscC5vcmcvcmVjL2NvbmYvY2F2L0plb25RU0YxNS5iaWJ9LAogIGJpYnNvdXJjZSAgICA9IHtkYmxwIGNvbXB1dGVyIHNjaWVuY2UgYmlibGlvZ3JhcGh5LCBodHRwczovL2RibHAub3JnfQp9CgoKCkBpbnByb2NlZWRpbmdze0RCTFA6Y29uZi9lc29yaWNzL01pY2luc2tpRkpGQzE1LAogIGF1dGhvciAgICAgICA9IHtLcmlzdG9waGVyIEsuIE1pY2luc2tpIGFuZAogICAgICAgICAgICAgICAgICBKb25hdGhhbiBGZXR0ZXJ7LX1EZWdnZXMgYW5kCiAgICAgICAgICAgICAgICAgIEppbnNlb25nIEplb24gYW5kCiAgICAgICAgICAgICAgICAgIEplZmZyZXkgUy4gRm9zdGVyIGFuZAogICAgICAgICAgICAgICAgICBNaWNoYWVsIFIuIENsYXJrc29ufSwKICB0aXRsZSAgICAgICAgPSB7Q2hlY2tpbmcgSW50ZXJhY3Rpb24tQmFzZWQgRGVjbGFzc2lmaWNhdGlvbiBQb2xpY2llcyBmb3IgQW5kcm9pZCBVc2luZwogICAgICAgICAgICAgICAgICBTeW1ib2xpYyBFeGVjdXRpb259LAogIGJvb2t0aXRsZSAgICA9IHtDb21wdXRlciBTZWN1cml0eSAtIHtFU09SSUNTfSAyMDE1IC0gMjB0aCBFdXJvcGVhbiBTeW1wb3NpdW0gb24gUmVzZWFyY2gKICAgICAgICAgICAgICAgICAgaW4gQ29tcHV0ZXIgU2VjdXJpdHksIFZpZW5uYSwgQXVzdHJpYSwgU2VwdGVtYmVyIDIxLTI1LCAyMDE1LCBQcm9jZWVkaW5ncywKICAgICAgICAgICAgICAgICAgUGFydCB7SUl9fSwKICBwYWdlcyAgICAgICAgPSB7NTIwLS01Mzh9LAogIHllYXIgICAgICAgICA9IHsyMDE1fSwKICBjcm9zc3JlZiAgICAgPSB7REJMUDpjb25mL2Vzb3JpY3MvMjAxNS0yfSwKICB1cmwgICAgICAgICAgPSB7aHR0cHM6Ly9kb2kub3JnLzEwLjEwMDcvOTc4LTMtMzE5LTI0MTc3LTdcXzI2fSwKICBkb2kgICAgICAgICAgPSB7MTAuMTAwNy85NzgtMy0zMTktMjQxNzctN1xfMjZ9LAogIHRpbWVzdGFtcCAgICA9IHtTYXQsIDE5IE9jdCAyMDE5IDIwOjAwOjI0ICswMjAwfSwKICBiaWJ1cmwgICAgICAgPSB7aHR0cHM6Ly9kYmxwLm9yZy9yZWMvY29uZi9lc29yaWNzL01pY2luc2tpRkpGQzE1LmJpYn0sCiAgYmlic291cmNlICAgID0ge2RibHAgY29tcHV0ZXIgc2NpZW5jZSBiaWJsaW9ncmFwaHksIGh0dHBzOi8vZGJscC5vcmd9Cn0KCgoKQGlucHJvY2VlZGluZ3N7REJMUDpjb25mL3NpZ3NvZnQvSmVvblFGUzE1LAogIGF1dGhvciAgICAgICA9IHtKaW5zZW9uZyBKZW9uIGFuZAogICAgICAgICAgICAgICAgICBYaWFva2FuZyBRaXUgYW5kCiAgICAgICAgICAgICAgICAgIEplZmZyZXkgUy4gRm9zdGVyIGFuZAogICAgICAgICAgICAgICAgICBBcm1hbmRvIFNvbGFyey19TGV6YW1hfSwKICB0aXRsZSAgICAgICAgPSB7SlNrZXRjaDogc2tldGNoaW5nIGZvciBKYXZhfSwKICBib29rdGl0bGUgICAgPSB7UHJvY2VlZGluZ3Mgb2YgdGhlIDIwMTUgMTB0aCBKb2ludCBNZWV0aW5nIG9uIEZvdW5kYXRpb25zIG9mIFNvZnR3YXJlCiAgICAgICAgICAgICAgICAgIEVuZ2luZWVyaW5nLCB7RVNFQy9GU0V9IDIwMTUsIEJlcmdhbW8sIEl0YWx5LCBBdWd1c3QgMzAgLSBTZXB0ZW1iZXIKICAgICAgICAgICAgICAgICAgNCwgMjAxNX0sCiAgcGFnZXMgICAgICAgID0gezkzNC0tOTM3fSwKICB5ZWFyICAgICAgICAgPSB7MjAxNX0sCiAgY3Jvc3NyZWYgICAgID0ge0RCTFA6Y29uZi9zaWdzb2Z0LzIwMTV9LAogIHVybCAgICAgICAgICA9IHtodHRwczovL2RvaS5vcmcvMTAuMTE0NS8yNzg2ODA1LjI4MDMxODl9LAogIGRvaSAgICAgICAgICA9IHsxMC4xMTQ1LzI3ODY4MDUuMjgwMzE4OX0sCiAgdGltZXN0YW1wICAgID0ge1RodSwgMTQgT2N0IDIwMjEgMDE6MDA6MDAgKzAyMDB9LAogIGJpYnVybCAgICAgICA9IHtodHRwczovL2RibHAub3JnL3JlYy9jb25mL3NpZ3NvZnQvSmVvblFGUzE1LmJpYn0sCiAgYmlic291cmNlICAgID0ge2RibHAgY29tcHV0ZXIgc2NpZW5jZSBiaWJsaW9ncmFwaHksIGh0dHBzOi8vZGJscC5vcmd9Cn0KCgoKQGFydGljbGV7REJMUDpqb3VybmFscy9jb3JyL01pY2luc2tpRkpGQzE1LAogIGF1dGhvciAgICAgICA9IHtLcmlzdG9waGVyIEsuIE1pY2luc2tpIGFuZAogICAgICAgICAgICAgICAgICBKb25hdGhhbiBGZXR0ZXJ7LX1EZWdnZXMgYW5kCiAgICAgICAgICAgICAgICAgIEppbnNlb25nIEplb24gYW5kCiAgICAgICAgICAgICAgICAgIEplZmZyZXkgUy4gRm9zdGVyIGFuZAogICAgICAgICAgICAgICAgICBNaWNoYWVsIFIuIENsYXJrc29ufSwKICB0aXRsZSAgICAgICAgPSB7Q2hlY2tpbmcgSW50ZXJhY3Rpb24tQmFzZWQgRGVjbGFzc2lmaWNhdGlvbiBQb2xpY2llcyBmb3IgQW5kcm9pZCBVc2luZwogICAgICAgICAgICAgICAgICBTeW1ib2xpYyBFeGVjdXRpb259LAogIGpvdXJuYWwgICAgICA9IHtDb1JSfSwKICB2b2x1bWUgICAgICAgPSB7YWJzLzE1MDQuMDM3MTF9LAogIHllYXIgICAgICAgICA9IHsyMDE1fSwKICB1cmwgICAgICAgICAgPSB7aHR0cDovL2FyeGl2Lm9yZy9hYnMvMTUwNC4wMzcxMX0sCiAgZXByaW50dHlwZSAgICA9IHthclhpdn0sCiAgZXByaW50ICAgICAgID0gezE1MDQuMDM3MTF9LAogIHRpbWVzdGFtcCAgICA9IHtNb24sIDEzIEF1ZyAyMDE4IDAxOjAwOjAwICswMjAwfSwKICBiaWJ1cmwgICAgICAgPSB7aHR0cHM6Ly9kYmxwLm9yZy9yZWMvam91cm5hbHMvY29yci9NaWNpbnNraUZKRkMxNS5iaWJ9LAogIGJpYnNvdXJjZSAgICA9IHtkYmxwIGNvbXB1dGVyIHNjaWVuY2UgYmlibGlvZ3JhcGh5LCBodHRwczovL2RibHAub3JnfQp9CgoKCkBhcnRpY2xle0RCTFA6am91cm5hbHMvY29yci9KZW9uUUZTMTUsCiAgYXV0aG9yICAgICAgID0ge0ppbnNlb25nIEplb24gYW5kCiAgICAgICAgICAgICAgICAgIFhpYW9rYW5nIFFpdSBhbmQKICAgICAgICAgICAgICAgICAgSmVmZnJleSBTLiBGb3N0ZXIgYW5kCiAgICAgICAgICAgICAgICAgIEFybWFuZG8gU29sYXJ7LX1MZXphbWF9LAogIHRpdGxlICAgICAgICA9IHt7SlNLRVRDSDp9IFNrZXRjaGluZyBmb3IgSmF2YX0sCiAgam91cm5hbCAgICAgID0ge0NvUlJ9LAogIHZvbHVtZSAgICAgICA9IHthYnMvMTUwNy4wMzU3N30sCiAgeWVhciAgICAgICAgID0gezIwMTV9LAogIHVybCAgICAgICAgICA9IHtodHRwOi8vYXJ4aXYub3JnL2Ficy8xNTA3LjAzNTc3fSwKICBlcHJpbnR0eXBlICAgID0ge2FyWGl2fSwKICBlcHJpbnQgICAgICAgPSB7MTUwNy4wMzU3N30sCiAgdGltZXN0YW1wICAgID0ge01vbiwgMTMgQXVnIDIwMTggMDE6MDA6MDAgKzAyMDB9LAogIGJpYnVybCAgICAgICA9IHtodHRwczovL2RibHAub3JnL3JlYy9qb3VybmFscy9jb3JyL0plb25RRlMxNS5iaWJ9LAogIGJpYnNvdXJjZSAgICA9IHtkYmxwIGNvbXB1dGVyIHNjaWVuY2UgYmlibGlvZ3JhcGh5LCBodHRwczovL2RibHAub3JnfQp9CgoKCkBpbnByb2NlZWRpbmdze0RCTFA6Y29uZi91c3MvQmhvcmFza2FySEpBQ0pOMFcxNCwKICBhdXRob3IgICAgICAgPSB7UmF2aSBCaG9yYXNrYXIgYW5kCiAgICAgICAgICAgICAgICAgIFNldW5neWVvcCBIYW4gYW5kCiAgICAgICAgICAgICAgICAgIEppbnNlb25nIEplb24gYW5kCiAgICAgICAgICAgICAgICAgIFRhbnppcnVsIEF6aW0gYW5kCiAgICAgICAgICAgICAgICAgIFNodW8gQ2hlbiBhbmQKICAgICAgICAgICAgICAgICAgSmFleWVvbiBKdW5nIGFuZAogICAgICAgICAgICAgICAgICBTdW1hbiBOYXRoIGFuZAogICAgICAgICAgICAgICAgICBSdWkgV2FuZyBhbmQKICAgICAgICAgICAgICAgICAgRGF2aWQgV2V0aGVyYWxsfSwKICB0aXRsZSAgICAgICAgPSB7QnJhaG1hc3RyYTogRHJpdmluZyBBcHBzIHRvIFRlc3QgdGhlIFNlY3VyaXR5IG9mIFRoaXJkLVBhcnR5IENvbXBvbmVudHN9LAogIGJvb2t0aXRsZSAgICA9IHtQcm9jZWVkaW5ncyBvZiB0aGUgMjNyZCB7VVNFTklYfSBTZWN1cml0eSBTeW1wb3NpdW0sIFNhbiBEaWVnbywgQ0EsCiAgICAgICAgICAgICAgICAgIFVTQSwgQXVndXN0IDIwLTIyLCAyMDE0fSwKICBwYWdlcyAgICAgICAgPSB7MTAyMS0tMTAzNn0sCiAgeWVhciAgICAgICAgID0gezIwMTR9LAogIGNyb3NzcmVmICAgICA9IHtEQkxQOmNvbmYvdXNzLzIwMTR9LAogIHVybCAgICAgICAgICA9IHtodHRwczovL3d3dy51c2VuaXgub3JnL2NvbmZlcmVuY2UvdXNlbml4c2VjdXJpdHkxNC90ZWNobmljYWwtc2Vzc2lvbnMvcHJlc2VudGF0aW9uL2Job3Jhc2thcn0sCiAgdGltZXN0YW1wICAgID0ge01vbiwgMDEgRmViIDIwMjEgMDg6NDM6MDQgKzAxMDB9LAogIGJpYnVybCAgICAgICA9IHtodHRwczovL2RibHAub3JnL3JlYy9jb25mL3Vzcy9CaG9yYXNrYXJISkFDSk4wVzE0LmJpYn0sCiAgYmlic291cmNlICAgID0ge2RibHAgY29tcHV0ZXIgc2NpZW5jZSBiaWJsaW9ncmFwaHksIGh0dHBzOi8vZGJscC5vcmd9Cn0KCgoKQGlucHJvY2VlZGluZ3N7REJMUDpjb25mL2Njcy9KZW9uTVZGUkZNMTIsCiAgYXV0aG9yICAgICAgID0ge0ppbnNlb25nIEplb24gYW5kCiAgICAgICAgICAgICAgICAgIEtyaXN0b3BoZXIgSy4gTWljaW5za2kgYW5kCiAgICAgICAgICAgICAgICAgIEplZmZyZXkgQS4gVmF1Z2hhbiBhbmQKICAgICAgICAgICAgICAgICAgQXJpIEZvZ2VsIGFuZAogICAgICAgICAgICAgICAgICBOaWtoaWxlc2ggUmVkZHkgYW5kCiAgICAgICAgICAgICAgICAgIEplZmZyZXkgUy4gRm9zdGVyIGFuZAogICAgICAgICAgICAgICAgICBUb2RkIEQuIE1pbGxzdGVpbn0sCiAgdGl0bGUgICAgICAgID0ge0RyLiBBbmRyb2lkIGFuZCBNci4gSGlkZTogZmluZS1ncmFpbmVkIHBlcm1pc3Npb25zIGluIGFuZHJvaWQgYXBwbGljYXRpb25zfSwKICBib29rdGl0bGUgICAgPSB7U1BTTScxMiwgUHJvY2VlZGluZ3Mgb2YgdGhlIFdvcmtzaG9wIG9uIFNlY3VyaXR5IGFuZCBQcml2YWN5IGluIFNtYXJ0cGhvbmVzCiAgICAgICAgICAgICAgICAgIGFuZCBNb2JpbGUgRGV2aWNlcywgQ28tbG9jYXRlZCB3aXRoIHtDQ1N9IDIwMTIsIE9jdG9iZXIgMTksIDIwMTIsCiAgICAgICAgICAgICAgICAgIFJhbGVpZ2gsIE5DLCB7VVNBfX0sCiAgcGFnZXMgICAgICAgID0gezMtLTE0fSwKICB5ZWFyICAgICAgICAgPSB7MjAxMn0sCiAgY3Jvc3NyZWYgICAgID0ge0RCTFA6Y29uZi9jY3MvMjAxMnNwc219LAogIHVybCAgICAgICAgICA9IHtodHRwczovL2RvaS5vcmcvMTAuMTE0NS8yMzgxOTM0LjIzODE5Mzh9LAogIGRvaSAgICAgICAgICA9IHsxMC4xMTQ1LzIzODE5MzQuMjM4MTkzOH0sCiAgdGltZXN0YW1wICAgID0ge1R1ZSwgMTIgQXByIDIwMjIgMTM6Mjg6NDkgKzAyMDB9LAogIGJpYnVybCAgICAgICA9IHtodHRwczovL2RibHAub3JnL3JlYy9jb25mL2Njcy9KZW9uTVZGUkZNMTIuYmlifSwKICBiaWJzb3VyY2UgICAgPSB7ZGJscCBjb21wdXRlciBzY2llbmNlIGJpYmxpb2dyYXBoeSwgaHR0cHM6Ly9kYmxwLm9yZ30KfQoKCgpAYXJ0aWNsZXtEQkxQOmpvdXJuYWxzL3RhY28vSmVvblNIMDksCiAgYXV0aG9yICAgICAgID0ge0ppbnNlb25nIEplb24gYW5kCiAgICAgICAgICAgICAgICAgIEtlb25jaGVvbCBTaGluIGFuZAogICAgICAgICAgICAgICAgICBId2Fuc29vIEhhbn0sCiAgdGl0bGUgICAgICAgID0ge0Fic3RyYWN0aW5nIGFjY2VzcyBwYXR0ZXJucyBvZiBkeW5hbWljIG1lbW9yeSB1c2luZyByZWd1bGFyIGV4cHJlc3Npb25zfSwKICBqb3VybmFsICAgICAgPSB7e0FDTX0gVHJhbnMuIEFyY2hpdC4gQ29kZSBPcHRpbS59LAogIHZvbHVtZSAgICAgICA9IHs1fSwKICBudW1iZXIgICAgICAgPSB7NH0sCiAgcGFnZXMgICAgICAgID0gezE4OjEtLTE4OjI4fSwKICB5ZWFyICAgICAgICAgPSB7MjAwOX0sCiAgdXJsICAgICAgICAgID0ge2h0dHBzOi8vZG9pLm9yZy8xMC4xMTQ1LzE0OTg2OTAuMTQ5ODY5M30sCiAgZG9pICAgICAgICAgID0gezEwLjExNDUvMTQ5ODY5MC4xNDk4NjkzfSwKICB0aW1lc3RhbXAgICAgPSB7V2VkLCAxNyBGZWIgMjAyMSAwMDowMDowMCArMDEwMH0sCiAgYmlidXJsICAgICAgID0ge2h0dHBzOi8vZGJscC5vcmcvcmVjL2pvdXJuYWxzL3RhY28vSmVvblNIMDkuYmlifSwKICBiaWJzb3VyY2UgICAgPSB7ZGJscCBjb21wdXRlciBzY2llbmNlIGJpYmxpb2dyYXBoeSwgaHR0cHM6Ly9kYmxwLm9yZ30KfQoKCgpAaW5wcm9jZWVkaW5nc3tEQkxQOmNvbmYvY2MvSmVvblNIMDcsCiAgYXV0aG9yICAgICAgID0ge0ppbnNlb25nIEplb24gYW5kCiAgICAgICAgICAgICAgICAgIEtlb25jaGVvbCBTaGluIGFuZAogICAgICAgICAgICAgICAgICBId2Fuc29vIEhhbn0sCiAgdGl0bGUgICAgICAgID0ge0xheW91dCBUcmFuc2Zvcm1hdGlvbnMgZm9yIEhlYXAgT2JqZWN0cyBVc2luZyBTdGF0aWMgQWNjZXNzIFBhdHRlcm5zfSwKICBib29rdGl0bGUgICAgPSB7Q29tcGlsZXIgQ29uc3RydWN0aW9uLCAxNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSwge0NDfSAyMDA3LCBIZWxkCiAgICAgICAgICAgICAgICAgIGFzIFBhcnQgb2YgdGhlIEpvaW50IEV1cm9wZWFuIENvbmZlcmVuY2VzIG9uIFRoZW9yeSBhbmQgUHJhY3RpY2Ugb2YKICAgICAgICAgICAgICAgICAgU29mdHdhcmUsIHtFVEFQU30gMjAwNywgQnJhZ2EsIFBvcnR1Z2FsLCBNYXJjaCAyNi0zMCwgMjAwNywgUHJvY2VlZGluZ3N9LAogIHBhZ2VzICAgICAgICA9IHsxODctLTIwMX0sCiAgeWVhciAgICAgICAgID0gezIwMDd9LAogIGNyb3NzcmVmICAgICA9IHtEQkxQOmNvbmYvY2MvMjAwN30sCiAgdXJsICAgICAgICAgID0ge2h0dHBzOi8vZG9pLm9yZy8xMC4xMDA3Lzk3OC0zLTU0MC03MTIyOS05XF8xM30sCiAgZG9pICAgICAgICAgID0gezEwLjEwMDcvOTc4LTMtNTQwLTcxMjI5LTlcXzEzfSwKICB0aW1lc3RhbXAgICAgPSB7VHVlLCAxNCBNYXkgMjAxOSAxMDowMDo0OCArMDIwMH0sCiAgYmlidXJsICAgICAgID0ge2h0dHBzOi8vZGJscC5vcmcvcmVjL2NvbmYvY2MvSmVvblNIMDcuYmlifSwKICBiaWJzb3VyY2UgICAgPSB7ZGJscCBjb21wdXRlciBzY2llbmNlIGJpYmxpb2dyYXBoeSwgaHR0cHM6Ly9kYmxwLm9yZ30KfQoK\">\n            <i class=\"fa fa-download fa-fw\"></i> Download BibTeX\n          </a>\n        </li>\n        <li>\n          <a href=\"//bibbase.org/rss?bib=http://dblp.org/pers/tb2/j/Jeon:Jinseong\">\n            <i class=\"fa fa-rss fa-fw\"></i> RSS Feed\n          </a>\n          </li>\n      </ul>\n      </li>\n\n      \n\n\n      \n    </ul>\n\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_embed\"\n         style=\"display: none;\">\n\n      Excellent! Next you can\n      <a href=\"/network/register?next=/network/newSiteFromTemplate%3Fbiburl=http://dblp.org/pers/tb2/j/Jeon:Jinseong\"\n      >create a new website with this list</a>, or\n      embed it in an existing web page by copying &amp; pasting\n      any of the following snippets.\n\n      <div style=\"text-align: left; margin-top: 1em;\">\n        <strong>JavaScript</strong>\n        <span class=\"comment recommended\">(easiest)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;script src=\"https://bibbase.org/dblp/jinseong_jeon?jsonp=1&amp;jsonp=1\"&gt;&lt;/script&gt;\n          </code>\n        </div>\n\n        <strong>PHP</strong>\n        <div class=\"well well-small\">\n          <code>\n            &lt;?php\n            $contents = file_get_contents(\"https://bibbase.org/dblp/jinseong_jeon?jsonp=1\");\n            print_r($contents);\n            ?&gt;\n          </code>\n        </div>\n\n        <strong>iFrame</strong>\n        <span class=\"comment\">(not recommended)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;iframe src=\"https://bibbase.org/dblp/jinseong_jeon?jsonp=1\"&gt;&lt;/iframe&gt;\n          </code>\n        </div>\n\n        <p>\n          For more details see the <a href=\"//bibbase.org/help\">documention</a>.\n        </p>\n      </div>\n    </div>\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_preview\"\n         style=\"display: none;\">\n\n      This is a preview! To use this list on your own web site\n      or create a new web site from it,\n      <a href=\"/network/register?next=/network/newAccountWithFile%3FfileId=\"\n      >create a free account</a>. The file will be added\n      and you will be able to edit it in the File Manager.\n      We will show you instructions once you've created your account.\n    </div>\n\n    <div class=\"alert alert-warning bibbase_msg\" id=\"bibbase_msg_mendeley1\"\n         style=\"display: none;\">\n\n      <p>To the site owner:</p>\n\n      <p><strong>Action required!</strong> Mendeley is changing its\n        API. In order to keep using Mendeley with BibBase past April\n        14th, you need to:\n        <ol>\n          <li>renew the authorization for BibBase on Mendeley, and</li>\n          <li>update the BibBase URL\n            in your page the same way you did when you initially set up\n            this page.\n          </li>\n        </ol>\n      </p>\n\n      <p>\n        <a href=\"http://bibbase.org/cgi-bin/mendeley2/get.py\">\n          <i class=\"fa fa-angle-double-right\"></i>\n          Fix it now</a>\n      </p>\n    </div>\n\n  </div>\n\n\n  <div id=\"bibbase_body\">\n    \n  \n  <div class=\"bibbase_group_whole\" id=\"group_2017\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2017')\"\n      onkeypress=\"toggleGroup('group_2017')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2017</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"jeon-qiu-solarlezama-foster-anempiricalstudyofadaptiveconcretizationforparallelprogramsynthesis-2017\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1007/s10703-017-0269-8\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'jeon-qiu-solarlezama-foster-anempiricalstudyofadaptiveconcretizationforparallelprogramsynthesis-2017', 'https://doi.org/10.1007/s10703-017-0269-8', event);\">\n    An empirical study of adaptive concretization for parallel program synthesis.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"http://www.cs.umd.edu/~jsjeon/dblp.html\">Jeon, J.</a>; Qiu, X.; <a class=\"bibbase author link\" href=\"https://groups.csail.mit.edu/cap/\">Solar-Lezama, A.</a>;  and Foster, J. S.\n</span>\n\n  \n\n</span>\n\n  <i>Formal Methods Syst. Des.</i>, 50(1): 75–95.  2017.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1007/s10703-017-0269-8\"\n     onclick=\"log_download('jeon-qiu-solarlezama-foster-anempiricalstudyofadaptiveconcretizationforparallelprogramsynthesis-2017', 'https://doi.org/10.1007/s10703-017-0269-8', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"An empirical study of adaptive concretization for parallel program synthesis [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1007/S10703-017-0269-8\"\n     onclick=\"log_download('jeon-qiu-solarlezama-foster-anempiricalstudyofadaptiveconcretizationforparallelprogramsynthesis-2017', 'http://doi.org/10.1007/S10703-017-0269-8', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/jeon-qiu-solarlezama-foster-anempiricalstudyofadaptiveconcretizationforparallelprogramsynthesis-2017\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('jeon-qiu-solarlezama-foster-anempiricalstudyofadaptiveconcretizationforparallelprogramsynthesis-2017')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{DBLP:journals/fmsd/JeonQSF17,\n  author       = {Jinseong Jeon and\n                  Xiaokang Qiu and\n                  Armando Solar{-}Lezama and\n                  Jeffrey S. Foster},\n  title        = {An empirical study of adaptive concretization for parallel program\n                  synthesis},\n  journal      = {Formal Methods Syst. Des.},\n  volume       = {50},\n  number       = {1},\n  pages        = {75--95},\n  year         = {2017},\n  url          = {https://doi.org/10.1007/s10703-017-0269-8},\n  doi          = {10.1007/S10703-017-0269-8},\n  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/fmsd/JeonQSF17.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2016\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2016')\"\n      onkeypress=\"toggleGroup('group_2016')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2016</span>\n      <span class=\"bibbase_group_count\">\n        \n        (2)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"jeon-frameworksynthesisforsymbolicexecutionofeventdrivenframeworks-2016\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://hdl.handle.net/1903/18205\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'jeon-frameworksynthesisforsymbolicexecutionofeventdrivenframeworks-2016', 'https://hdl.handle.net/1903/18205', event);\">\n    Framework synthesis for Symbolic Execution of Event-Driven Frameworks.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"http://www.cs.umd.edu/~jsjeon/dblp.html\">Jeon, J.</a>\n</span>\n\n  \n\n</span>\n\n  Ph.D. Thesis, University of Maryland, College Park, MD, USA,  2016.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://hdl.handle.net/1903/18205\"\n     onclick=\"log_download('jeon-frameworksynthesisforsymbolicexecutionofeventdrivenframeworks-2016', 'https://hdl.handle.net/1903/18205', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Framework synthesis for Symbolic Execution of Event-Driven Frameworks [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/jeon-frameworksynthesisforsymbolicexecutionofeventdrivenframeworks-2016\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('jeon-frameworksynthesisforsymbolicexecutionofeventdrivenframeworks-2016')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@phdthesis{DBLP:phd/basesearch/Jeon16,\n  author       = {Jinseong Jeon},\n  title        = {Framework synthesis for Symbolic Execution of Event-Driven Frameworks},\n  school       = {University of Maryland, College Park, MD, {USA}},\n  year         = {2016},\n  url          = {https://hdl.handle.net/1903/18205},\n  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/phd/basesearch/Jeon16.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"jeon-qiu-fetterdegges-foster-solarlezama-synthesizingframeworkmodelsforsymbolicexecution-2016\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1145/2884781.2884856\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'jeon-qiu-fetterdegges-foster-solarlezama-synthesizingframeworkmodelsforsymbolicexecution-2016', 'https://doi.org/10.1145/2884781.2884856', event);\">\n    Synthesizing framework models for symbolic execution.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"http://www.cs.umd.edu/~jsjeon/dblp.html\">Jeon, J.</a>; Qiu, X.; Fetter-Degges, J.; Foster, J. S.;  and <a class=\"bibbase author link\" href=\"https://groups.csail.mit.edu/cap/\">Solar-Lezama, A.</a>\n</span>\n\n  \n\n</span>\n\n  In <i>Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016</i>, pages 156–167,  2016. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1145/2884781.2884856\"\n     onclick=\"log_download('jeon-qiu-fetterdegges-foster-solarlezama-synthesizingframeworkmodelsforsymbolicexecution-2016', 'https://doi.org/10.1145/2884781.2884856', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Synthesizing framework models for symbolic execution [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1145/2884781.2884856\"\n     onclick=\"log_download('jeon-qiu-fetterdegges-foster-solarlezama-synthesizingframeworkmodelsforsymbolicexecution-2016', 'http://doi.org/10.1145/2884781.2884856', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/jeon-qiu-fetterdegges-foster-solarlezama-synthesizingframeworkmodelsforsymbolicexecution-2016\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('jeon-qiu-fetterdegges-foster-solarlezama-synthesizingframeworkmodelsforsymbolicexecution-2016')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/icse/JeonQFFS16,\n  author       = {Jinseong Jeon and\n                  Xiaokang Qiu and\n                  Jonathan Fetter{-}Degges and\n                  Jeffrey S. Foster and\n                  Armando Solar{-}Lezama},\n  title        = {Synthesizing framework models for symbolic execution},\n  booktitle    = {Proceedings of the 38th International Conference on Software Engineering,\n                  {ICSE} 2016, Austin, TX, USA, May 14-22, 2016},\n  pages        = {156--167},\n  year         = {2016},\n  crossref     = {DBLP:conf/icse/2016},\n  url          = {https://doi.org/10.1145/2884781.2884856},\n  doi          = {10.1145/2884781.2884856},\n  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/icse/JeonQFFS16.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2015\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2015')\"\n      onkeypress=\"toggleGroup('group_2015')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2015</span>\n      <span class=\"bibbase_group_count\">\n        \n        (5)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"jeon-qiu-solarlezama-foster-adaptiveconcretizationforparallelprogramsynthesis-2015\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1007/978-3-319-21668-3\\_22\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'jeon-qiu-solarlezama-foster-adaptiveconcretizationforparallelprogramsynthesis-2015', 'https://doi.org/10.1007/978-3-319-21668-3\\_22', event);\">\n    Adaptive Concretization for Parallel Program Synthesis.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"http://www.cs.umd.edu/~jsjeon/dblp.html\">Jeon, J.</a>; Qiu, X.; <a class=\"bibbase author link\" href=\"https://groups.csail.mit.edu/cap/\">Solar-Lezama, A.</a>;  and Foster, J. S.\n</span>\n\n  \n\n</span>\n\n  In <i>Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II</i>, pages 377–394,  2015. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1007/978-3-319-21668-3\\_22\"\n     onclick=\"log_download('jeon-qiu-solarlezama-foster-adaptiveconcretizationforparallelprogramsynthesis-2015', 'https://doi.org/10.1007/978-3-319-21668-3\\_22', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Adaptive Concretization for Parallel Program Synthesis [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1007/978-3-319-21668-3_22\"\n     onclick=\"log_download('jeon-qiu-solarlezama-foster-adaptiveconcretizationforparallelprogramsynthesis-2015', 'http://doi.org/10.1007/978-3-319-21668-3_22', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/jeon-qiu-solarlezama-foster-adaptiveconcretizationforparallelprogramsynthesis-2015\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('jeon-qiu-solarlezama-foster-adaptiveconcretizationforparallelprogramsynthesis-2015')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/cav/JeonQSF15,\n  author       = {Jinseong Jeon and\n                  Xiaokang Qiu and\n                  Armando Solar{-}Lezama and\n                  Jeffrey S. Foster},\n  title        = {Adaptive Concretization for Parallel Program Synthesis},\n  booktitle    = {Computer Aided Verification - 27th International Conference, {CAV}\n                  2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part\n                  {II}},\n  pages        = {377--394},\n  year         = {2015},\n  crossref     = {DBLP:conf/cav/2015},\n  url          = {https://doi.org/10.1007/978-3-319-21668-3\\_22},\n  doi          = {10.1007/978-3-319-21668-3\\_22},\n  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/cav/JeonQSF15.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"micinski-fetterdegges-jeon-foster-clarkson-checkinginteractionbaseddeclassificationpoliciesforandroidusingsymbolicexecution-2015\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1007/978-3-319-24177-7\\_26\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'micinski-fetterdegges-jeon-foster-clarkson-checkinginteractionbaseddeclassificationpoliciesforandroidusingsymbolicexecution-2015', 'https://doi.org/10.1007/978-3-319-24177-7\\_26', event);\">\n    Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Micinski, K. K.; Fetter-Degges, J.; <a class=\"bibbase author link\" href=\"http://www.cs.umd.edu/~jsjeon/dblp.html\">Jeon, J.</a>; Foster, J. S.;  and Clarkson, M. R.\n</span>\n\n  \n\n</span>\n\n  In <i>Computer Security - ESORICS 2015 - 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part II</i>, pages 520–538,  2015. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1007/978-3-319-24177-7\\_26\"\n     onclick=\"log_download('micinski-fetterdegges-jeon-foster-clarkson-checkinginteractionbaseddeclassificationpoliciesforandroidusingsymbolicexecution-2015', 'https://doi.org/10.1007/978-3-319-24177-7\\_26', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1007/978-3-319-24177-7_26\"\n     onclick=\"log_download('micinski-fetterdegges-jeon-foster-clarkson-checkinginteractionbaseddeclassificationpoliciesforandroidusingsymbolicexecution-2015', 'http://doi.org/10.1007/978-3-319-24177-7_26', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/micinski-fetterdegges-jeon-foster-clarkson-checkinginteractionbaseddeclassificationpoliciesforandroidusingsymbolicexecution-2015\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('micinski-fetterdegges-jeon-foster-clarkson-checkinginteractionbaseddeclassificationpoliciesforandroidusingsymbolicexecution-2015')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/esorics/MicinskiFJFC15,\n  author       = {Kristopher K. Micinski and\n                  Jonathan Fetter{-}Degges and\n                  Jinseong Jeon and\n                  Jeffrey S. Foster and\n                  Michael R. Clarkson},\n  title        = {Checking Interaction-Based Declassification Policies for Android Using\n                  Symbolic Execution},\n  booktitle    = {Computer Security - {ESORICS} 2015 - 20th European Symposium on Research\n                  in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings,\n                  Part {II}},\n  pages        = {520--538},\n  year         = {2015},\n  crossref     = {DBLP:conf/esorics/2015-2},\n  url          = {https://doi.org/10.1007/978-3-319-24177-7\\_26},\n  doi          = {10.1007/978-3-319-24177-7\\_26},\n  timestamp    = {Sat, 19 Oct 2019 20:00:24 +0200},\n  biburl       = {https://dblp.org/rec/conf/esorics/MicinskiFJFC15.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"jeon-qiu-foster-solarlezama-jsketchsketchingforjava-2015\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1145/2786805.2803189\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'jeon-qiu-foster-solarlezama-jsketchsketchingforjava-2015', 'https://doi.org/10.1145/2786805.2803189', event);\">\n    JSketch: sketching for Java.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"http://www.cs.umd.edu/~jsjeon/dblp.html\">Jeon, J.</a>; Qiu, X.; Foster, J. S.;  and <a class=\"bibbase author link\" href=\"https://groups.csail.mit.edu/cap/\">Solar-Lezama, A.</a>\n</span>\n\n  \n\n</span>\n\n  In <i>Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015</i>, pages 934–937,  2015. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1145/2786805.2803189\"\n     onclick=\"log_download('jeon-qiu-foster-solarlezama-jsketchsketchingforjava-2015', 'https://doi.org/10.1145/2786805.2803189', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"JSketch: sketching for Java [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1145/2786805.2803189\"\n     onclick=\"log_download('jeon-qiu-foster-solarlezama-jsketchsketchingforjava-2015', 'http://doi.org/10.1145/2786805.2803189', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/jeon-qiu-foster-solarlezama-jsketchsketchingforjava-2015\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('jeon-qiu-foster-solarlezama-jsketchsketchingforjava-2015')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/sigsoft/JeonQFS15,\n  author       = {Jinseong Jeon and\n                  Xiaokang Qiu and\n                  Jeffrey S. Foster and\n                  Armando Solar{-}Lezama},\n  title        = {JSketch: sketching for Java},\n  booktitle    = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software\n                  Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September\n                  4, 2015},\n  pages        = {934--937},\n  year         = {2015},\n  crossref     = {DBLP:conf/sigsoft/2015},\n  url          = {https://doi.org/10.1145/2786805.2803189},\n  doi          = {10.1145/2786805.2803189},\n  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/sigsoft/JeonQFS15.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"micinski-fetterdegges-jeon-foster-clarkson-checkinginteractionbaseddeclassificationpoliciesforandroidusingsymbolicexecution-2015\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"http://arxiv.org/abs/1504.03711\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'micinski-fetterdegges-jeon-foster-clarkson-checkinginteractionbaseddeclassificationpoliciesforandroidusingsymbolicexecution-2015', 'http://arxiv.org/abs/1504.03711', event);\">\n    Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Micinski, K. K.; Fetter-Degges, J.; <a class=\"bibbase author link\" href=\"http://www.cs.umd.edu/~jsjeon/dblp.html\">Jeon, J.</a>; Foster, J. S.;  and Clarkson, M. R.\n</span>\n\n  \n\n</span>\n\n  <i>CoRR</i>, abs/1504.03711.  2015.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"http://arxiv.org/abs/1504.03711\"\n     onclick=\"log_download('micinski-fetterdegges-jeon-foster-clarkson-checkinginteractionbaseddeclassificationpoliciesforandroidusingsymbolicexecution-2015', 'http://arxiv.org/abs/1504.03711', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/micinski-fetterdegges-jeon-foster-clarkson-checkinginteractionbaseddeclassificationpoliciesforandroidusingsymbolicexecution-2015\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('micinski-fetterdegges-jeon-foster-clarkson-checkinginteractionbaseddeclassificationpoliciesforandroidusingsymbolicexecution-2015')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{DBLP:journals/corr/MicinskiFJFC15,\n  author       = {Kristopher K. Micinski and\n                  Jonathan Fetter{-}Degges and\n                  Jinseong Jeon and\n                  Jeffrey S. Foster and\n                  Michael R. Clarkson},\n  title        = {Checking Interaction-Based Declassification Policies for Android Using\n                  Symbolic Execution},\n  journal      = {CoRR},\n  volume       = {abs/1504.03711},\n  year         = {2015},\n  url          = {http://arxiv.org/abs/1504.03711},\n  eprinttype    = {arXiv},\n  eprint       = {1504.03711},\n  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/MicinskiFJFC15.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"jeon-qiu-foster-solarlezama-jsketchsketchingforjava-2015\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"http://arxiv.org/abs/1507.03577\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'jeon-qiu-foster-solarlezama-jsketchsketchingforjava-2015', 'http://arxiv.org/abs/1507.03577', event);\">\n    JSKETCH: Sketching for Java.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"http://www.cs.umd.edu/~jsjeon/dblp.html\">Jeon, J.</a>; Qiu, X.; Foster, J. S.;  and <a class=\"bibbase author link\" href=\"https://groups.csail.mit.edu/cap/\">Solar-Lezama, A.</a>\n</span>\n\n  \n\n</span>\n\n  <i>CoRR</i>, abs/1507.03577.  2015.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"http://arxiv.org/abs/1507.03577\"\n     onclick=\"log_download('jeon-qiu-foster-solarlezama-jsketchsketchingforjava-2015', 'http://arxiv.org/abs/1507.03577', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"JSKETCH: Sketching for Java [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/jeon-qiu-foster-solarlezama-jsketchsketchingforjava-2015\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('jeon-qiu-foster-solarlezama-jsketchsketchingforjava-2015')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{DBLP:journals/corr/JeonQFS15,\n  author       = {Jinseong Jeon and\n                  Xiaokang Qiu and\n                  Jeffrey S. Foster and\n                  Armando Solar{-}Lezama},\n  title        = {{JSKETCH:} Sketching for Java},\n  journal      = {CoRR},\n  volume       = {abs/1507.03577},\n  year         = {2015},\n  url          = {http://arxiv.org/abs/1507.03577},\n  eprinttype    = {arXiv},\n  eprint       = {1507.03577},\n  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/JeonQFS15.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2014\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2014')\"\n      onkeypress=\"toggleGroup('group_2014')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2014</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"bhoraskar-han-jeon-azim-chen-jung-nath-wang-etal-brahmastradrivingappstotestthesecurityofthirdpartycomponents-2014\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://www.usenix.org/conference/usenixsecurity14/technical-sessions/presentation/bhoraskar\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'bhoraskar-han-jeon-azim-chen-jung-nath-wang-etal-brahmastradrivingappstotestthesecurityofthirdpartycomponents-2014', 'https://www.usenix.org/conference/usenixsecurity14/technical-sessions/presentation/bhoraskar', event);\">\n    Brahmastra: Driving Apps to Test the Security of Third-Party Components.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Bhoraskar, R.; Han, S.; <a class=\"bibbase author link\" href=\"http://www.cs.umd.edu/~jsjeon/dblp.html\">Jeon, J.</a>; Azim, T.; Chen, S.; Jung, J.; Nath, S.; Wang, R.;  and Wetherall, D.\n</span>\n\n  \n\n</span>\n\n  In <i>Proceedings of the 23rd USENIX Security Symposium, San Diego, CA, USA, August 20-22, 2014</i>, pages 1021–1036,  2014. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://www.usenix.org/conference/usenixsecurity14/technical-sessions/presentation/bhoraskar\"\n     onclick=\"log_download('bhoraskar-han-jeon-azim-chen-jung-nath-wang-etal-brahmastradrivingappstotestthesecurityofthirdpartycomponents-2014', 'https://www.usenix.org/conference/usenixsecurity14/technical-sessions/presentation/bhoraskar', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Brahmastra: Driving Apps to Test the Security of Third-Party Components [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/bhoraskar-han-jeon-azim-chen-jung-nath-wang-etal-brahmastradrivingappstotestthesecurityofthirdpartycomponents-2014\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('bhoraskar-han-jeon-azim-chen-jung-nath-wang-etal-brahmastradrivingappstotestthesecurityofthirdpartycomponents-2014')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/uss/BhoraskarHJACJN0W14,\n  author       = {Ravi Bhoraskar and\n                  Seungyeop Han and\n                  Jinseong Jeon and\n                  Tanzirul Azim and\n                  Shuo Chen and\n                  Jaeyeon Jung and\n                  Suman Nath and\n                  Rui Wang and\n                  David Wetherall},\n  title        = {Brahmastra: Driving Apps to Test the Security of Third-Party Components},\n  booktitle    = {Proceedings of the 23rd {USENIX} Security Symposium, San Diego, CA,\n                  USA, August 20-22, 2014},\n  pages        = {1021--1036},\n  year         = {2014},\n  crossref     = {DBLP:conf/uss/2014},\n  url          = {https://www.usenix.org/conference/usenixsecurity14/technical-sessions/presentation/bhoraskar},\n  timestamp    = {Mon, 01 Feb 2021 08:43:04 +0100},\n  biburl       = {https://dblp.org/rec/conf/uss/BhoraskarHJACJN0W14.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2012\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2012')\"\n      onkeypress=\"toggleGroup('group_2012')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2012</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"jeon-micinski-vaughan-fogel-reddy-foster-millstein-drandroidandmrhidefinegrainedpermissionsinandroidapplications-2012\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1145/2381934.2381938\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'jeon-micinski-vaughan-fogel-reddy-foster-millstein-drandroidandmrhidefinegrainedpermissionsinandroidapplications-2012', 'https://doi.org/10.1145/2381934.2381938', event);\">\n    Dr. Android and Mr. Hide: fine-grained permissions in android applications.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"http://www.cs.umd.edu/~jsjeon/dblp.html\">Jeon, J.</a>; Micinski, K. K.; Vaughan, J. A.; Fogel, A.; Reddy, N.; Foster, J. S.;  and Millstein, T. D.\n</span>\n\n  \n\n</span>\n\n  In <i>SPSM'12, Proceedings of the Workshop on Security and Privacy in Smartphones and Mobile Devices, Co-located with CCS 2012, October 19, 2012, Raleigh, NC, USA</i>, pages 3–14,  2012. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1145/2381934.2381938\"\n     onclick=\"log_download('jeon-micinski-vaughan-fogel-reddy-foster-millstein-drandroidandmrhidefinegrainedpermissionsinandroidapplications-2012', 'https://doi.org/10.1145/2381934.2381938', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Dr. Android and Mr. Hide: fine-grained permissions in android applications [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1145/2381934.2381938\"\n     onclick=\"log_download('jeon-micinski-vaughan-fogel-reddy-foster-millstein-drandroidandmrhidefinegrainedpermissionsinandroidapplications-2012', 'http://doi.org/10.1145/2381934.2381938', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/jeon-micinski-vaughan-fogel-reddy-foster-millstein-drandroidandmrhidefinegrainedpermissionsinandroidapplications-2012\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('jeon-micinski-vaughan-fogel-reddy-foster-millstein-drandroidandmrhidefinegrainedpermissionsinandroidapplications-2012')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/ccs/JeonMVFRFM12,\n  author       = {Jinseong Jeon and\n                  Kristopher K. Micinski and\n                  Jeffrey A. Vaughan and\n                  Ari Fogel and\n                  Nikhilesh Reddy and\n                  Jeffrey S. Foster and\n                  Todd D. Millstein},\n  title        = {Dr. Android and Mr. Hide: fine-grained permissions in android applications},\n  booktitle    = {SPSM&#x27;12, Proceedings of the Workshop on Security and Privacy in Smartphones\n                  and Mobile Devices, Co-located with {CCS} 2012, October 19, 2012,\n                  Raleigh, NC, {USA}},\n  pages        = {3--14},\n  year         = {2012},\n  crossref     = {DBLP:conf/ccs/2012spsm},\n  url          = {https://doi.org/10.1145/2381934.2381938},\n  doi          = {10.1145/2381934.2381938},\n  timestamp    = {Tue, 12 Apr 2022 13:28:49 +0200},\n  biburl       = {https://dblp.org/rec/conf/ccs/JeonMVFRFM12.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2009\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2009')\"\n      onkeypress=\"toggleGroup('group_2009')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2009</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"jeon-shin-han-abstractingaccesspatternsofdynamicmemoryusingregularexpressions-2009\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1145/1498690.1498693\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'jeon-shin-han-abstractingaccesspatternsofdynamicmemoryusingregularexpressions-2009', 'https://doi.org/10.1145/1498690.1498693', event);\">\n    Abstracting access patterns of dynamic memory using regular expressions.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"http://www.cs.umd.edu/~jsjeon/dblp.html\">Jeon, J.</a>; Shin, K.;  and Han, H.\n</span>\n\n  \n\n</span>\n\n  <i>ACM Trans. Archit. Code Optim.</i>, 5(4): 18:1–18:28.  2009.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1145/1498690.1498693\"\n     onclick=\"log_download('jeon-shin-han-abstractingaccesspatternsofdynamicmemoryusingregularexpressions-2009', 'https://doi.org/10.1145/1498690.1498693', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Abstracting access patterns of dynamic memory using regular expressions [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1145/1498690.1498693\"\n     onclick=\"log_download('jeon-shin-han-abstractingaccesspatternsofdynamicmemoryusingregularexpressions-2009', 'http://doi.org/10.1145/1498690.1498693', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/jeon-shin-han-abstractingaccesspatternsofdynamicmemoryusingregularexpressions-2009\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('jeon-shin-han-abstractingaccesspatternsofdynamicmemoryusingregularexpressions-2009')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{DBLP:journals/taco/JeonSH09,\n  author       = {Jinseong Jeon and\n                  Keoncheol Shin and\n                  Hwansoo Han},\n  title        = {Abstracting access patterns of dynamic memory using regular expressions},\n  journal      = {{ACM} Trans. Archit. Code Optim.},\n  volume       = {5},\n  number       = {4},\n  pages        = {18:1--18:28},\n  year         = {2009},\n  url          = {https://doi.org/10.1145/1498690.1498693},\n  doi          = {10.1145/1498690.1498693},\n  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/taco/JeonSH09.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2007\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2007')\"\n      onkeypress=\"toggleGroup('group_2007')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2007</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"jeon-shin-han-layouttransformationsforheapobjectsusingstaticaccesspatterns-2007\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1007/978-3-540-71229-9\\_13\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'jeon-shin-han-layouttransformationsforheapobjectsusingstaticaccesspatterns-2007', 'https://doi.org/10.1007/978-3-540-71229-9\\_13', event);\">\n    Layout Transformations for Heap Objects Using Static Access Patterns.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"http://www.cs.umd.edu/~jsjeon/dblp.html\">Jeon, J.</a>; Shin, K.;  and Han, H.\n</span>\n\n  \n\n</span>\n\n  In <i>Compiler Construction, 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings</i>, pages 187–201,  2007. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1007/978-3-540-71229-9\\_13\"\n     onclick=\"log_download('jeon-shin-han-layouttransformationsforheapobjectsusingstaticaccesspatterns-2007', 'https://doi.org/10.1007/978-3-540-71229-9\\_13', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Layout Transformations for Heap Objects Using Static Access Patterns [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1007/978-3-540-71229-9_13\"\n     onclick=\"log_download('jeon-shin-han-layouttransformationsforheapobjectsusingstaticaccesspatterns-2007', 'http://doi.org/10.1007/978-3-540-71229-9_13', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/jeon-shin-han-layouttransformationsforheapobjectsusingstaticaccesspatterns-2007\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('jeon-shin-han-layouttransformationsforheapobjectsusingstaticaccesspatterns-2007')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/cc/JeonSH07,\n  author       = {Jinseong Jeon and\n                  Keoncheol Shin and\n                  Hwansoo Han},\n  title        = {Layout Transformations for Heap Objects Using Static Access Patterns},\n  booktitle    = {Compiler Construction, 16th International Conference, {CC} 2007, Held\n                  as Part of the Joint European Conferences on Theory and Practice of\n                  Software, {ETAPS} 2007, Braga, Portugal, March 26-30, 2007, Proceedings},\n  pages        = {187--201},\n  year         = {2007},\n  crossref     = {DBLP:conf/cc/2007},\n  url          = {https://doi.org/10.1007/978-3-540-71229-9\\_13},\n  doi          = {10.1007/978-3-540-71229-9\\_13},\n  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},\n  biburl       = {https://dblp.org/rec/conf/cc/JeonSH07.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n\n\n\n  </div>\n\n\n  <!-- Modal -->\n\n  <!-- <iframe id=\"bibbase_network_frame\" -->\n  <!--         src=\"//bibbase.org/network/control\" -->\n  <!--         style=\"display: none;\"> -->\n  <!-- </iframe> -->\n\n</div>\n"}; document.write(bibbase_data.data);