92 <li>Akhil Junghare (MSc 2011-2012, King's) Lexing and Parsing using Derivatives</li> |
92 <li>Akhil Junghare (MSc 2011-2012, King's) Lexing and Parsing using Derivatives</li> |
93 <li>Darius Hodaei (MSc 2011-2012, King's, works now at Microsoft Skype in London) |
93 <li>Darius Hodaei (MSc 2011-2012, King's, works now at Microsoft Skype in London) |
94 A Compiler for System F</li> |
94 A Compiler for System F</li> |
95 <li>Jian Jiang (MSc 2011-2012, King's) Suffix Array Sorting, |
95 <li>Jian Jiang (MSc 2011-2012, King's) Suffix Array Sorting, |
96 received the prize of the best MSc thesis in 2012</li> |
96 received the prize of the best MSc thesis in 2012</li> |
97 <li>Mateusz Bieniek (BSc 2012-2013, King's) X86-Code Generator for a small Compiler</li> |
97 <li>Mateusz Bieniek (BSc 2012-2013, King's, 80%) X86-Code Generator for a small Compiler</li> |
98 <li>Daniel Zurawski (BSc 2012-2013, King's) Lisp to JavaScript Translator in Clojure</li> |
98 <li>Daniel Zurawski (BSc 2012-2013, King's) Lisp to JavaScript Translator in Clojure</li> |
99 <li>Biljana Naumova (BSc 2012-2013, King's) Regular Expression Equivalence Checking using Asperti's Algorithm</li> |
99 <li>Biljana Naumova (BSc 2012-2013, King's) Regular Expression Equivalence Checking using Asperti's Algorithm</li> |
100 <li>Spencer Jevon (BSc 2012-2013, King's) Automata Minimisation using Brzozowski's Algorithm</li> |
100 <li>Spencer Jevon (BSc 2012-2013, King's) Automata Minimisation using Brzozowski's Algorithm</li> |
101 <li>Maciej Surmacz (MSc 2012-2013, King's) A Student Polling System</li> |
101 <li>Maciej Surmacz (MSc 2012-2013, King's) A Student Polling System</li> |
102 <li>Syed Fahad Jafri (MSc 2012-2013, King's) MS IL Code Generator for a Simple Compiler</li> |
102 <li>Syed Fahad Jafri (MSc 2012-2013, King's) MS IL Code Generator for a Simple Compiler</li> |