Robert Bruce Findler

	2012
42		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
41		Casey Klein, Jay A. McCarthy, Steven Jaconette, Robert Bruce Findler: A Semantics for Context-Sensitive Reduction Semantics. APLAS 2011: 369-383
40		Kevin Tew, James Swaine, Matthew Flatt, Robert Bruce Findler, Peter A. Dinda: Places: adding message-passing parallelism to racket. DLS 2011: 85-96
39		Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler: Blame for all. POPL 2011: 201-214
38		Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen: Correct blame for contracts: no more scapegoating. POPL 2011: 215-226
	2010
37		Casey Klein, Matthew Flatt, Robert Bruce Findler: Random testing for higher-order, stateful programs. OOPSLA 2010: 555-566
36		James Swaine, Kevin Tew, Peter A. Dinda, Robert Bruce Findler, Matthew Flatt: Back to the futures: incremental parallelization of existing sequential runtime systems. OOPSLA 2010: 583-597
	2009
35		Matthias Felleisen, Robert Bruce Findler, Matthew Flatt: Semantics Engineering with PLT Redex. MIT Press 2009: I-XII, 1-502
34		Philip Wadler, Robert Bruce Findler: Well-Typed Programs Can't Be Blamed. ESOP 2009: 1-16
33		Matthew Flatt, Eli Barzilay, Robert Bruce Findler: Scribble: closing the book on ad hoc documentation tools. ICFP 2009: 109-120
32		Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi: A functional I/O system or, fun for freshman kids. ICFP 2009: 47-58
31		Jacob Matthews, Robert Bruce Findler: Operational semantics for multi-language programs. ACM Trans. Program. Lang. Syst. 31(3): (2009)
	2008
30		Jacob Matthews, Robert Bruce Findler: An operational semantics for Scheme. J. Funct. Program. 18(1): 47-86 (2008)
	2007
29		Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi: Relationally-parametric polymorphic contracts. DLS 2007: 29-40
28		George Kuan, David MacQueen, Robert Bruce Findler: A Rewriting Semantics for Type Inference. ESOP 2007: 426-440
27		Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen: Adding delimited and composable control to a production programming environment. ICFP 2007: 165-176
26		Robert Bruce Findler, Shu-yu Guo, Anne Rogers: Lazy Contract Checking for Immutable Data Structures. IFL 2007: 111-128
25		Jacob Matthews, Robert Bruce Findler: Operational semantics for multi-language programs. POPL 2007: 3-10
	2006
24		Matthew Flatt, Robert Bruce Findler, Matthias Felleisen: Scheme with Classes, Mixins, and Traits. APLAS 2006: 270-289
23		Robert Bruce Findler, Matthias Blume: Contracts as Pairs of Projections. FLOPS 2006: 226-241
22		Philippe Meunier, Robert Bruce Findler, Matthias Felleisen: Modular set-based analysis from contracts. POPL 2006: 218-231
21		Robert Bruce Findler, Matthew Flatt: Slideshow: functional presentations. J. Funct. Program. 16(4-5): 583-619 (2006)
20		Robert Bruce Findler: Scheme and Functional Programming 2006: paper abstracts. SIGPLAN Notices 41(8): 6-9 (2006)
	2005
19		Kathryn E. Gray, Robert Bruce Findler, Matthew Flatt: Fine-grained interoperability through mirrors and contracts. OOPSLA 2005: 231-245
18		Philippe Meunier, Robert Bruce Findler, Paul Steckler, Mitchell Wand: Selectors Make Set-Based Analysis Too Hard. Higher-Order and Symbolic Computation 18(3-4): 245-269 (2005)
	2004
17		Robert Bruce Findler, Matthew Flatt, Matthias Felleisen: Semantic Casts: Contracts and Structural Subtyping in a Nominal World. ECOOP 2004: 364-388
16		Robert Bruce Findler, Matthew Flatt: Slideshow: functional presentations. ICFP 2004: 224-235
15		David S. Goldberg, Robert Bruce Findler, Matthew Flatt: Super and inner: together at last! OOPSLA 2004: 116-129
14		Matthew Flatt, Robert Bruce Findler: Kill-safe synchronization abstractions. PLDI 2004: 47-58
13		Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen: A Visual Environment for Developing Context-Sensitive Term Rewriting Systems. RTA 2004: 301-311
12		Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen: Automatically Restructuring Programs for the Web. Autom. Softw. Eng. 11(4): 337-364 (2004)
11		Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi: The structure and interpretation of the computer science curriculum. J. Funct. Program. 14(4): 365-378 (2004)
	2003
10		Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen: Modeling Web Interactions. ESOP 2003: 238-252
	2002
9		Robert Bruce Findler, Matthias Felleisen: Contracts for higher-order functions. ICFP 2002: 48-59
8		Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen: DrScheme: a programming environment for Scheme. J. Funct. Program. 12(2): 159-182 (2002)
	2001
7		Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen: Automatically Restructuring Programs for the We. ASE 2001: 211-222
6		Robert Bruce Findler, Mario Latendresse, Matthias Felleisen: Behavioral contracts and behavioral subtyping. ESEC / SIGSOFT FSE 2001: 229-236
5		Robert Bruce Findler, Matthias Felleisen: Contract Soundness for Object-Oriented Languages. OOPSLA 2001: 1-15
	1999
4		Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen: Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine). ICFP 1999: 138-147
	1998
3		Robert Bruce Findler, Matthew Flatt: Modular Object-Oriented Programming with Units and Mixins. ICFP 1998: 94-104
2		Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi: The DrScheme Project: An Overview. SIGPLAN Notices 33(6): 17-23 (1998)
	1997
1		Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen: DrScheme: A Pedagogic Programming Environment for Scheme. PLILP 1997: 369-388

Coauthor Index

1	Amal Ahmed (Amal J. Ahmed)	[39]
2	Eli Barzilay	[33]
3	Matthias Blume	[23]
4	John Clements	[8] [42]
5	Christos Dimoulas	[38] [42]
6	Peter A. Dinda	[36] [40]
7	Carl Eastlund	[42]
8	Matthias Felleisen	[1] [2] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [17] [22] [24] [27] [32] [35] [38] [42]
9	Cormac Flanagan	[1] [8] [38]
10	Matthew Flatt	[1] [2] [3] [4] [8] [11] [13] [14] [15] [16] [17] [19] [21] [24] [27] [32] [33] [35] [36] [37] [40] [42]
11	David S. Goldberg	[15]
12	Paul T. Graunke	[7] [10] [12]
13	Kathryn E. Gray	[19]
14	Arjun Guha	[29]
15	Shu-yu Guo	[26]
16	Steven Jaconette	[41]
17	Casey Klein	[37] [41] [42]
18	Shriram Krishnamurthi	[1] [2] [4] [7] [8] [10] [11] [12] [29] [32]
19	George Kuan	[28]
20	Mario Latendresse	[6]
21	David MacQueen	[28]
22	Jacob Matthews	[12] [13] [25] [29] [30] [31]
23	Jay A. McCarthy	[41] [42]
24	Philippe Meunier	[18] [22]
25	Jon Rafkind	[42]
26	Anne Rogers	[26]
27	Jeremy G. Siek	[39]
28	Paul Steckler	[8] [18]
29	James Swaine	[36] [40]
30	Kevin Tew	[36] [40]
31	Sam Tobin-Hochstadt	[42]
32	Philip Wadler	[34] [39]
33	Mitchell Wand	[18]
34	Gang Yu	[27]

Colors in the list of coauthors

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