Photo by Daniel Jackson

Eunsuk Kang Software Design Group Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology office: 32-G708 email: eskang at csail.mit.edu

I am a graduate student working with Prof. Daniel Jackson.

Research

I am interested in applying lightweight formal methods to design and construct dependable software systems.

Topics Design methods, modeling languages, requirements and design analysis, traceability, and reverse engineering.

I am a member of the MIT Programming Languages group.

Before coming to MIT, I studied software engineering at the University of Waterloo, where I spent several terms as a member of WatForm.

Publications

• A lightweight code analysis and its role in evaluation of a dependability case (PDF).
  Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang and Daniel Jackson.
  International Conference on Software Engineering (ICSE), Hawaii, 2011.
• Dependability arguments with trusted bases (PDF) (slides).
  Eunsuk Kang and Daniel Jackson.
  International Conference on Requirements Engineering (RE), Sydney, 2010.
• Separation of concerns for dependable software design (PDF) (slides).
  Daniel Jackson and Eunsuk Kang.
  FSE Workshop on the Future of Software Engineering Research (FoSER), Santa Fe, NM, 2010.
• Components, platforms, and possibilities: Towards generic automation for MDA (PDF).
  Ethan Jackson, Eunsuk Kang, Dirk Seifert, Markus Dahlweid, and Thomas Santen.
  International Conference on Embedded Software (EMSOFT), Scottsdale, AZ, 2010.
• Patterns for dependable systems with trusted bases (PDF).
  Eunsuk Kang and Daniel Jackson.
  Pattern Languages of Programs Conference (PLOP), Reno, NV, 2010.
• An approach for effective design space exploration (PDF).
  Eunsuk Kang, Ethan Jackson, and Wolfram Schulte.
  Monterey Workshop on Software Systems, Redmond, WA, 2010.
• Property-part diagrams: A dependence notation for software systems (PDF).
  Daniel Jackson and Eunsuk Kang.
  A book chapter in Software Design and Requirements: The Work of Michael Jackson, 2010.
• A framework for dependability analysis of software systems with trusted bases (PDF).
  Eunsuk Kang.
  Master's thesis, MIT, January 2010.
• Formal modeling and analysis of a flash filesystem (PDF) (slides).
  Eunsuk Kang and Daniel Jackson.
  International Conference on ASM, B, and Z (ABZ), London, UK, 2008.
  An extended version in the International Journal of Software and Informatics, Vol. 3, No. 2, 2009 (PDF).
• Improving the usability of HOL through controlled automation tactics (PDF) (slides).
  Eunsuk Kang and Mark Aagaard.
  International Conference on Theorem Proving in Higher Order Logics (TPHOLs), Germany, 2007.

Talks

• An advanced introduction to Alloy (slides).
  Tutorial at ABZ (with Joseph Near), Orford, QC, Canada, 2010.
• Counterexample detection, core extraction, and simulation: Three analyses applied to a flash file system model (abstract) (slides).
  VSR-net Workshop, co-located with ABZ, London, UK, 2008.

Teaching

IAP 2010 6.088 Introduction to C/C++ Programming (Instructor)
Fall 2009 6.00 Introduction to Computer Science and Programming (TA)
Fall 2008 6.005 Elements of Software Construction (TA)

Miscellaneous

I was a member of the CSAIL Student Committee. I also helped organize the CSAIL Student Workshop in 2008, and the CSAIL Olympics in 2012.

My academic genealogy