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
NEWS: This semester I am teaching CS252r.

 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, R.B. Findler, M. Flatt, and S. Chong. Extensible Access Control with Authorization Contracts. Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), October 2016.

C. Dimoulas, M.S. New, R.B. Findler, and M. Felleisen. Oh Lord, Please Don't Let Contracts Be Misunderstood. International Conference on Functional Programming (ICFP), September 2016.

A. Askarov, S. Moore, C. Dimoulas, and S. Chong. Cryptographic Enforcement of Language-Based Information Erasure. Computer Security Foundations Symposium (CSF), July 2015.

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.

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

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

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

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.

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

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.

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

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.

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

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

 Short Bio

I am a Research Associate in 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.