Jinseong Jeon

Publication Activity (10 Years)

Years Active: 2007-2017
Publications (10 Years): 7

Top Venues

CoRR

CAV (2)

USENIX Security Symposium

SPSM@CCS

University of Maryland, College Park, MD, USA (PHD)

Education History

University of Maryland, College Park, MD, USA

PHD

Publications

Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster
An empirical study of adaptive concretization for parallel program synthesis. Formal Methods Syst. Des. 50 (1) (2017)
Jinseong Jeon, Xiaokang Qiu, Jonathan Fetter-Degges, Jeffrey S. Foster, Armando Solar-Lezama
Synthesizing framework models for symbolic execution. ICSE (2016)
Kristopher K. Micinski, Jonathan Fetter-Degges, Jinseong Jeon, Jeffrey S. Foster, Michael R. Clarkson
Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution. CoRR (2015)
Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster
Adaptive Concretization for Parallel Program Synthesis. CAV (2) (2015)
Jinseong Jeon, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama
JSKETCH: Sketching for Java. CoRR (2015)
Kristopher K. Micinski, Jonathan Fetter-Degges, Jinseong Jeon, Jeffrey S. Foster, Michael R. Clarkson
Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution. ESORICS (2) (2015)
Jinseong Jeon, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama
JSketch: sketching for Java. ESEC/SIGSOFT FSE (2015)
Ravi Bhoraskar, Seungyeop Han, Jinseong Jeon, Tanzirul Azim, Shuo Chen, Jaeyeon Jung, Suman Nath, Rui Wang, David Wetherall
Brahmastra: Driving Apps to Test the Security of Third-Party Components. USENIX Security Symposium (2014)
Jinseong Jeon, Kristopher K. Micinski, Jeffrey A. Vaughan, Ari Fogel, Nikhilesh Reddy, Jeffrey S. Foster, Todd D. Millstein
Dr. Android and Mr. Hide: fine-grained permissions in android applications. SPSM@CCS (2012)
Jinseong Jeon, Keoncheol Shin, Hwansoo Han
Abstracting access patterns of dynamic memory using regular expressions. ACM Trans. Archit. Code Optim. 5 (4) (2009)
Jinseong Jeon, Keoncheol Shin, Hwansoo Han
Layout Transformations for Heap Objects Using Static Access Patterns. CC (2007)

Jinseong Jeon.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jinseong Jeon