Collaborated with:A.Nötzli D.R.Engler Sunjay Cauligi Gary Soeller Brian Johannesmeyer Riad S. Wahby John Renner B.Grégoire G.Barthe R.Jhala D.Stefan
Talks about:magnitud (1) system (1) static (1) sensit (1) comput (1) order (1) check (1) build (1) time (1) less (1)
Person: Fraser Brown
DBLP: Brown:Fraser
Contributed to:
2019
2016Wrote 2 papers:
- PLDI-2019-CauligiSJBWRGBJ #domain-specific language #named
- FaCT: a DSL for timing-sensitive computation (SC, GS, BJ, FB, RSW, JR, BG, GB, RJ, DS), pp. 174–189.
- ASPLOS-2016-BrownNE #how #order #static analysis #using
- How to Build Static Checking Systems Using Orders of Magnitude Less Code (FB, AN, DRE), pp. 143–157.