Alastair F. Donaldson
- Compiler fuzzing: how much does it matter?
2019/02/25 by Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson +1 · 3 voices · 4 citations
Computer Science · #Software Testing and Debugging Techniques #Software Engineering Research #Software Reliability and Analysis Research
- Certified Roundoff Error Bounds Using Semidefinite Programming
2017/01/02 by Victor Magron, George Constantinides, George A. Constantinides +2 · 5 citations
Computer Science · Engineering · #Formal Methods in Verification #Low-power high-performance VLSI design #Numerical Methods and Algorithms