Andres Nötzli

I've seen things you people wouldn't believe. All those bugs will be lost in time, like tears...in...rain.

> Publications

2016

LifeJacket: Verifying precise floating-point optimizations in LLVM
Andres Nötzli, Fraser Brown
SOAP 2016 (workshop co-located with PLDI 2016)
arXiv /// GitHub

How to Build Static Checking Systems Using Orders of Magnitude Less Code
Fraser Brown, Andres Nötzli, Dawson Engler
ASPLOS 2016

2015

EmptyHeaded: Boolean Algebra Based Graph Processing
Christopher Aberger, Andres Nötzli, Kunle Olukotun, Christopher Ré
Technical Report
arXiv

> Posters

2016

Proofs for Preprocessing in SMT Solvers
Andres Nötzli
FMCAD 2016 Student Forum
PDF

> Contact

PGP key /// GitHub /// Twitter