Christos Dimoulas

Electrical Engineering and Computer Science
McCormick School of Engineering
Northwestern University
Office: Mudd 3504
Email: chrdimo@northwestern.edu

photo by GM

 Research

L. Waye, C. Dimoulas, and S. Chong. Whip: Higher-Order Contracts for Modern Services. International Conference on Functional Programming (ICFP), September 2017.

D. Patterson, J. Perconti, C. Dimoulas, and A. Ahmed. FunTAL: Reasonably Mixing a Functional Language with Assembly. Conference on Programming Languages Design and Implementation (PLDI), June 2017.

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.

 Teaching

Fall 2018: EECS 397: Software Construction.
Spring 2018: EECS 397: Software Construction.
Winter 2018: EECS 396: Programming Languages Seminar.
Fall 2016: CS252r: Advanced Topics in Programming Languages.