Robert Bruce Findler

81 papers A* 7A 25B 4C 2Misc 2Journal 29Unranked 10

Year	Rank	Type	Title / Venue / Authors
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
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`	The Functional, the Imperative, and the Sudoku: Getting Good, Bad, and Ugly to Get Along (Functional Pearl). Proc. ACM Program. Lang. Manuel Serrano, Robert Bruce Findler
2023	J	`jnl`	Rhombus: A New Spin on Macros without All the Parentheses. Proc. ACM Program. Lang. Matthew Flatt, Taylor Allred, Nia Angle, Stephen De Gabrielle, Robert Bruce Findler, Jack Firth, Kiran Gopinathan, Ben Greenman, Siddhartha Kasivajhula, Alex Knauth, Jay A. McCarthy, Sam Phillips, Sorawee Porncharoenwase, Jens Axel Søgaard, Sam Tobin-Hochstadt
2022	J	`jnl`	Highly illogical, Kirk: spotting type mismatches in the large despite broken contracts, unsound types, and too many linters. Proc. ACM Program. Lang. Joshua Hoeflich, Robert Bruce Findler, Manuel Serrano
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	B	`conf`	Dynamic property caches: a step towards faster JavaScript proxy objects. CC Manuel Serrano, Robert Bruce Findler
2019	J	`jnl`	A calculus for Esterel: if can, can. if no can, no can. Proc. ACM Program. Lang. Spencer P. Florence, Shu-Hung You, Jesse A. Tov, Robert Bruce Findler
2019	J	`jnl`	How to evaluate the performance of gradual type systems. J. Funct. Program. Ben Greenman, Asumu Takikawa, Max S. New, Daniel Feltey, Robert Bruce Findler, Jan Vitek, Matthias Felleisen
2018	J	`jnl`	A Coq library for internal verification of running-times. Sci. Comput. Program. Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler
2018	J	`jnl`	A programmable programming language. Commun. ACM Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt
2018	J	`jnl`	Collapsible contracts: fixing a pathology of gradual typing. Proc. ACM Program. Lang. Daniel Feltey, Ben Greenman, Christophe Scholliers, Robert Bruce Findler, Vincent St-Amour
2018	J	`jnl`	POP-PL: A Patient-Oriented Prescription Programming Language. ACM Trans. Program. Lang. Syst. Spencer P. Florence, Burke Fetscher, Matthew Flatt, William H. Temps, Vincent St-Amour, Tina Kiguradze, Dennis P. West, Charlotte Niznik, Paul R. Yarnold, Robert Bruce Findler, Steven M. Belknap
2017	J	`jnl`	Fair enumeration combinators. J. Funct. Program. Max S. New, Burke Fetscher, Robert Bruce Findler, Jay A. McCarthy
2017	J	`jnl`	Herbarium Racketensis: a stroll through the woods (functional pearl). Proc. ACM Program. Lang. Vincent St-Amour, Daniel Feltey, Spencer P. Florence, Shu-Hung You, Robert Bruce Findler
2017	—	`conf`	Migratory Typing: Ten Years Later. SNAPL Sam Tobin-Hochstadt, Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Ben Greenman, Andrew M. Kent, Vincent St-Amour, T. Stephen Strickland, Asumu Takikawa
2016	Misc	`conf`	A Coq Library for Internal Verification of Running-Times. FLOPS Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler
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`	Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System. ESOP Burke Fetscher, Koen Claessen, Michal H. Palka, John Hughes, Robert Bruce Findler
2015	B	`conf`	POP-PL: a patient-oriented prescription programming language. GPCE Spencer P. Florence, Burke Fetscher, Matthew Flatt, William H. Temps, Tina Kiguradze, Dennis P. West, Charlotte Niznik, Paul R. Yarnold, Robert Bruce Findler, Steven M. Belknap
2015	—	`conf`	The Racket Manifesto. SNAPL Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt
2015	A	`conf`	Towards Practical Gradual Typing. ECOOP Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, Matthias Felleisen
2014	A	`conf`	Behavioral software contracts. ICFP Robert Bruce Findler
2014	J	`jnl`	Special Issue Dedicated to ICFP 2012: Editorial. J. Funct. Program. Satnam Singh, Robert Bruce Findler
2013	—	`conf`	Distributed Places. Trends in Functional Programming Kevin Tew, James Swaine, Matthew Flatt, Robert Bruce Findler, Peter A. Dinda
2013	J	`jnl`	ICFP 2002: Contracts for higher-order functions. ACM SIGPLAN Notices Robert Bruce Findler, Matthias Felleisen
2013	A	`conf`	Option contracts. OOPSLA Christos Dimoulas, Robert Bruce Findler, Matthias Felleisen
2013	A	`conf`	Teaching garbage collection without implementing compiler or interpreters. SIGCSE Gregory H. Cooper, Arjun Guha, Shriram Krishnamurthi, Jay A. McCarthy, Robert Bruce Findler
2012	A	`conf`	Chaperones and impersonators: run-time support for reasonable interposition. OOPSLA T. Stephen Strickland, Sam Tobin-Hochstadt, Robert Bruce Findler, Matthew Flatt
2012	J	`jnl`	Macros that Work Together - Compile-time bindings, partial expansion, and definition contexts. J. Funct. Program. Matthew Flatt, Ryan Culpepper, David Darais, Robert Bruce Findler
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
2012	—	`conf`	Seeing the futures: profiling shared-memory parallel racket. FHPC@ICFP James Swaine, Burke Fetscher, Vincent St-Amour, Robert Bruce Findler, Matthew Flatt
2012	J	`jnl`	The Racket virtual machine and randomized testing. High. Order Symb. Comput. Casey Klein, Matthew Flatt, Robert Bruce Findler
2011	B	`conf`	A Semantics for Context-Sensitive Reduction Semantics. APLAS Casey Klein, Jay A. McCarthy, Steven Jaconette, Robert Bruce Findler
2011	A*	`conf`	Blame for all. POPL Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler
2011	A*	`conf`	Correct blame for contracts: no more scapegoating. POPL Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen
2011	C	`conf`	Places: adding message-passing parallelism to racket. DLS Kevin Tew, James Swaine, Matthew Flatt, Robert Bruce Findler, Peter A. Dinda
2010	A	`conf`	Back to the futures: incremental parallelization of existing sequential runtime systems. OOPSLA James Swaine, Kevin Tew, Peter A. Dinda, Robert Bruce Findler, Matthew Flatt
2010	A	`conf`	Random testing for higher-order, stateful programs. OOPSLA Casey Klein, Matthew Flatt, Robert Bruce Findler
2010	—	`book`	Revised6 Report on the Algorithmic Language Scheme. Michael Sperber, R. Kent Dybvig, Matthew Flatt, Anton van Straaten, Robert Bruce Findler, Jacob Matthews
2009	A	`conf`	A functional I/O system or, fun for freshman kids. ICFP Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
2009	—	`conf`	Blame for all. STOP@ECOOP Amal Ahmed, Robert Bruce Findler, Jacob Matthews, Philip Wadler
2009	—	`conf`	Cycles without pollution: a gradual typing poem. STOP@ECOOP Sam Tobin-Hochstadt, Robert Bruce Findler
2009	J	`jnl`	Operational semantics for multi-language programs. ACM Trans. Program. Lang. Syst. Jacob Matthews, Robert Bruce Findler
2009	A	`conf`	Scribble: closing the book on ad hoc documentation tools. ICFP Matthew Flatt, Eli Barzilay, Robert Bruce Findler
2009	—	`book`	Semantics Engineering with PLT Redex. Matthias Felleisen, Robert Bruce Findler, Matthew Flatt
2009	A	`conf`	Well-Typed Programs Can't Be Blamed. ESOP Philip Wadler, Robert Bruce Findler
2008	J	`jnl`	An operational semantics for Scheme. J. Funct. Program. Jacob Matthews, Robert Bruce Findler
2007	A	`conf`	A Rewriting Semantics for Type Inference. ESOP George Kuan, David MacQueen, Robert Bruce Findler
2007	A	`conf`	Adding delimited and composable control to a production programming environment. ICFP Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen
2007	—	`conf`	Lazy Contract Checking for Immutable Data Structures. IFL Robert Bruce Findler, Shu-Yu Guo, Anne Rogers
2007	A*	`conf`	Operational semantics for multi-language programs. POPL Jacob Matthews, Robert Bruce Findler
2007	C	`conf`	Relationally-parametric polymorphic contracts. DLS Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi
2006	Misc	`conf`	Contracts as Pairs of Projections. FLOPS Robert Bruce Findler, Matthias Blume
2006	A*	`conf`	Modular set-based analysis from contracts. POPL Philippe Meunier, Robert Bruce Findler, Matthias Felleisen
2006	J	`jnl`	Scheme and Functional Programming 2006: paper abstracts. ACM SIGPLAN Notices Robert Bruce Findler
2006	B	`conf`	Scheme with Classes, Mixins, and Traits. APLAS Matthew Flatt, Robert Bruce Findler, Matthias Felleisen
2006	J	`jnl`	Slideshow: functional presentations. J. Funct. Program. Robert Bruce Findler, Matthew Flatt
2005	A	`conf`	Fine-grained interoperability through mirrors and contracts. OOPSLA Kathryn E. Gray, Robert Bruce Findler, Matthew Flatt
2005	J	`jnl`	Selectors Make Set-Based Analysis Too Hard. High. Order Symb. Comput. Philippe Meunier, Robert Bruce Findler, Paul Steckler, Mitchell Wand
2004	—	`conf`	A Visual Environment for Developing Context-Sensitive Term Rewriting Systems. RTA Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen
2004	J	`jnl`	Automatically Restructuring Programs for the Web. Autom. Softw. Eng. Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen
2004	A*	`conf`	Kill-safe synchronization abstractions. PLDI Matthew Flatt, Robert Bruce Findler
2004	A	`conf`	Semantic Casts: Contracts and Structural Subtyping in a Nominal World. ECOOP Robert Bruce Findler, Matthew Flatt, Matthias Felleisen
2004	A	`conf`	Slideshow: functional presentations. ICFP Robert Bruce Findler, Matthew Flatt
2004	A	`conf`	Super and inner: together at last! OOPSLA David S. Goldberg, Robert Bruce Findler, Matthew Flatt
2004	J	`jnl`	The TeachScheme! Project: Computing and Programming for Every Student. Comput. Sci. Educ. Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
2004	J	`jnl`	The structure and interpretation of the computer science curriculum. J. Funct. Program. Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
2003	A	`conf`	Modeling Web Interactions. ESOP Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
2002	A	`conf`	Contracts for higher-order functions. ICFP Robert Bruce Findler, Matthias Felleisen
2002	J	`jnl`	DrScheme: a programming environment for Scheme. J. Funct. Program. Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen
2001	A*	`conf`	Automatically Restructuring Programs for the We. ASE Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
2001	—	`conf`	Behavioral contracts and behavioral subtyping. ESEC / SIGSOFT FSE Robert Bruce Findler, Mario Latendresse, Matthias Felleisen
2001	A	`conf`	Contract Soundness for Object-Oriented Languages. OOPSLA Robert Bruce Findler, Matthias Felleisen
1999	A	`conf`	Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine). ICFP Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
1998	A	`conf`	Modular Object-Oriented Programming with Units and Mixins. ICFP Robert Bruce Findler, Matthew Flatt
1998	J	`jnl`	The DrScheme Project: An Overview. ACM SIGPLAN Notices Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
1997	—	`conf`	DrScheme: A Pedagogic Programming Environment for Scheme. PLILP Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen