Master's Theses Produced in the Programming Languages Group

Master student Date Supervisor Thesis title
Randi Katrine Hillerøe 25-06-2015 Anders Møller

TAPAs: Type Analysis for PHP Arrays.

Christian Budde Christensen 25-06-2015 Anders Møller

TAPAs: Type Analysis for PHP Arrays.

Kristján Rafn Gunnarsson 04-06-2015 Olivier Danvy

Counting Golf Strokes Using Smartphone Sensors and Machine Learning.

Ulrik Sahl Lystbæk 29-05-2015 Anders Møller

Demand-driven Pointer Analysis optimized for Code Completion i JavaScript.

Jesper Lindstrøm Nielsen 03-02-2015 Anders Møller

Type Inference for Dart

Troels Leth Jensen 03-02-2015 Anders Møller

Type Inference for Dart

Steffen Høi 05-09-2014 Erik Ernst Exploring Object Ownership for Controlling Representation Exposure.
Nikolaj Mols Hansen 05-09-2014 Erik Ernst Exploring Object Ownership for Controlling Representation Exposure.
Peter Urbak 02-07-2014 Olivier Danvy A Formal Study of Moessner´s Sieve.
Nils Asbjørn Joensen 27-06-2014 Anders Møller Migration af Klasser og Moduler fra JavaScript til Typescript.
Jacob Hougaard 30-05-2014 Anders Møller A Study of The DASH Algorithm For Software Property Checking.
Kasper Føns 30-05-2014 Anders Møller A Study of The DASH Algorithm For Software Property Checking.
Mads Pedersen 06-02-2014 Erik Ernst Lightweight Family Polymorphism Revisited.
Esben Andreasen 27-01-2014 Anders Møller Analysing Real-World Java Script.
Jeppe Welling Hansen 02-09-2013 Olivier Danvy Editorial support for first-year students in programming languages at Aarhus University
Anders Ingemann 19-02-2013 Jan Midtgaard Extracting Data from Rendered HTML Templates
Brian Melin Iversen 06-12-2012 Jan Midtgaard Information Flow Analysis of Java Bytecode
Asger Feldthaus 29-10-2012 Anders Møller Pointer Analysis for Jave Script: Techniques and Applications
Magnus Madsen 29-10-2012 Anders Møller Static Analysis of Dynamic Languages
Asger Eriksen 13-09-2012 Anders Møller Dart´s type system and success types
Rasmus Østerlund Feldthaus Hansen 10-07-2012 Jan Midtgaard Strenganalyse i Flash
Matthias Diehn Ingesman 22-03-2012 Erik Ernst En maskinelt verificeret calculus til at skifte mellem urelaterede typer
Dan Amlund Thomsen 07-11-2011 Olivier Danvy Et trancebaseret framework til sammenligning af String Matchere
Alexander Bjerremand Hansen 11-10-2011 Anders Møller and Jan Midtgaard Exception Analysis in Mlton
Casper Bach Poulsen 11-10-2011 Anders Møller Methods and tools for Automated Testing of Javascript Web Applications
Sivert Bertelsen 12-08-2011 Erik Ernst Vanskelige valg i designet af et collection-bibliotek
Martin Castberg Thuesen 08-07-2011 Anders Møller Contracts for jQuery
Ian Steven Zerny 30-06-2011 Olivier Danvy A Synthetic Operational Account of Lazy Evaluation
Jesper Ilsøe Nielsen 03-06-2011 Anders Møller and Jan Midtgaard Engineering of sub-cubic Flow Analysis
Lene Mejlby 01-11-2010 Olivier Danvy Hvorfor er der så få kvindelige datalogistuderende? En feltanalyse på de datalogiske institutter på Aarhus Universitet samt Københavns Universitet
Simon Holm Jensen 06-10-2010 Anders Møller Testing and Analysis of Dynamic Javascript Web Applications
Jakob Grauenkjær Thomsen 13-08-2010 Michael I. Schwartzbach Lifeflow: Programmable Interactive Services
Mathias Romme Schwarz 08-07-2010 Anders Møller Improving safety and correctness of web applications
Søren Grønnegaard Andersen 17-06-2010 Erik Ernst When Grammars Are Not Enough
Kristian Klüver Jensen 27-05-2010 Anders Møller Type Checking of SQL/XML
Anders Viskum 27-05-2010 Anders Møller Automatiseret testgenerering til Java-webapplikationer
Simon Corfix Lykke 20-01-2010 Anders Møller Streaming XSLT
Smári Viðarsson Waage 20-01-2010 Anders Møller A study of Trace-based Compilation
Jakob Benjamin Boisen Juhl 20-01-2010 Anders Møller Scripting i OpenEngine
Johnni Winther 26-11-2009 Michael I. Schwartzbach A Closer Shave - Improving Precision of AST Tools
Ronny Rundberg Bruus 19-10-2009 Anders Møller Analyse af HTTP sikkerhed i Webapplikationer
Jakob Aarøe Dam 28-08-2009 Olivier Danvy A Web-Based Weather Service for Wind Sports
Muhammad Asif 13-08-2009 Erik Ernst A Safer SOA-based Middleware Interface to Cisco ACE
Fredrik Skeel Løkke 04-08-2009 Erik Ernst Design Patterns and Scala  
Lea Troels Møller Pedersen 19-03-2009 Anders Møller Program Slicing for String Analysis.  
Lars Søndergaard Pedersen 13-02-2009 Erik Ernst Native Command Queuing og Latency.  
Anders Kirkeskov Carlsen 29-01-2009 Michael Schwartzbach Evaluation of a DSL for SMC.  
Niels Ladegaard Beck 28-01-2009 Erik Ernst Optimizing LINQ-quries in C5 using Indices.  
Kim Birkelund 19-01-2009 Erik Ernst Virtual Classes and Dynamic Composition on a Statically Typed Virtual Machine
Jacob Johannsen 25-06-2008 Olivier Danvy Et studie af Abadi & Cardellis type-løse objekt-calculus  
Anders Bach Madsen 03-06-2008 Erik Ernst Efficient Virtual Machine Support for Dynamic Patterns
Jing Wang 26-05-2008 Michael Schwartzbach HTML Personalization. HTML to XHTML Transformation, CSS Normalization and Ads Replacement  
Per Graa 16-04-2008 Michael Schwartzbach A Survey of syntax extension tools for Java  
Sune Koch Hansen 31-03-2008 Anders Møller Call-Graph analysis for Javascript  
Martin Mortensen 09-11-2007 Michael Schwartzback High Level Programming Language Compiling to a cellular Automata Processing Model  
Anders Jacobsen 28-09-2007 Anders Møller Analysis of SAX Applications  
Bárdur Háskor 23-08-2007 Anders Møller Analysis of String Expressions  
Jonas Krarup Dam 23-08-2007 Anders Møller Static validation of XHTML Output from Java Servlets and JSP  
Rasmus Nygaard Andersen 23-08-2007 Anders Møller Survey of Web-application Frameworks  
Rune Simonsen 23-08-2007 Anders Møller Statisk analyse af JavaScript: Indledende arbejde  
Reasmus Kromann-Larsen 23-08-2007 Anders Møller Statisk analyse af JavaScript: Indledende arbejde  
Thomas John Hørlyck Christensen 29-06-2007 Michael Schwartzbach og Peter Gorm Larsen Cognitive-behavioral Therapy using Mediating Instruments  
Esben Søe Sørensen 29-06-2007 Michael Schwartzback A Domain-specific Language for Web Broesing  
Henrik Thuesen 23-05-2007 Anders Møller Type Inference for Javascript  
Johan Lund Munk 23-05-2007 Olivier Danvy A Study of Syntactic and Semantic Artifacts and its Application to Lambda. Definability, Strong Normalization, and Weak Normalization in the Prosence of State.  
Jimmy Weibel Rasmussen 07-03-2007 Mogens Nielsen A Calculus for Context Awareness  
Søren Michael Ustrup 18-06-2006 Anders Møller Analysis of coding conventions with emphasis on naming conventions and design of a plug-in for the Eclipse IDE which can automatically enforce a naming convention in Java  
Janus Dam Nielsen 30-03-2006 Anders Møller Relations between Schema Languages for XML  
Søren Kuula 30-03-2006 Michael Schwartzbach and Anders Møller Practical type-safe XSLT 2.0 stylesheet authoring  
Bo Vium Thomsen 07-02-2006 Erik Ernst Frob - A Programming Language for Multimedie Applications  
Martin Mosegaard Jensen 26-01-2006 Anders Møller Understanding Parametric Shape Analysis  
Ole Juul Kristensen 06-07-2005 Mogens Nielsen A Generic Agent Language  
Kristian Støvring Sørensen 17-06-2005 Olivier Danvy Normalization and Simple Types  
Helena Marie Meyer 24-01-2005 Mogens Nielsen Model checking infinite state systems: Symbolic representations, abstractions and experiments  
Jan Midtgaard 01-10-2004 Olivier Danvy From Implicit to Explicit Contexts in Operational Semantics  
Henning Korsholm Rohde 01-10-2004 Olivier Danvy Formal Aspects of Polyvariant Specialization  
Karl Kristian Krukow 06-07-2004 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Torben Ruby 23-06-2004 Anders Møller Specification, Implementation, and Verification of Web Services  
Mads Kristian Østerby Olesen 23-06-2004 Anders Møller Static Validation of XSLT  
Jeppe Ravn-Grove 23-06-2004 Michael Schwartzbach Techniques for Automatic Error Checking of Software - a Comparison  
Laust Rud Jensen 14-06-2004 Peter D. Mosses A reuse repository with automated synonym support and cluster generation  
Mads Sig Ager 09-06-2004 Olivier Danvy From Natural Semantics to Abstract Machines  
Henning Böttger 19-01-2004 Anders Møller Web development - improving cooperation between programmers and HTML deigners using contracts  
Christian Kirkegaard 20-06-2003 Michael I. Schwartzbach Dynamic XML Processing with Static Validation Abstract
Simon Aske Christensen 03-06-2003 Michael I. Schwartzbach (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Mads Vanggaard Jensen 21-01-2003 Michael I. Schwartzbach (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Jørgen Iversen 11-12-2002 Peter Mosses (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Mikkel Bjerg 25-06-2002 Michael I. Schwartzbach Static bounds on memory usage in Java programs  
Ole Friis Østergaard 25-06-2002 Michael I. Schwartzbach (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Rasmus Rohde 25-06-2002 Michael I. Schwartzbach (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Mikkel Ricky 18-06-2002 Michael I. Schwartzbach Automatisk validering af webbaserede formularer  
Mikkel Nygaard Hansen 07-06-2001 Glynn Winskel (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Tejs Bomme 24-01-2001 Michael I. Schwartzbach Redigering af regelbaserede XML-dokumenter på Internettet  
Steffen Foldager 24-01-2001 Michael I. Schwartzbach Redigering af regelbaserede XML-dokumenter på Internettet  
Anders Møller 16-06-2000 Michael I. Schwartzbach (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Oliver Möller 24-02-2000 Michael I. Schwartzbach (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Tom Pilgård 25-01-2000 Michael I. Schwartzbach Security aspects of web services  
Niels Nørgaard Pedersen 22-06-1999 Mogens Nielsen Theorem Proving with Polymorphic Types  
Lasse Reichstein Nielsen 22-06-1999 Olivier Danvy A Denotational Investigation of Defunctionalization  
Henrik Lautrup 17-06-1999 Michael I. Schwartzbach A Web Programming Survey  
Ulrik Skyt 17-06-1999 Michael I. Schwartzbach Compiler Directed Memory Coherence for Parallel Computing  
Jacob Elgaard 15-06-1999 Michael I. Schwartzbach Verifying C Pointer Programs Using Monadic Second-Order Logic  
Niels Damgaard 04-06-1999 Michael I. Schwartzbach (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Belmina Dzafic 27-01-1999 Olivier Danvy Formalizing Program Transformations  
Morten Værum 26-01-1999 Michael I. Schwartzbach A Web Programming Survey  
Claus Rasmussen Brabrand 26-01-1999 Michael I. Schwartzbach Synthesizing Safety Controllers for Interactive Web Services  
Emmanouil Marinos 26-01-1999 Michael I. Schwartzbach WIG Database  
Thomas Hune 11-12-1998 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Lars Ræder Clausen 23-06-1998 Olivier Danvy Intensional and Extensional Aspects of Java byte code  
John Rasmussen 28-01-1998 Mogens Nielsen Implementation of realtime CCS  
Morten Rhiger 28-01-1998 Olivier Danvy A Study in Higher-Order Programming Languages  
Hanne Gottliebsen 28-01-1998 Peter Mosses Combinatory Reduction Systems and Natural Semantics  
Henrik Enstrøm 26-01-1998 Glynn Winskel (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Ulrik Pagh Schultz 20-06-1997 Olivier Danvy Implicit and Explicit Aspects of Scope and Block Structure  
Jan Rene Vestergaard 18-06-1997 Olivier Danvy From Proof Normalization to Compiler Generation and Type-Directed Change-of-Representation  
Thomas Troels Hildebrandt 10-06-1997 Glynn Winskel (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Jesper Gulmann Henriksen 04-06-1997 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Anders Bækgaard Sandholm 23-05-1997 Michael I. Schwartzbach (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Peer Gunnar Duschner 14-01-1997 Mogens Nielsen A Discrete Responsiveness Framework for Concurrent Processes  
Michael Edgar Jørgensen 13-01-1997 Michael I. Schwartzbach (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Ole Jakob Lundager Jensen 13-01-1997 Michael I. Schwartzbach (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Morten Hoffmann Sørensen 20-06-1996 Michael I. Schwartzbach Rutebeskrivelser i C  
Tommy Thorn 16-01-1996 Olivier Danvy A Symbolic Approach to Binding-Time Analysis  
Kim Sunesen 05-12-1995 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Christian Lynbech 04-08-1995 Peter Mosses (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Jens Cornelius Olsen 14-06-1995 Michael I. Schwartzbach Type inference of BETA  
Jørgen Greve 14-06-1995 Michael I. Schwartzbach Type inference of BETA  
Jais Lytje Hansen 14-06-1995 Olivier Danvy Language design through extension  
Christian Otkjær 14-06-1995 Olivier Danvy Language design through extension  
Søren Bøgh Lassen 10-03-1995 Peter Mosses (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Jesper Buhl 16-01-1995 Peter Mosses Communicative action semantics  
Kristian Lippert 18-04-1994 Michael I. Schwartzbach Partial Products and their Implementation  
Anders Tvedt 18-04-1994 Michael I. Schwartzbach Partial Products and their Implementation  
Ole Ildsgaard Hougaard 07-04-1994 Michael I. Schwartzbach (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Hosein Askari 07-04-1994 Michael I. Schwartzbach Implicit Typing for Turbo Pascal - teknikker og deres anvendelse  
Peter Ørbæk 25-01-1994 Peter Mosses Analysis and Optimization of Actions  
Christian Clausen 17-01-1994 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Bettina Blaaberg Sørensen 29-11-1993 Glynn Winskel (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Allan Cheng 29-11-1993 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Torben Brauner 26-11-1993 Glynn Winskel (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Poul Christiansen 10-05-1993 Glynn Winskel (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Hans Jakob Pedersen 10-05-1993 Glynn Winskel (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Tony Thisted Jacobsen 04-05-1993 Peter Mosses Towards a Realistic Type Inference System for Action Semantics  
Jacob Havkrog Jørgensen 26-01-1993 Peter Mosses Terminering af associativ kommutativ genskrivning  
Dorthe Torp Jensen 22-01-1993 Mogens Nielsen Lokaliteter i Procesalgebra  
Ebbe Skak Larsen 23-12-1992 Michael I. Schwartzbach SCAMIRA - A functional language with implicit scaling  
Nicholas Oxhøj 23-06-1992 Michael I. Schwartzbach Practical Object-Oriented Type Inference  
Claus Torp Jensen 13-05-1992 Glynn Winskel (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Sten Agerholm 25-09-1991 Glynn Winskel Mechanizing Program Verification in HOL  
Ann-Grete Tan 20-09-1991 Glynn Winskel Programming with Proofs  
Anders Pilegaard 20-09-1991 Glynn Winskel Programming with Proofs  
Rasmus Møller 17-01-1991 Peter Mosses SADL - Et sprog til beskrivelse og simulering af systoliske algoritmer  
Jens Groth Andreasen 16-01-1991 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Urban Engberg 15-06-1990 Mogens Nielsen A Simulator Study of Graph Reduction in Distributed Systems  
Jens Nielsen 15-06-1990 Peter Mosses SADL - Et sprog til beskrivelse og simulering af systoliske algoritmer  
Poul Lassen 14-06-1990 Peter Mosses (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Heine Christensen 22-02-1990 Mogens Nielsen Automatic Programming in the Small  
Henrik Reif Andersen 22-01-1990 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Søren Christensen 22-01-1990 Mogens Nielsen A Model for Concurrent Systems  
Gregor Stenderup 13-11-1989 Peter Mosses EDB støtte til arbejde med Feynman-diagrammer indenfor højenergifysik  
Susanne Brogaard Bondesen 19-06-1989 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Finn Almind Brodersen 27-01-1989 Mogens Nielsen An Experimental Study of Parallel Graph Reduction Machines  
Keld Pedersen 02-11-1988 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Jakob Holm 12-09-1988 Mogens Nielsen An Experimental Study of Parallel Graph Reduction Machines  
Jørgen Nørgård Petersen 22-08-1988 Peter Mosses (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Kim Skak Larsen 17-08-1988 Mogens Nielsen A Fully Abstract Model for a Process Algebra with Refinement  
Søren Top 20-07-1988 Mogens Nielsen TPLASK - Et analyse og systemudviklingsredskab for automatisk programmering af temporallogiske specifikationer over parallelle processers kommunikation?  
Jens Palsberg Jørgensen 20-06-1988 Peter Mosses An Action Semantics for Inheritance  
Kurt Byskov 20-06-1988 Peter Mosses (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Tom Hesselvig Hagelskjær 29-02-1988 Mogens Nielsen Petri Nets - A Bridge from Behaviour to Structure.  
Kurt Fleckner 01-08-1986 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Eigil Mahs 01-08-1986 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Søren Weibel Mortensen 30-07-1986 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Jan Rubæk Pedersen 30-07-1986 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Jens Stausgaard 30-07-1986 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Ib-Michael Martinsen 30-07-1986 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Uffe Henrik Engberg 01-07-1986 Mogens Nielsen A Calculus of Communicating Systems with Label Passing Abstract
Bjarne Poulsen 10-01-1986 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Per Rye Filskov 03-07-1985 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Carsten Bundgaard 03-07-1985 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Inger Bohlbro 01-07-1985 Peter Mosses Programtransformationer og abstrakte semantiske algebraer  
Jan Holdam 25-06-1985 Peter Mosses Gipsy- Et system til syntaksdirigeret interaktiv dokumentbehandling  
Claus Nørgård 25-06-1985 Peter Mosses (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Jakob Westermann Krog 14-05-1985 Mogens Nielsen An Experimental Study Of Parallel Execution Of Logic Programs Abstract
Bjarne Grevsen Thams 15-02-1985 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Finn Terpling 01-02-1985 Mogens Nielsen (No title available. If you know the title, please send an email to ajensen@cs.au.dk)  
Lars Dahl 31-10-1983 Mogens Nielsen Dokumentation af multiprogrammer  
Gudmund Skovbjerg Frandsen 01-02-1983 Mogens Nielsen En sammenhæng mellem proces og struktur - modal logik - netteori.  
Jens Dohn 01-12-1982 Peter Mosses Semantik af Abstrakte Datastrukturer  
Andreas Lorenzen 03-08-1982 Mogens Nielsen Synkron/asynkron kommunikation - oversættelse af et actorsprog til CCS  
Torben Fogh 24-07-1981 Mogens Nielsen En semantik for synkroniserede parallelle processer  
Torben Bech Larsen 08-10-1980 Mogens Nielsen Formal Analysis of Distributed Database Algorithms  
Karsten Stær 29-05-1980 Peter Mosses Semantic descriptions and modularity  
Olav Eskesen 13-07-1977 Mogens Nielsen Interaktive transducer-grammatikker  
Kristian Nyrup 29-04-1977 Mogens Nielsen Parallel Rewriting on Planar Maps: A Mathematical Model for the Development of Multicellular Organisms