| Claire Chambers |
Optimizing the 42 compiler |
BE(Hons) |
Marco Servetto |
2021 |
| Justine Micaela Lim-Ranola |
Flat Finder |
BE(Hons) |
Marco Servetto |
2021 |
| Thomas Rainford |
Whiley to TypeScript Transpiler |
BE(Hons) |
David Pearce |
2021 |
| Max McMurray |
Transpiling Whiley to C++20 |
BE(Hons) |
David Pearce |
2021 |
| Pintheruralalag Wijeratne |
Prolog Visualization |
BE(Hons) |
Thomas Kühne |
2021 |
| Bailey Jewell |
Greybox Fuzzing .NET Web Applications |
BE(Hons) |
Jens Dietrich , Ferdinand Hagethorn (Planit Testing), Hugh Davenport (Planit Testing) |
2021 |
| Dominic Rjiptono |
Haskell in the Real-World |
BE(Hons) |
Alex Potanin |
2021 |
| Rowan Rathod |
Automated Remote Farm Sensing |
BE(Hons) |
Alex Potanin |
2021 |
| Samantha Hau |
WFA Events App |
BE(Hons) |
Alex Potanin |
2021 |
| Jack Hazlehurst |
Incremental Static Analysis for Regression Test Selection |
BE(Hons) |
Jens Dietrich |
2020 |
| Philip Oliver |
Analysing Workloads for Incremental Compilers |
BE(Hons) |
David Pearce |
2020 |
| Lavanya Sajwan |
Why do programmers do what they do? Understanding Security Choices |
BE(Hons) |
James Noble, Craig Anslow |
2020 |
| Brendan Julian |
Why Programmers Do What they Do? |
BE(Hons) |
James Noble, Craig Anslow |
2018 |
| Tristan Irons |
User Interfaces for Programmers |
BE(Hons) |
James Noble |
2018 |
| Cameron Bryers |
Simple Game Programming in Grace |
BE(Hons) |
James Noble, Michael Homer |
2017 |
| Aaron Pang |
Why Do Programmers Do What They Do? |
BE(Hons) |
James Noble, Craig Anslow |
2017 |
