Program Synthesis

An Empricial Study of Adaptive Concretization for Parallel Program Synthesis

Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, and Jeffrey S. Foster. Formal Methods in System Design (FMSD), Vol. 50(1), Mar 2017.

Synthesizing Framework Models for Symbolic Execution

Jinseong Jeon, Xiaokang Qiu, Jonathan Fetter-Degges, Jeffrey S. Foster, and Armando Solar-Lezama. In 38th International Conference on Software Engineering (ICSE '16), May 2016.

Framework Synthesis for Symbolic Execution of Event-Driven Frameworks

Jinseong Jeon. Ph.D. Thesis, University of Maryland, College Park, Feb 2016.

JSketch: Sketching for Java

Jinseong Jeon, Xiaokang Qiu, Jeffrey S. Foster, and Armando Solar-Lezama. In 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE '15), Sep 2015.

Adaptive Concretization for Parallel Program Synthesis

Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, and Jeffrey S. Foster. In International Conference on Computer Aided Verification (CAV '15), Jul 2015.

Android Security

Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution

Kristopher K. Micinski, Jonathan Fetter-Degges, Jinseong Jeon, Jeffrey S. Foster, and Michael R. Clarkson. In European Symposium on Research in Computer Security (ESORICS '15), Sep 2015.

Brahmastra: Driving Apps to Test the Security of Third-Party Components

Ravi Bhoraskar, Seungyeop Han, Jinseong Jeon, Tanzirul Azim, Shuo Chen, Jaeyeon Jung, Suman Nath, Rui Wang, and David Wetherall. In USENIX Security Symposium (Security '14), Aug 2014.

Dr. Android and Mr. Hide: Fine-grained Permissions in Android Applications

Jinseong Jeon, Kristopher K. Micinski, Jeffrey A. Vaughan, Ari Fogel, Nikhilesh Reddy, Jeffery S. Foster, and Todd Millstein. In ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices (SPSM '12), Oct 2012.

Systematic Testing

Troyd: Integration Testing for Android

Jinseong Jeon and Jeffrey S. Foster. CS-TR-5013, Department of Computer Science, University of Maryland, College Park, Aug 2012.

SymDroid: Symbolic Execution for Dalvik Bytecode

Jinseong Jeon, Kristopher K. Micinski, and Jeffrey S. Foster. CS-TR-5022, Department of Computer Science, University of Maryland, College Park, Jul 2012.

SAT-based On-line Fault Isolation in Serial Systems

Jinseong Jeon, Sangwon Kim, and Dongkeun Lee. In International Conference on Advances in System Testing and Validation Lifecycle (VALID '09), Sep 2009.

Memory Layout Optimization

Abstracting Access Patterns of Dynamic Memory Using Regular Expressions

Jinseong Jeon, Keoncheol Shin, and Hwansoo Han. ACM Transactions on Architecture and Code Optimization (TACO), Vol. 5(4), Article 18, Mar 2009.

Layout Transformations for Heap Objects Using Static Access Patterns

Jinseong Jeon, Keoncheol Shin, and Hwansoo Han. In International Conference on Compiler Construction (CC '07), Mar 2007.

Static Transformation for Heap Layout Using Memory Access Patterns

Jinseong Jeon. Master Thesis, KAIST, Feb 2007. (Outstanding master's thesis)

Static Analysis for Buffer Overrun

Practical Buffer Overrun Vulnerabilities Detection using Static Analysis (Korean)

Jinseong Jeon, Gunwoo Kim, Hwansoo Han, and Taisook Han. In Korea Computer Congress (KCC), Jun 2006.

Development of Cost-Effective Buffer Overrun Analyzer for C Programs (Korean)

Youil Kim, Jinseong Jeon, and Hwansoo Han. KIISE SIGPL Transactions on Programming Languages, Vol. 19(2), Nov 2005.