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
- 1 Active
-
CAREER: The Rational Programmer, An Investigative Method for Programming Language Pragmatics
6/1/23 → 5/31/28
Project: Research project
-
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 Access1 Scopus citations -
A Transient Semantics for Typed Racket
Greenman, B., Lazarek, L., Dimoulas, C. & Felleisen, M., 2022, In: Art, Science, and Engineering of Programming. 6, 2, 9.Research output: Contribution to journal › Article › peer-review
Open Access5 Scopus citations -
Karp: a language for NP reductions
Zhang, C., Hartline, J. D. & Dimoulas, C., Jun 9 2022, PLDI 2022 - Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Jhala, R. & Dillig, I. (eds.). Association for Computing Machinery, p. 762-776 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
How to evaluate blame for gradual types
Lazarek, L., Greenman, B., Felleisen, M. & Dimoulas, C., Aug 2021, In: Proceedings of the ACM on Programming Languages. 5, ICFP, 3473573.Research output: Contribution to journal › Article › peer-review
Open Access5 Scopus citations -
Sound and Complete Concolic Testing for Higher-order Functions
You, S. H., Findler, R. B. & Dimoulas, C., 2021, Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Proceedings. Yoshida, N. (ed.). Springer Science and Business Media Deutschland GmbH, p. 635-663 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12648 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access1 Scopus citations