Christos Dimoulas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
8
Active years
2009–2022
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | PLDI | Karp: a language for NP reductions. | Chenhao Zhang, Jason D. Hartline, Christos Dimoulas |
| 2021 | ESOP | Sound and Complete Concolic Testing for Higher-order Functions. | Shu-Hung You, Robert Bruce Findler, Christos Dimoulas |
| 2017 | PLDI | FunTAL: reasonably mixing a functional language with assembly. | Daniel Patterson, Jamie Perconti, Christos Dimoulas, Amal Ahmed |
| 2016 | ICFP | Oh Lord, please don't let contracts be misunderstood (functional pearl). | Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen |
| 2016 | OOPSLA | Extensible access control with authorization contracts. | Scott Moore, Christos Dimoulas, Robert Bruce Findler, Matthew Flatt, Stephen Chong |
| 2014 | OSDI | SHILL: A Secure Shell Scripting Language. | Scott Moore, Christos Dimoulas, Dan King, Stephen Chong |
| 2013 | OOPSLA | Option contracts. | Christos Dimoulas, Robert Bruce Findler, Matthias Felleisen |
| 2012 | ESOP | Complete Monitors for Behavioral Contracts. | Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen |
| 2012 | OOPSLA | Gradual typing for first-class classes. | Asumu Takikawa, T. Stephen Strickland, Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen |
| 2012 | POPL | 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 |
| 2011 | POPL | Correct blame for contracts: no more scapegoating. | Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen |
| 2009 | PPDP | Future contracts. | Christos Dimoulas, Riccardo Pucella, Matthias Felleisen |
| 2009 | VMCAI | The Higher-Order Aggregate Update Problem. | Christos Dimoulas, Mitchell Wand |