Stuart's Soliloquy to the void

Research

• WYSIWIB: A Declarative Approach to Finding Protocols and Bugs in Linux Code from DSN 2009 – The 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks.
• Bug hunting with Coccinelle

  My master’s thesis on using the Coccinelle transformation engine to find software faults in real-world C applications, with a primary focus on the Linux kernel.

• Toward Easing the Diagnosis of Bugs in OS Code from the 4th Workshop on Programming Languages and Operating Systems (PLOS 2007), Stevenson, Washington, October 2007.

  Overview paper of using Coccinelle for mitigating and/or finding bugs. This paper marks the foundation of my master’s thesis topic.

• Compositional typeface specification

  Design and construction of a domain-specific language for creating typefaces. The backend algorithm could do with some more work so it covers all special cases, but I ran out of time to get the last finesses right.

• Workflow optimisation for graph illustrations

  The project makes it easier to maintain typeface consistency between images generated using GraphViz and LaTeX. This paper is in partial fulfillment of a course on domain specific languages.

• Polymorf constraint-baseret typeinferens: Featherweight Java og Featherweight Generic Java – elimination af downcasts

  A paper in Danish for the partial fulfillment of a course on types and programming languages. The paper sketches the issues with downcasts in object-oriented languages, explores a way to remove them by introducing parametric polymorphism and suggests further work that can be done to eliminate downcasts in larger programming languages.

• Graf-farvende Register Allokator til Dat1E

  My bachelors thesis paper, in Danish, on graph colouring register allocation.