Christos Dimoulas

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 23

Top Topics

Scripting Language

Top Venues

Proc. ACM Program. Lang.

Publications

Olek Gierczak, Lucy Menon, Christos Dimoulas, Amal Ahmed
Gradually Typed Languages Should Be Vigilant! Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Peter Zhong, Shu-Hung You, Simone Campanoni, Robert Bruce Findler, Matthew Flatt, Christos Dimoulas
A Calculus for Unreachable Code. CoRR (2024)
Cameron Moy, Christos Dimoulas, Matthias Felleisen
Effectful Software Contracts. Proc. ACM Program. Lang. 8 (POPL) (2024)
Lukas Lazarek, Ben Greenman, Matthias Felleisen, Christos Dimoulas
How to Evaluate Blame for Gradual Types, Part 2. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Ben Greenman, Christos Dimoulas, Matthias Felleisen
Typed-Untyped Interactions: A Comparative Analysis. ACM Trans. Program. Lang. Syst. 45 (1) (2023)
Ben Greenman, Matthias Felleisen, Christos Dimoulas
How Profilers Can Help Navigate Type Migration. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Ben Greenman, Lukas Lazarek, Christos Dimoulas, Matthias Felleisen
A Transient Semantics for Typed Racket. Art Sci. Eng. Program. 6 (2) (2022)
Chenhao Zhang, Jason D. Hartline, Christos Dimoulas
Karp: a language for NP reductions. PLDI (2022)
Ben Greenman, Lukas Lazarek, Christos Dimoulas, Matthias Felleisen
A Transient Semantics for Typed Racket. CoRR (2021)
Shu-Hung You, Robert Bruce Findler, Christos Dimoulas
Sound and Complete Concolic Testing for Higher-order Functions. ESOP (2021)
Roshan Shyamsunder, Lukas Lazarek, Christos Dimoulas, Aleksandar Kuzmanovic
Multilateral Micro-Monitoring for Internet Streaming. CoRR (2021)
Lukas Lazarek, Ben Greenman, Matthias Felleisen, Christos Dimoulas
How to evaluate blame for gradual types. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Ezra Zigmond, Stephen Chong, Christos Dimoulas, Scott Moore
Fine-Grained, Language-Based Access Control for Database-Backed Applications. Art Sci. Eng. Program. 4 (2) (2020)
Shu-Hung You, Robert Bruce Findler, Christos Dimoulas
Dynamic Symbolic Execution of Higher-Order Functions. CoRR (2020)
Lukas Lazarek, Alexis King, Samanvitha Sundar, Robert Bruce Findler, Christos Dimoulas
Does blame shifting work? Proc. ACM Program. Lang. 4 (POPL) (2020)
Ezra Zigmond, Stephen Chong, Christos Dimoulas, Scott Moore
Fine-Grained, Language-Based Access Control for Database-Backed Applications. CoRR (2019)
Ben Greenman, Matthias Felleisen, Christos Dimoulas
Complete monitors for gradual types. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Lucas Waye, Stephen Chong, Christos Dimoulas
Whip: higher-order contracts for modern services. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Daniel Patterson, Jamie Perconti, Christos Dimoulas, Amal Ahmed
FunTAL: reasonably mixing a functional language with assembly. PLDI (2017)
Daniel Patterson, Jamie Perconti, Christos Dimoulas, Amal Ahmed
FunTAL: Reasonably Mixing a Functional Language with Assembly. CoRR (2017)
Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen
Oh Lord, please don't let contracts be misunderstood (functional pearl). ICFP (2016)
Scott Moore, Christos Dimoulas, Robert Bruce Findler, Matthew Flatt, Stephen Chong
Extensible access control with authorization contracts. OOPSLA (2016)
Aslan Askarov, Scott Moore, Christos Dimoulas, Stephen Chong
Cryptographic Enforcement of Language-Based Information Erasure. CSF (2015)
Scott Moore, Christos Dimoulas, Dan King, Stephen Chong
SHILL: A Secure Shell Scripting Language. OSDI (2014)
Christos Dimoulas, Scott Moore, Aslan Askarov, Stephen Chong
Declarative Policies for Capability Control. CSF (2014)
T. Stephen Strickland, Christos Dimoulas, Asumu Takikawa, Matthias Felleisen
Contracts for First-Class Classes. ACM Trans. Program. Lang. Syst. 35 (3) (2013)
Christos Dimoulas, Robert Bruce Findler, Matthias Felleisen
Option contracts. OOPSLA (2013)
Asumu Takikawa, T. Stephen Strickland, Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen
Gradual typing for first-class classes. OOPSLA (2012)
Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen
Complete Monitors for Behavioral Contracts. ESOP (2012)
Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler
Run your research: on the effectiveness of lightweight mechanization. POPL (2012)
Christos Dimoulas, Matthias Felleisen
On contract satisfaction in a higher-order world. ACM Trans. Program. Lang. Syst. 33 (5) (2011)
Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen
Correct blame for contracts: no more scapegoating. POPL (2011)
Christos Dimoulas, Riccardo Pucella, Matthias Felleisen
Future contracts. PPDP (2009)
Christos Dimoulas, Mitchell Wand
The Higher-Order Aggregate Update Problem. VMCAI (2009)