Code generation, Optimization, Languages, Compilers

Publications

Jia Zeng, Chuck Mitchell, Stephen A. Edwards. A Domain-Specific Language for Generating Dataflow Analyzers.
Sixth Workshop on Language Descriptions, Tools and Applications(LDTA'06). Vienna, Austria, April 2006

Jia Zeng and Stephen A. Edwards. Separate Compilation of Synchronous Modules.
Proceedings of the 2nd International Conference on Embedded Software and Systems(ICESS'05). Xi'an China, December 2005

Jia Zeng, Cristian Soviani, Stephen A. Edwards. Generating Fast Code from Concurrent Program Dependence Graphs.
ACM SIGPLAN 2004 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'04). Washington, D.C., June 11-13, 2004.

Stephen A. Edwards and Jia Zeng. Code Generation in the Columbia Esterel Compiler.
EURASIP Journal on Embedded Systems vol. 2007, Article ID 52651, 31 pages, 2007.

Cristian Soviani, Jia Zeng, Stephen A. Edwards. Improved Controller Synthesis from Esterel.
Computer Science Technical Report CUCS-015-04, Columbia University. 2004.

Presentations

A Domain-Specific Language for Generating Dataflow Analyzers, LDTA'06, Vienna, Austria, April 2006

Separate Compilation of Synchronous Modules, ICESS'05, Xi'an, China, December 2005

Generating Fast Sequential Code from Concurrent Programs, LCTES'04, Washington, D.C., June 2004

PhD Milestones

Thesis Defense, August 30th, 2007

Thesis Proposal, May 2nd, 2006

Candidacy Exam, May 2nd, 2005