Christos Dimoulas

37 papers A* 5A 8B 1C 1Journal 22

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