Christos Dimoulas

According to our database, Christos Dimoulas authored at least 29 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Effectful Software Contracts.

Cameron Moy, Christos Dimoulas, Matthias Felleisen

Proc. ACM Program. Lang., January, 2024

2023

How Profilers Can Help Navigate Type Migration.

Ben Greenman, Matthias Felleisen, Christos Dimoulas

Proc. ACM Program. Lang., October, 2023

How to Evaluate Blame for Gradual Types, Part 2.

Lukas Lazarek, Ben Greenman, Matthias Felleisen, Christos Dimoulas

Proc. ACM Program. Lang., August, 2023

Typed-Untyped Interactions: A Comparative Analysis.

Ben Greenman, Christos Dimoulas, Matthias Felleisen

ACM Trans. Program. Lang. Syst., March, 2023

2022

A Transient Semantics for Typed Racket.

Ben Greenman, Lukas Lazarek, Christos Dimoulas, Matthias Felleisen

Art Sci. Eng. Program., 2022

Karp: a language for NP reductions.

Chenhao Zhang, Jason D. Hartline, Christos Dimoulas

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

How to evaluate blame for gradual types.

Lukas Lazarek, Ben Greenman, Matthias Felleisen, Christos Dimoulas

Proc. ACM Program. Lang., 2021

Multilateral Micro-Monitoring for Internet Streaming.

Roshan Shyamsunder, Lukas Lazarek, Christos Dimoulas, Aleksandar Kuzmanovic

CoRR, 2021

Sound and Complete Concolic Testing for Higher-order Functions.

Shu-Hung You, Robert Bruce Findler, Christos Dimoulas

Proceedings of the Programming Languages and Systems, 2021

2020

Fine-Grained, Language-Based Access Control for Database-Backed Applications.

Ezra Zigmond, Stephen Chong, Christos Dimoulas, Scott Moore

Art Sci. Eng. Program., 2020

Does blame shifting work?

Lukas Lazarek, Alexis King, Samanvitha Sundar, Robert Bruce Findler, Christos Dimoulas

Proc. ACM Program. Lang., 2020

Dynamic Symbolic Execution of Higher-Order Functions.

Shu-Hung You, Robert Bruce Findler, Christos Dimoulas

CoRR, 2020

2019

Complete monitors for gradual types.

Ben Greenman, Matthias Felleisen, Christos Dimoulas

Proc. ACM Program. Lang., 2019

2017

Whip: higher-order contracts for modern services.

Lucas Waye, Stephen Chong, Christos Dimoulas

Proc. ACM Program. Lang., 2017

FunTAL: reasonably mixing a functional language with assembly.

Daniel Patterson, Jamie Perconti, Christos Dimoulas, Amal Ahmed

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

Extensible access control with authorization contracts.

Scott Moore, Christos Dimoulas, Robert Bruce Findler, Matthew Flatt, Stephen Chong

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Oh Lord, please don't let contracts be misunderstood (functional pearl).

Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2015

Cryptographic Enforcement of Language-Based Information Erasure.

Aslan Askarov, Scott Moore, Christos Dimoulas, Stephen Chong

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

2014

SHILL: A Secure Shell Scripting Language.

Scott Moore, Christos Dimoulas, Dan King, Stephen Chong

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Declarative Policies for Capability Control.

Christos Dimoulas, Scott Moore, Aslan Askarov, Stephen Chong

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013

Contracts for First-Class Classes.

T. Stephen Strickland, Christos Dimoulas, Asumu Takikawa, Matthias Felleisen

ACM Trans. Program. Lang. Syst., 2013

Option contracts.

Christos Dimoulas, Robert Bruce Findler, Matthias Felleisen

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

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

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Gradual typing for first-class classes.

Asumu Takikawa, T. Stephen Strickland, Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Complete Monitors for Behavioral Contracts.

Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen

Proceedings of the Programming Languages and Systems, 2012

2011

On contract satisfaction in a higher-order world.

Christos Dimoulas, Matthias Felleisen

ACM Trans. Program. Lang. Syst., 2011

Correct blame for contracts: no more scapegoating.

Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

2009

The Higher-Order Aggregate Update Problem.

Christos Dimoulas, Mitchell Wand

Proceedings of the Verification, 2009

Future contracts.

Christos Dimoulas, Riccardo Pucella, Matthias Felleisen

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009