Future contracts. - Christos Dimoulas; Riccardo Pucella; Matthias Felleisen (PPDP, 2009)

The Higher-Order Aggregate Update Problem. - Christos Dimoulas; Mitchell Wand (VMCAI, 2009)

Correct blame for contracts: no more scapegoating. - Christos Dimoulas; Robert Bruce Findler; Cormac Flanagan; Matthias Felleisen (POPL, 2011)

On contract satisfaction in a higher-order world. - Christos Dimoulas; Matthias Felleisen (ACM Trans. Program. Lang. Syst., 2011)

Complete Monitors for Behavioral Contracts. - Christos Dimoulas; Sam Tobin-Hochstadt; Matthias Felleisen (ESOP, 2012)

Gradual typing for first-class classes. - Asumu Takikawa; T. Stephen Strickland; Christos Dimoulas; Sam Tobin-Hochstadt; Matthias Felleisen (OOPSLA, 2012)

Run your research: on the effectiveness of lightweight mechanization. - Casey Klein; John Clements; Christos Dimoulas; Carl Eastlund; Matthias Felleisen; Matthew Flatt; Jay A. McCarthy; Jon Rafkind; Sam Tobin-Hochstadt; Robert Bruce Findler (POPL, 2012)

Option contracts. - Christos Dimoulas; Robert Bruce Findler; Matthias Felleisen (OOPSLA, 2013)

Contracts for First-Class Classes. - T. Stephen Strickland; Christos Dimoulas; Asumu Takikawa; Matthias Felleisen (ACM Trans. Program. Lang. Syst., 2013)

Declarative Policies for Capability Control. - Christos Dimoulas; Scott Moore 001; Aslan Askarov; Stephen Chong (CSF, 2014)

SHILL: A Secure Shell Scripting Language. - Scott Moore 001; Christos Dimoulas; Dan King; Stephen Chong (OSDI, 2014)

Cryptographic Enforcement of Language-Based Information Erasure. - Aslan Askarov; Scott Moore 001; Christos Dimoulas; Stephen Chong (CSF, 2015)

Oh Lord, please don't let contracts be misunderstood (functional pearl). - Christos Dimoulas; Max S. New; Robert Bruce Findler; Matthias Felleisen (ICFP, 2016)

Extensible access control with authorization contracts. - Scott Moore 001; Christos Dimoulas; Robert Bruce Findler; Matthew Flatt; Stephen Chong (OOPSLA, 2016)

FunTAL: reasonably mixing a functional language with assembly. - Daniel Patterson 001; Jamie Perconti; Christos Dimoulas; Amal Ahmed 001 (PLDI, 2017)

Whip: higher-order contracts for modern services. - Lucas Waye; Stephen Chong; Christos Dimoulas (Proc. ACM Program. Lang., 2017)

Complete monitors for gradual types. - Ben Greenman; Matthias Felleisen; Christos Dimoulas (Proc. ACM Program. Lang., 2019)

Dynamic Symbolic Execution of Higher-Order Functions. - Shu-Hung You; Robert Bruce Findler; Christos Dimoulas (CoRR, 2020)

Does blame shifting work? - Lukas Lazarek; Alexis King; Samanvitha Sundar; Robert Bruce Findler; Christos Dimoulas (Proc. ACM Program. Lang., 2020)

Fine-Grained, Language-Based Access Control for Database-Backed Applications. - Ezra Zigmond; Stephen Chong; Christos Dimoulas; Scott Moore 001 (Art Sci. Eng. Program., 2020)

Sound and Complete Concolic Testing for Higher-order Functions. - Shu-Hung You; Robert Bruce Findler; Christos Dimoulas (ESOP, 2021)

Multilateral Micro-Monitoring for Internet Streaming. - Roshan Shyamsunder; Lukas Lazarek; Christos Dimoulas; Aleksandar Kuzmanovic (CoRR, 2021)

How to evaluate blame for gradual types. - Lukas Lazarek; Ben Greenman; Matthias Felleisen; Christos Dimoulas (Proc. ACM Program. Lang., 2021)

Karp: a language for NP reductions. - Chenhao Zhang 003; Jason D. Hartline; Christos Dimoulas (PLDI, 2022)

A Transient Semantics for Typed Racket. - Ben Greenman; Lukas Lazarek; Christos Dimoulas; Matthias Felleisen (Art Sci. Eng. Program., 2022)

Typed-Untyped Interactions: A Comparative Analysis. - Ben Greenman; Christos Dimoulas; Matthias Felleisen (ACM Trans. Program. Lang. Syst., 2023)

How to Evaluate Blame for Gradual Types, Part 2. - Lukas Lazarek; Ben Greenman; Matthias Felleisen; Christos Dimoulas (Proc. ACM Program. Lang., 2023)

How Profilers Can Help Navigate Type Migration. - Ben Greenman; Matthias Felleisen; Christos Dimoulas (Proc. ACM Program. Lang., 2023)

A Calculus for Unreachable Code. - Peter Zhong; Shu-Hung You; Simone Campanoni; Robert Bruce Findler; Matthew Flatt; Christos Dimoulas (CoRR, 2024)

Gradually Typed Languages Should Be Vigilant! - Olek Gierczak; Lucy Menon; Christos Dimoulas; Amal Ahmed 001 (Proc. ACM Program. Lang., 2024)

Effectful Software Contracts. - Cameron Moy; Christos Dimoulas; Matthias Felleisen (Proc. ACM Program. Lang., 2024)

The Rational Programmer: Investigating Programming Language Pragmatics. - Christos Dimoulas; Matthias Felleisen (Commun. ACM, 2025)