Robby Findler - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Robby Findler' as author, editor, or advisor:

Dynamic property caches: a step towards faster JavaScript proxy objectsManuel Serrano, Robert Bruce Findler. CC 2020: 108-118 [doi]
POP-PL: A Patient-Oriented Prescription Programming LanguageSpencer 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. TOPLAS, 40(3), 2018. [doi]
A calculus for Esterel: if can, can. if no can, no canSpencer P. Florence, Shu-Hung You, Jesse A. Tov, Robert Bruce Findler. PACMPL, 3, 2019. [doi]
Blame for allAmal Ahmed, Robert Bruce Findler, Jacob Matthews, Philip Wadler. ECOOP 2009: 1-13 [doi]
Does blame shifting work?Lukas Lazarek, Alexis King, Samanvitha Sundar, Robert Bruce Findler, Christos Dimoulas. PACMPL, 4(POPL), 2020. [doi]
Highly illogical, Kirk: spotting type mismatches in the large despite broken contracts, unsound types, and too many lintersJoshua Hoeflich, Robert Bruce Findler, Manuel Serrano. PACMPL, 6(OOPSLA2):479-504, 2022. [doi]
Cycles without pollution: a gradual typing poemSam Tobin-Hochstadt, Robert Bruce Findler. ECOOP 2009: 47-57 [doi]
Sound and Complete Concolic Testing for Higher-order FunctionsShu-Hung You, Robert Bruce Findler, Christos Dimoulas. ESOP 2021: 635-663 [doi]
Collapsible contracts: fixing a pathology of gradual typingDaniel Feltey, Ben Greenman, Christophe Scholliers, Robert Bruce Findler, Vincent St-Amour. PACMPL, 2(OOPSLA), 2018. [doi]
Revised6 Report on the Algorithmic Language SchemeMichael Sperber, R. Kent Dybvig, Matthew Flatt, Anton van Straaten, Robert Bruce Findler, Jacob Matthews. Cambridge University Press, 2010.
Rhombus: A New Spin on Macros without All the ParenthesesMatthew 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. PACMPL, 7(OOPSLA2):574-603, October 2023. [doi]
A Coq library for internal verification of running-timesJay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler. SCP, 164:49-65, 2018. [doi]
The Functional, the Imperative, and the Sudoku: Getting Good, Bad, and Ugly to Get Along (Functional Pearl)Manuel Serrano, Robert Bruce Findler. PACMPL, 8(ICFP):177-202, 2024. [doi]
How to evaluate the performance of gradual type systemsBen Greenman, Asumu Takikawa, Max S. New, Daniel Feltey, Robert Bruce Findler, Jan Vitek, Matthias Felleisen. JFP, 29, 2019. [doi]

runs on WebDSL