Christos Dimoulas

School of Engineering and Applied Sciences
Harvard University
chrdimo@seas.harvard.edu
Office: Maxwell-Dworkin 309

a photo by Gönen Memişoğlu

 Research

I am interested in the design and semantics of programming languages. More specifically, my goal is to develop programming languages technology that facilitates the construction of secure and robust component-based software systems.

 Publications

S. Moore, C. Dimoulas, D. King, and S. Chong. Shill: A Secure Shell Scripting Language. Symposium on Operating Systems Design and Implementation (OSDI), October 2014. [ bib | .pdf ]

C. Dimoulas, S. Moore, A. Askarov, and S. Chong. Declarative Policies for Capability Control. Computer Security Foundations Symposium (CSF), July 2014. [ bib | .pdf ]

T. S. Strickland, C. Dimoulas, T. Takikawa, and M. Felleisen. Contracts for First-Class Classes. Transactions on Programming Languages and Systems (TOPLAS), November 2013. [ bib | .pdf ]

C. Dimoulas, R. B. Findler, and M. Felleisen. Option Contracts. Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), October 2013. [ bib | .pdf ]

A. Takikawa, T. S. Strickland, C. Dimoulas, S. Tobin-Hochstadt, and M. Felleisen. Gradual Typing for First-Class Classes. Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), October 2012. [ bib | .pdf ]

C. Dimoulas, S. Tobin-Hochstadt, and M. Felleisen. Complete Monitors for Behavioral Contracts. European Symposium on Programming (ESOP), March 2012. [ bib | .pdf ]

C. Klein, J. Clements, C. Dimoulas, C. Eastlund, M. Felleisen, M. Flatt, J. McCarthy, J. Rafkind, S. Tobin-Hochstadt, and R. B. Findler. Run Your Research. Symposium on Principles of Programming Languages (POPL), January 2012. [ bib | .pdf ]

C. Dimoulas and M. Felleisen. On contract satisfaction in a higher-order world. Transactions on Programming Languages and Systems (TOPLAS), December 2011. [ bib | .pdf ]

C. Dimoulas, R. B. Findler, C. Flanagan, and M. Felleisen. Correct blame for contracts: No more scapegoating. Symposium on Principles of Programming Languages (POPL), January 2011. [ bib | .pdf ]

C. Dimoulas, R. Pucella, and M. Felleisen. Future contracts. Conference on Principles and Practice of Declarative Programming (PPDP), September 2009. [ bib | .pdf ]

C. Dimoulas and M. Wand. The higher-order aggregate update problem. Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), January 2009. [ bib | .pdf ]

 Short Bio

I am a Postdoctoral Fellow in Computer Science at the School of Engineering and Applied Sciences of Harvard University working with Stephen Chong and his group. Before coming to Harvard, I completed a PhD in Computer Science at the College of Computer and Information Science of Northeastern University under the supervision of Matthias Felleisen.