Dag Hovland

Affiliation:
Institutt for informatikk
Universitetet i Oslo
PB. 1080 Blindern, N-0316 Oslo

Private adress:
Øvre Lynghaugen 38
5038 Bergen

Email: hovland@ifi.uio.no. (gpg key)

Phone:
Office: (+47) 55 58 43 73
Mobile: (+47) 970 46 378
Fax: (+47) 55 58 41 99

• PhD Thesis (defended December 2010): Feasible Algorithms for Semantics - Employing Automata and Inference Systems.
• Teaching: INF121, Høsten 2009
• Presentation at LATA 2012: The Membership Problem for Regular Expressions with Unordered Concatenation and Numerical Constraints
.
• Regular Expressions with numerical constraints:
  • Search using Regular Expressions with numerical Constraints: facgrep
  • Regular Expressions with Numerical Constraints and Automata with Counters (ICTAC 2009)
• Input Validation in Java:
  • The SHIP Validator: http://shipvalidator.sourceforge.net
  • Investigating the Limitations of Java Annotations for Input Validation(ARES 2010)
• Syntax-directed algorithm for inclusion of regular expressions:
  • Based on the paper "The Inclusion Problem for Regular Expressions" (LATA 2010).
  • Implementation in Haskell.
  • A presentation in pdf.
• DBLP author publication list
• Type Systems for Component Software:
  • A Type System for Usage of Software Components. (TYPES 2008)
  • Implementation of a type system for usage of software components in ocaml. Modification of the type checker written by Haakon Viik Nilsen.
  • A Type System for Usage of Software Components. Extended Abstract. Presented at ALICS workshop, part of LPAR 2008.
  • Master thesis Type Systems for Resource Use in Component Software.
• XML Schema:
  • Presentation at Verdikt 29.10.2008.