BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Canada
1 × Czech Republic
1 × Japan
1 × Norway
1 × Poland
1 × Portugal
1 × Sweden
14 × USA
2 × France
3 × Germany
4 × United Kingdom
Collaborated with:
M.Flatt M.Felleisen S.Krishnamurthi C.Dimoulas P.Wadler J.Matthews M.Blume P.T.Graunke M.Serrano S.Tobin-Hochstadt C.Flanagan C.Klein S.P.Florence D.Feltey E.Barzilay G.Kuan D.MacQueen S.Guo A.Rogers P.Meunier K.E.Gray D.S.Goldberg M.Latendresse B.Fetscher T.S.Strickland A.Ahmed J.G.Siek G.Yu S.You J.A.Tov K.Claessen M.H.Palka J.Hughes J.Swaine K.Tew P.A.Dinda S.Moore S.Chong B.Greenman C.Scholliers V.St-Amour Lukas Lazarek Alexis King Samanvitha Sundar A.Takikawa E.Dean W.H.Temps T.Kiguradze D.P.West C.Niznik P.R.Yarnold S.M.Belknap J.Clements C.Eastlund J.A.McCarthy J.Rafkind
Talks about:
contract (13) program (9) type (6) system (5) can (5) languag (4) blame (4) function (3) behavior (3) environ (3)

Person: Robert Bruce Findler

DBLP DBLP: Findler:Robert_Bruce

Contributed to:

ECOOP 20152015
ESOP 20152015
GPCE 20152015
ICFP 20142014
OOPSLA 20132013
OOPSLA 20122012
POPL 20122012
POPL 20112011
OOPSLA 20102010
ESOP 20092009
ICFP 20092009
ESOP 20072007
ICFP 20072007
IFL 20072007
POPL 20072007
FLOPS 20062006
POPL 20062006
OOPSLA 20052005
ECOOP 20042004
ICFP 20042004
OOPSLA 20042004
PLDI 20042004
RTA 20042004
ESOP 20032003
ICFP 20022002
ASE 20012001
ESEC/FSE 20012001
OOPSLA 20012001
ICFP 19991999
ICFP 19981998
PLILP 19971997
CC 20202020
OOPSLA 20162016
OOPSLA 20182018
POPL 20192019
POPL 20202020

Wrote 39 papers:

ECOOP-2015-TakikawaFDFFTF #towards #type system
Towards Practical Gradual Typing (AT, DF, ED, MF, RBF, STH, MF), pp. 4–27.
ESOP-2015-FetscherCPHF #automation #generative #random #type system
Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System (BF, KC, MHP, JH, RBF), pp. 383–405.
GPCE-2015-FlorenceFFTKWNY #named #programming language
POP-PL: a patient-oriented prescription programming language (SPF, BF, MF, WHT, TK, DPW, CN, PRY, RBF, SMB), pp. 131–140.
ICFP-2014-Findler #behaviour #contract
Behavioral software contracts (RBF), pp. 137–138.
OOPSLA-2013-DimoulasFF #contract
Option contracts (CD, RBF, MF), pp. 475–494.
OOPSLA-2012-StricklandTFF #runtime
Chaperones and impersonators: run-time support for reasonable interposition (TSS, STH, RBF, MF), pp. 943–962.
POPL-2012-KleinCDEFFMRTF #effectiveness #lightweight #research
Run your research: on the effectiveness of lightweight mechanization (CK, JC, CD, CE, MF, MF, JAM, JR, STH, RBF), pp. 285–296.
Blame for all (AA, RBF, JGS, PW), pp. 201–214.
POPL-2011-DimoulasFFF #contract
Correct blame for contracts: no more scapegoating (CD, RBF, CF, MF), pp. 215–226.
OOPSLA-2010-KleinFF #higher-order #random testing #source code #testing
Random testing for higher-order, stateful programs (CK, MF, RBF), pp. 555–566.
OOPSLA-2010-SwaineTDFF #incremental #parallel #runtime
Back to the futures: incremental parallelization of existing sequential runtime systems (JS, KT, PAD, RBF, MF), pp. 583–597.
ESOP-2009-WadlerF #source code
Well-Typed Programs Can’t Be Blamed (PW, RBF), pp. 1–16.
ICFP-2009-FelleisenFFK #functional
A functional I/O system or, fun for freshman kids (MF, RBF, MF, SK), pp. 47–58.
ICFP-2009-FlattBF #ad hoc #documentation #named #tool support
Scribble: closing the book on ad hoc documentation tools (MF, EB, RBF), pp. 109–120.
ESOP-2007-KuanMF #semantics #type inference
A Rewriting Semantics for Type Inference (GK, DM, RBF), pp. 426–440.
ICFP-2007-FlattYFF #composition #programming
Adding delimited and composable control to a production programming environment (MF, GY, RBF, MF), pp. 165–176.
IFL-2007-FindlerGR #contract #data type #lazy evaluation
Lazy Contract Checking for Immutable Data Structures (RBF, SyG, AR), pp. 111–128.
POPL-2007-MatthewsF #multi #semantics #source code
Operational semantics for multi-language programs (JM, RBF), pp. 3–10.
FLOPS-2006-FindlerB #contract
Contracts as Pairs of Projections (RBF, MB), pp. 226–241.
POPL-2006-MeunierFF #analysis #composition #contract
Modular set-based analysis from contracts (PM, RBF, MF), pp. 218–231.
OOPSLA-2005-GrayFF #contract #fine-grained
Fine-grained interoperability through mirrors and contracts (KEG, RBF, MF), pp. 231–245.
ECOOP-2004-FindlerFF #contract #semantics #type system
Semantic Casts: Contracts and Structural Subtyping in a Nominal World (RBF, MF, MF), pp. 364–388.
ICFP-2004-FindlerF #functional #named
Slideshow: functional presentations (RBF, MF), pp. 224–235.
OOPSLA-2004-GoldbergFF #exclamation
Super and inner: together at last! (DSG, RBF, MF), pp. 116–129.
PLDI-2004-FlattF #abstraction
Kill-safe synchronization abstractions (MF, RBF), pp. 47–58.
RTA-2004-MatthewsFFF #term rewriting #visual notation
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems (JM, RBF, MF, MF), pp. 301–311.
ESOP-2003-GraunkeFKF #interactive #modelling #web
Modeling Web Interactions (PTG, RBF, SK, MF), pp. 238–252.
ICFP-2002-FindlerF #contract #higher-order
Contracts for higher-order functions (RBF, MF), pp. 48–59.
ASE-2001-GraunkeFKF #automation #source code
Automatically Restructuring Programs for the We (PTG, RBF, SK, MF), pp. 211–222.
ESEC-FSE-2001-FindlerLF #behaviour #contract #type system
Behavioral contracts and behavioral subtyping (RBF, ML, MF), pp. 229–236.
OOPSLA-2001-FindlerF #contract #object-oriented
Contract Soundness for Object-Oriented Languages (RBF, MF), pp. 1–15.
ICFP-1999-FlattFKF #lisp #operating system #programming language
Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine) (MF, RBF, SK, MF), pp. 138–147.
ICFP-1998-FindlerF #composition #mixin #object-oriented #programming
Modular Object-Oriented Programming with Units and Mixins (RBF, MF), pp. 94–104.
PLILP-1997-FindlerFFKF #named #programming
DrScheme: A Pedagogic Programming Environment for Scheme (RBF, CF, MF, SK, MF), pp. 369–388.
CC-2020-SerranoF #javascript #performance #towards
Dynamic property caches: a step towards faster JavaScript proxy objects (MS, RBF), pp. 108–118.
OOPSLA-2016-MooreDFFC #contract #data access
Extensible access control with authorization contracts (SM, CD, RBF, MF, SC), pp. 214–233.
OOPSLA-2018-FelteyGSFS #contract #type system
Collapsible contracts: fixing a pathology of gradual typing (DF, BG, CS, RBF, VSA), p. 27.
POPL-2019-FlorenceYTF #calculus
A calculus for Esterel: if can, can. if no can, no can (SPF, SHY, JAT, RBF), p. 29.
POPL-2020-LazarekKSFD #question
Does blame shifting work? (LL, AK, SS, RBF, CD), p. 29.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.