Christos Dimoulas

College of Computer and Information Science
Northeastern University
360 Huntington Avenue
Boston, MA 02115, USA
(+1) 617-373-7893
chrdimo@ccs.neu.edu
Office: West Village H, Room 330
a photo by Gönen Memişoğlu

I am a PhD student at the College of Computer and Information Science at Northeastern University and a member of the PLT and PRL groups. My advisor is Matthias Felleisen. I am interested in programming languages design and semantics and their applications to the construction of reliable software.

 Research
Lately, I have been working with my advisor on software contracts. We investigate two distinct directions:
  • the theoretical foundations of monitoring systems for higher-order contracts;
  • the application of higher-order contracts to the construction of robust software systems.

 Publications

C. Dimoulas, S. Tobin-Hochstadt, and M. Felleisen. Complete Monitors for Behavioral Contracts. In Proceedings of the 21st 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. In Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), January 2012. [ bib | .pdf ]

C. Dimoulas and M. Felleisen. On contract satisfaction in a higher-order world. ACM 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. In Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), January 2011. [ bib | .pdf ]

C. Dimoulas, R. Pucella, and M. Felleisen. Future contracts. In Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP), September 2009. [ bib | .pdf ]

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

 Teaching
I have been a TA for the following courses:

 Software
Dromedary: An extension to the Chamo editor