Burke Fetscher
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2012–2016
Best venue rank
National
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | FLOPS | A Coq Library for Internal Verification of Running-Times. | Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler |
| 2015 | ESOP | Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System. | Burke Fetscher, Koen Claessen, Michal H. Palka, John Hughes, Robert Bruce Findler |
| 2015 | GPCE | POP-PL: a patient-oriented prescription programming language. | 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 |
| 2012 | ICFP | Seeing the futures: profiling shared-memory parallel racket. | James Swaine, Burke Fetscher, Vincent St-Amour, Robert Bruce Findler, Matthew Flatt |