Jinseong Jeon

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