Grants per year
Personal profile
Research Interests
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.
Education/Academic qualification
Computer Science, PhD, Northeastern University
Fingerprint
Dive into the research topics where Christos Dimoulas is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Grants
- 2 Active
-
SHF: Small: A Programming Language Ecosystem for Higher-Order Software Contracts
Dimoulas, C. (PD/PI)
6/1/24 → 5/31/27
Project: Research project
-
CAREER: The Rational Programmer, An Investigative Method for Programming Language Pragmatics
Dimoulas, C. (PD/PI) & Dimoulas, C. (PD/PI)
6/1/23 → 5/31/28
Project: Research project
-
Effectful Software Contracts
Moy, C., Dimoulas, C. & Felleisen, M., Jan 5 2024, In: Proceedings of the ACM on Programming Languages. 8, POPL, 88.Research output: Contribution to journal › Article › peer-review
Open Access -
Gradually Typed Languages Should Be Vigilant!
Gierczak, O., Menon, L., Dimoulas, C. & Ahmed, A., Apr 29 2024, In: Proceedings of the ACM on Programming Languages. 8, OOPSLA1, 125.Research output: Contribution to journal › Article › peer-review
Open Access -
How Profilers Can Help Navigate Type Migration
Greenman, B., Felleisen, M. & Dimoulas, C., Oct 16 2023, In: Proceedings of the ACM on Programming Languages. 7, OOPSLA2, 241.Research output: Contribution to journal › Article › peer-review
Open Access1 Scopus citations -
How to Evaluate Blame for Gradual Types, Part 2
Lazarek, L., Greenman, B., Felleisen, M. & Dimoulas, C., Aug 30 2023, In: Proceedings of the ACM on Programming Languages. 7, ICFP, p. 159-186 28 p., 194.Research output: Contribution to journal › Article › peer-review
Open Access4 Scopus citations -
Typed-Untyped Interactions: A Comparative Analysis
Greenman, B., Dimoulas, C. & Felleisen, M., Mar 6 2023, In: ACM Transactions on Programming Languages and Systems. 45, 1, 3.Research output: Contribution to journal › Article › peer-review
Open Access3 Scopus citations