Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, and Jeffrey S. Foster. Formal Methods in System Design (FMSD), Vol. 50(1), Mar 2017.
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.
Jinseong Jeon. Ph.D. Thesis, University of Maryland, College Park, Feb 2016.
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.
Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, and Jeffrey S. Foster. In International Conference on Computer Aided Verification (CAV '15), Jul 2015.
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.
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.
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.
Jinseong Jeon and Jeffrey S. Foster. CS-TR-5013, Department of Computer Science, University of Maryland, College Park, Aug 2012.
Jinseong Jeon, Kristopher K. Micinski, and Jeffrey S. Foster. CS-TR-5022, Department of Computer Science, University of Maryland, College Park, Jul 2012.
Jinseong Jeon, Sangwon Kim, and Dongkeun Lee. In International Conference on Advances in System Testing and Validation Lifecycle (VALID '09), Sep 2009.
Jinseong Jeon, Keoncheol Shin, and Hwansoo Han. ACM Transactions on Architecture and Code Optimization (TACO), Vol. 5(4), Article 18, Mar 2009.
Jinseong Jeon, Keoncheol Shin, and Hwansoo Han. In International Conference on Compiler Construction (CC '07), Mar 2007.
Jinseong Jeon. Master Thesis, KAIST, Feb 2007. (Outstanding master's thesis)
Jinseong Jeon, Gunwoo Kim, Hwansoo Han, and Taisook Han. In Korea Computer Congress (KCC), Jun 2006.
Youil Kim, Jinseong Jeon, and Hwansoo Han. KIISE SIGPL Transactions on Programming Languages, Vol. 19(2), Nov 2005.