N-ary trees in C – Nicholas Nethercote

JägerMonkey – Nicholas Nethercote

PDF) Stack Trace Analysis for Large Scale Debugging

PDF) Sub-Problem Pre-Solving in MiniZinc

PDF) The New Trivium Patrick Blackburn

N-ary trees in C – Nicholas Nethercote

PDF) Practical Aspects of Automated Reasoning and Evaluation of Systems for Higher Order Logic

Winter2013 by Trinity College Digital Repository - Issuu

PDF) Agile Formality: A “Mole” of Software Engineering Practices

PDF) Varieties of Static Analyzers: A Comparison with ASTREE

Nicholas Nethercote – Notes on Rust, Firefox, MemShrink, JavaScript, and more