Christos Dimoulas

	2012
6		Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen: Complete Monitors for Behavioral Contracts. ESOP 2012: 214-233
5		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: 285-296
	2011
4		Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen: Correct blame for contracts: no more scapegoating. POPL 2011: 215-226
3		Christos Dimoulas, Matthias Felleisen: On contract satisfaction in a higher-order world. ACM Trans. Program. Lang. Syst. 33(5): 16 (2011)
	2009
2		Christos Dimoulas, Riccardo Pucella, Matthias Felleisen: Future contracts. PPDP 2009: 195-206
1		Christos Dimoulas, Mitchell Wand: The Higher-Order Aggregate Update Problem. VMCAI 2009: 44-58

Coauthor Index

1	John Clements	[5]
2	Carl Eastlund	[5]
3	Matthias Felleisen	[2] [3] [4] [5] [6]
4	Robert Bruce Findler	[4] [5]
5	Cormac Flanagan	[4]
6	Matthew Flatt	[5]
7	Casey Klein	[5]
8	Jay A. McCarthy	[5]
9	Riccardo Pucella	[2]
10	Jon Rafkind	[5]
11	Sam Tobin-Hochstadt	[5] [6]
12	Mitchell Wand	[1]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page