default search action
Robert Bruce Findler
Robby Bruce Findler
Person information
- affiliation: Northwestern University, Illinois, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j26]Manuel Serrano, Robert Bruce Findler:
The Functional, the Imperative, and the Sudoku: Getting Good, Bad, and Ugly to Get Along (Functional Pearl). Proc. ACM Program. Lang. 8(ICFP): 177-202 (2024) - [i2]Peter Zhong, Shu-Hung You, Simone Campanoni, Robert Bruce Findler, Matthew Flatt, Christos Dimoulas:
A Calculus for Unreachable Code. CoRR abs/2407.04917 (2024) - 2023
- [j25]Matthew Flatt
, Taylor Allred
Rhombus: A New Spin on Macros without All the Parentheses. Proc. ACM Program. Lang. 7(OOPSLA2): 574-603 (2023) - 2022
- [j24]Joshua Hoeflich
Highly illogical, Kirk: spotting type mismatches in the large despite broken contracts, unsound types, and too many linters. Proc. ACM Program. Lang. 6(OOPSLA2): 479-504 (2022) - 2021
- [c52]Shu-Hung You, Robert Bruce Findler, Christos Dimoulas
Sound and Complete Concolic Testing for Higher-order Functions. ESOP 2021: 635-663 - 2020
- [j23]Lukas Lazarek, Alexis King, Samanvitha Sundar, Robert Bruce Findler, Christos Dimoulas
Does blame shifting work? Proc. ACM Program. Lang. 4(POPL): 65:1-65:29 (2020) - [c51]Manuel Serrano, Robert Bruce Findler:
Dynamic property caches: a step towards faster JavaScript proxy objects. CC 2020: 108-118 - [i1]Shu-Hung You, Robert Bruce Findler, Christos Dimoulas:
Dynamic Symbolic Execution of Higher-Order Functions. CoRR abs/2006.11639 (2020)
2010 – 2019
- 2019
- [j22]Ben Greenman
How to evaluate the performance of gradual type systems. J. Funct. Program. 29: e4 (2019) - [j21]Spencer P. Florence, Shu-Hung You, Jesse A. Tov, Robert Bruce Findler:
A calculus for Esterel: if can, can. if no can, no can. Proc. ACM Program. Lang. 3(POPL): 61:1-61:29 (2019) - 2018
- [j20]Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
A programmable programming language. Commun. ACM 61(3): 62-71 (2018) - [j19]Daniel Feltey, Ben Greenman
Collapsible contracts: fixing a pathology of gradual typing. Proc. ACM Program. Lang. 2(OOPSLA): 133:1-133:27 (2018) - [j18]Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler:
A Coq library for internal verification of running-times. Sci. Comput. Program. 164: 49-65 (2018) - [j17]Spencer P. Florence, Burke Fetscher, Matthew Flatt, William H. Temps, Vincent St-Amour, Tina Kiguradze, Dennis P. West, Charlotte Niznik, Paul R. Yarnold
POP-PL: A Patient-Oriented Prescription Programming Language. ACM Trans. Program. Lang. Syst. 40(3): 10:1-10:37 (2018) - 2017
- [j16]Max S. New, Burke Fetscher, Robert Bruce Findler, Jay A. McCarthy:
Fair enumeration combinators. J. Funct. Program. 27: e19 (2017) - [j15]Vincent St-Amour, Daniel Feltey, Spencer P. Florence, Shu-Hung You, Robert Bruce Findler:
Herbarium Racketensis: a stroll through the woods (functional pearl). Proc. ACM Program. Lang. 1(ICFP): 1:1-1:15 (2017) - [c50]Sam Tobin-Hochstadt
Migratory Typing: Ten Years Later. SNAPL 2017: 17:1-17:17 - 2016
- [c49]Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler:
A Coq Library for Internal Verification of Running-Times. FLOPS 2016: 144-162 - [c48]Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen:
Oh Lord, please don't let contracts be misunderstood (functional pearl). ICFP 2016: 117-131 - [c47]Scott Moore, Christos Dimoulas, Robert Bruce Findler, Matthew Flatt, Stephen Chong:
Extensible access control with authorization contracts. OOPSLA 2016: 214-233 - [c46]Robby Bruce Findler:
Redex: a language for lightweight semantics engineering (keynote). SLE 2016: 1 - 2015
- [c45]Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt
Towards Practical Gradual Typing. ECOOP 2015: 4-27 - [c44]Burke Fetscher, Koen Claessen, Michal H. Palka, John Hughes, Robert Bruce Findler:
Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System. ESOP 2015: 383-405 - [c43]Spencer P. Florence, Burke Fetscher, Matthew Flatt, William H. Temps, Tina Kiguradze, Dennis P. West
POP-PL: a patient-oriented prescription programming language. GPCE 2015: 131-140 - [c42]Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
The Racket Manifesto. SNAPL 2015: 113-128 - 2014
- [j14]Satnam Singh, Robert Bruce Findler:
Special Issue Dedicated to ICFP 2012: Editorial. J. Funct. Program. 24(2-3): 131-132 (2014) - [c41]Robert Bruce Findler:
Behavioral software contracts. ICFP 2014: 137-138 - 2013
- [j13]Robert Bruce Findler, Matthias Felleisen:
ICFP 2002: Contracts for higher-order functions. ACM SIGPLAN Notices 48(4S): 34-45 (2013) - [c40]Christos Dimoulas
Option contracts. OOPSLA 2013: 475-494 - [c39]Kevin Tew, James Swaine, Matthew Flatt, Robert Bruce Findler, Peter A. Dinda:
Distributed Places. Trends in Functional Programming 2013: 34-57 - [c38]Gregory H. Cooper, Arjun Guha, Shriram Krishnamurthi, Jay A. McCarthy, Robert Bruce Findler:
Teaching garbage collection without implementing compiler or interpreters. SIGCSE 2013: 385-390 - 2012
- [j12]Matthew Flatt, Ryan Culpepper, David Darais, Robert Bruce Findler:
Macros that Work Together - Compile-time bindings, partial expansion, and definition contexts. J. Funct. Program. 22(2): 181-216 (2012) - [j11]Casey Klein, Matthew Flatt, Robert Bruce Findler:
The Racket virtual machine and randomized testing. High. Order Symb. Comput. 25(2-4): 209-253 (2012) - [c37]James Swaine, Burke Fetscher, Vincent St-Amour, Robert Bruce Findler, Matthew Flatt:
Seeing the futures: profiling shared-memory parallel racket. FHPC@ICFP 2012: 73-82 - [c36]T. Stephen Strickland, Sam Tobin-Hochstadt
Chaperones and impersonators: run-time support for reasonable interposition. OOPSLA 2012: 943-962 - [c35]Casey Klein, John Clements, Christos Dimoulas
Run your research: on the effectiveness of lightweight mechanization. POPL 2012: 285-296 - [e2]Peter Thiemann, Robby Bruce Findler:
ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012. ACM 2012, ISBN 978-1-4503-1054-3 [contents] - 2011
- [c34]Casey Klein, Jay A. McCarthy, Steven Jaconette, Robert Bruce Findler:
A Semantics for Context-Sensitive Reduction Semantics. APLAS 2011: 369-383 - [c33]Giang Hoang, Robby Bruce Findler, Russ Joseph:
Exploring circuit timing-aware language and compilation. ASPLOS 2011: 345-356 - [c32]Kevin Tew, James Swaine, Matthew Flatt, Robert Bruce Findler, Peter A. Dinda:
Places: adding message-passing parallelism to racket. DLS 2011: 85-96 - [c31]Amal Ahmed
Blame for all. POPL 2011: 201-214 - [c30]Christos Dimoulas
Correct blame for contracts: no more scapegoating. POPL 2011: 215-226 - 2010
- [b2]Michael Sperber, R. Kent Dybvig, Matthew Flatt, Anton van Straaten, Robert Bruce Findler, Jacob Matthews:
Revised6 Report on the Algorithmic Language Scheme. Cambridge University Press 2010, ISBN 978-0-521-19399-3, pp. 1-301 - [c29]Casey Klein, Matthew Flatt, Robert Bruce Findler:
Random testing for higher-order, stateful programs. OOPSLA 2010: 555-566 - [c28]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
2000 – 2009
- 2009
- [b1]Matthias Felleisen, Robert Bruce Findler, Matthew Flatt:
Semantics Engineering with PLT Redex. MIT Press 2009, ISBN 978-0-262-06275-6, pp. I-XII, 1-502 - [j10]Jacob Matthews, Robert Bruce Findler:
Operational semantics for multi-language programs. ACM Trans. Program. Lang. Syst. 31(3): 12:1-12:44 (2009) - [c27]Amal Ahmed
Blame for all. STOP@ECOOP 2009: 1-13 - [c26]Sam Tobin-Hochstadt
Cycles without pollution: a gradual typing poem. STOP@ECOOP 2009: 47-57 - [c25]Philip Wadler, Robert Bruce Findler:
Well-Typed Programs Can't Be Blamed. ESOP 2009: 1-16 - [c24]Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
A functional I/O system or, fun for freshman kids. ICFP 2009: 47-58 - [c23]Matthew Flatt, Eli Barzilay, Robert Bruce Findler:
Scribble: closing the book on ad hoc documentation tools. ICFP 2009: 109-120 - 2008
- [j9]Jacob Matthews, Robert Bruce Findler:
An operational semantics for Scheme. J. Funct. Program. 18(1): 47-86 (2008) - 2007
- [c22]Arjun Guha
Relationally-parametric polymorphic contracts. DLS 2007: 29-40 - [c21]George Kuan, David MacQueen, Robert Bruce Findler:
A Rewriting Semantics for Type Inference. ESOP 2007: 426-440 - [c20]Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen:
Adding delimited and composable control to a production programming environment. ICFP 2007: 165-176 - [c19]Robert Bruce Findler, Shu-yu Guo, Anne Rogers:
Lazy Contract Checking for Immutable Data Structures. IFL 2007: 111-128 - [c18]Jacob Matthews, Robert Bruce Findler:
Operational semantics for multi-language programs. POPL 2007: 3-10 - 2006
- [j8]Robert Bruce Findler, Matthew Flatt:
Slideshow: functional presentations. J. Funct. Program. 16(4-5): 583-619 (2006) - [j7]Robert Bruce Findler:
Scheme and Functional Programming 2006: paper abstracts. ACM SIGPLAN Notices 41(8): 6-9 (2006) - [c17]Matthew Flatt, Robert Bruce Findler, Matthias Felleisen:
Scheme with Classes, Mixins, and Traits. APLAS 2006: 270-289 - [c16]Robert Bruce Findler, Matthias Blume:
Contracts as Pairs of Projections. FLOPS 2006: 226-241 - [c15]Philippe Meunier, Robert Bruce Findler, Matthias Felleisen:
Modular set-based analysis from contracts. POPL 2006: 218-231 - 2005
- [j6]Philippe Meunier, Robert Bruce Findler, Paul Steckler, Mitchell Wand:
Selectors Make Set-Based Analysis Too Hard. High. Order Symb. Comput. 18(3-4): 245-269 (2005) - [c14]Kathryn E. Gray, Robert Bruce Findler, Matthew Flatt:
Fine-grained interoperability through mirrors and contracts. OOPSLA 2005: 231-245 - [e1]Robby Bruce Findler, Michael Hanus, Simon Thompson:
Proceedings of the 2005 workshop on Functional and Declarative Programming in Education, FDPE@ICFP 2005, Tallinn, Estonia, September 25 - 25, 2005. ACM 2005, ISBN 1-59593-067-1 [contents] - 2004
- [j5]Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi
Automatically Restructuring Programs for the Web. Autom. Softw. Eng. 11(4): 337-364 (2004) - [j4]Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
The TeachScheme! Project: Computing and Programming for Every Student. Comput. Sci. Educ. 14(1): 55-77 (2004) - [j3]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) - [c13]Robert Bruce Findler, Matthew Flatt, Matthias Felleisen:
Semantic Casts: Contracts and Structural Subtyping in a Nominal World. ECOOP 2004: 364-388 - [c12]Robert Bruce Findler, Matthew Flatt:
Slideshow: functional presentations. ICFP 2004: 224-235 - [c11]David S. Goldberg, Robert Bruce Findler, Matthew Flatt:
Super and inner: together at last! OOPSLA 2004: 116-129 - [c10]Matthew Flatt, Robert Bruce Findler:
Kill-safe synchronization abstractions. PLDI 2004: 47-58 - [c9]Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen:
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems. RTA 2004: 301-311 - 2003
- [c8]Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi
Modeling Web Interactions. ESOP 2003: 238-252 - 2002
- [j2]Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi
DrScheme: a programming environment for Scheme. J. Funct. Program. 12(2): 159-182 (2002) - [c7]Robert Bruce Findler, Matthias Felleisen:
Contracts for higher-order functions. ICFP 2002: 48-59 - 2001
- [c6]Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi
Automatically Restructuring Programs for the We. ASE 2001: 211-222 - [c5]Robert Bruce Findler, Matthias Felleisen:
Contract Soundness for Object-Oriented Languages. OOPSLA 2001: 1-15 - [c4]Robert Bruce Findler, Mario Latendresse, Matthias Felleisen:
Behavioral contracts and behavioral subtyping. ESEC / SIGSOFT FSE 2001: 229-236
1990 – 1999
- 1999
- [c3]Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi
Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine). ICFP 1999: 138-147 - 1998
- [j1]Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
The DrScheme Project: An Overview. ACM SIGPLAN Notices 33(6): 17-23 (1998) - [c2]Robert Bruce Findler, Matthew Flatt:
Modular Object-Oriented Programming with Units and Mixins. ICFP 1998: 94-104 - 1997
- [c1]Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi
DrScheme: A Pedagogic Programming Environment for Scheme. PLILP 1997: 369-388
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-22 19:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: