Faculty Directory

Christos Dimoulas

Assistant Professor of Computer Science

Contact

Website

Christos Dimoulas' Homepage

Departments

Computer Science

Education

Ph.D. in Computer Science, Northeastern University, Boston, MA

Research Interests

Programming Languages

Selected Publications

B. Greenman, L. Lazarek, C. Dimoulas and M. Felleisen. A Transient Semantics for Racket. International Conference on the Art, Science, and Engineering of Programming (), 2021.

L. Lazarek, B. Greenman, M. Felleisen and C. Dimoulas. How to Evaluate Blame for Gradual Types? International Conference on Functional Programming (ICFP), 2021.

S.-H.. You, R.B. Findler and C. Dimoulas. Sound and Complete Concolic Testing for Higher-Order Functions. European Symposium on Programming (ESOP), 2021.

L. Lazarek, A. King, S. Sundar, R.B. Findler, and C. Dimoulas. Does Blame-Shifting Work? Symposium on Principles of Programming Languages (POPL), January 2020.

B. Greenman, M. Felleisen, and C. Dimoulas. Complete Monitors for Gradual Types. Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), October 2019.

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.

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, 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. 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.