About Me
I am a Berkeley EECS PhD student, working in the Center for Hybrid and Embedded Software Systems with Professor Edward Lee.
Education
I graduated from Harvey Mudd College in the spring of 2007, where I received my B.S. in Math and Computer Science.
Research
I am interested in many different of models of computation and programming languages. I like to contrast how these models deal with concurrency, as well as how expressive and analyzable they are. I am most familiar with the domain of embedded systems, but I like to find interesting problems anywhere.
Language
I am also a Korean speaker, and curious about second language learning in general.
Contact
My office is Cory 545N
The phone number there is 510-642-6841
But you have a better chance of catching me with email:
Research Areas
- Ptolemy II is our group’s laboratory for experimentation with models of computation, and model based design.
- Ptolemy Hierarchical Orthogonal Multi-Attribute Solver is a solver built on top of Ptolemy II that allows model builders to construct their own static analysis on top of models. This allows modelers to make checks that models are consistent with respect to some domain-level property, as well as infer useful global-level model information.
- Relational Interface Theory is a mathematical formalism for representing abstractions of components. This allows properties to be proved over these abstractions.
- Precision Timed (PRET) Machines is a project aimed at developing new computer architectures that provide tighter timing guarantees. I have developed C-level timing constructs that can target these architectures, and provide a natural target language for code generators concerned with program timing.
Publications
- A Practical Ontology Framework for Static Model Analysis Ben Lickly, Charles Shelton, Elizabeth Latronico and Edward A. Lee In Proceedings of International Conference on Embedded Software (EMSOFT), October, 2011.
- A Theory of Synchronous Relational Interfaces Stavros Tripakis, Ben Lickly, Thomas A. Henzinger and Edward A. Lee In ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 33, Issue 4, July, 2011.
- Scalable Semantic Annotation using Lattice-based Ontologies Recipient of the MODELS 2009 Distinguished Paper Award. Jackie Man-Kit Leung, Thomas Mandl, Edward A. Lee, Elizabeth Latronico, Charles Shelton, Stavros Tripakis, Ben Lickly. In Proceedings of International Conference on Model Driven Engineering Languages and Systems (MODELS), October, 2009.
- On Relational Interfaces Stavros Tripakis, Ben Lickly, Tom Henzinger, Edward A. Lee. In Proceedings of International Conference on Embedded Software (EMSOFT), October, 2009.
- Predictable Programming on a Precision Timed Architecture Ben Lickly, Isaac Liu, Sungjun Kim, Hiren Patel, Stephen A. Edwards, Edward A. Lee. In Proceedings of International Conference on Compilers, Architecture, and Synthesis from Embedded Systems (CASES), October, 2008.
Class Projects
- Augmented Reality Gaming on the Android Platform
- New Width Inference Algorithm for Ptolemy II
- A Timing Requirements-Aware Scratchpad Memory Allocation Scheme for a Precision Timed Architecture
Resume
An occasionally up-to date copy of my resume is available here