Jinseong Jeon

According to our database, Jinseong Jeon authored at least 10 papers between 2007 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

An empirical study of adaptive concretization for parallel program synthesis.

Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster

Formal Methods Syst. Des., 2017

2016

Framework synthesis for Symbolic Execution of Event-Driven Frameworks.

Jinseong Jeon

PhD thesis, 2016

Synthesizing framework models for symbolic execution.

Jinseong Jeon, Xiaokang Qiu, Jonathan Fetter-Degges, Jeffrey S. Foster, Armando Solar-Lezama

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

JSketch: sketching for Java.

Jinseong Jeon, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution.

Kristopher K. Micinski, Jonathan Fetter-Degges, Jinseong Jeon, Jeffrey S. Foster, Michael R. Clarkson

Proceedings of the Computer Security - ESORICS 2015, 2015

Adaptive Concretization for Parallel Program Synthesis.

Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

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, David Wetherall

Proceedings of the 23rd USENIX Security Symposium, San Diego, CA, USA, August 20-22, 2014., 2014

2012

Dr. Android and Mr. Hide: fine-grained permissions in android applications.

Jinseong Jeon, Kristopher K. Micinski, Jeffrey A. Vaughan, Ari Fogel, Nikhilesh Reddy, Jeffrey S. Foster, Todd D. Millstein

Proceedings of the SPSM'12, 2012

2009

Abstracting access patterns of dynamic memory using regular expressions.

Jinseong Jeon, Keoncheol Shin, Hwansoo Han

ACM Trans. Archit. Code Optim., 2009

2007

Layout Transformations for Heap Objects Using Static Access Patterns.

Jinseong Jeon, Keoncheol Shin, Hwansoo Han

Proceedings of the Compiler Construction, 16th International Conference, 2007