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: Findler:Robert_Bruce
Contributed to:
2015
2015
2015
2014
20132012
2012201120102009200920072007
20072007
200620062005200420042004
2004
200420032002
2001
2001200119991998
1997
20202016201820192020Wrote 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.
- POPL-2011-AhmedFSW
- 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.