Matthias Neubauer

address

Universität Freiburg
Institut für Informatik
Georges-Köhler-Allee 079
79110 Freiburg i. Br.
Germany

room

00-013, building 079

phone

+49 761 203 8060

fax

+49 761 203 8052

email

neubauer [at] informatik [dot] uni-freiburg [dot] de

• Matthias Neubauer.
  Multi-Tier Programming.
  PhD Dissertation. FreiDok online publication 3104.
  Institut für Informatik, Fakultät für Angewandte Wissenschaften, Albert-Ludwigs-Universität Freiburg, Germany.
  Date of Dissertation Defense. 2007-04-27. Date of Publication. 2007-07-05.
  [.pdf]
• Matthias Neubauer and Peter Thiemann.
  From Sequential Programs to Multi-Tier Applications by Program Transformation.
  Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages [POPL 2005]. Long Beach, California, USA. January 2005.
  [.ps.gz] [.pdf] ©2005 ACM
• Matthias Neubauer and Peter Thiemann.
  Protocol Specialization.
  Proceecings of the Second ASIAN Symposium on Programming Languages and Systems [APLAS 2004]. Taipei, Taiwan. November 2004.
  [.ps.gz] [.pdf] ©2004 Springer-Verlag
  Extended Version: Technical Report 212. Institut für Informatik, University of Freiburg, Germany. August 2004.
  [.ps.gz]
• Matthias Neubauer and Peter Thiemann.
  Demonstration Abstract: Haskell Type Browser.
  Proceedings of the ACM SIGPLAN workshop on Haskell [Haskell '04]. Snowbird, Utah, USA. September 2004.
  [.ps.gz] [.pdf] ©2004 ACM
• Matthias Neubauer and Peter Thiemann.
  An Implementation of Session Types.
  To appear in: Proceedings of the Sixth International Symposium on Practical Aspects of Declarative Languages [PADL 2004]. Dallas, Texas, USA. June, 2004.
  [.ps.gz] [.pdf] ©2004 Springer-Verlag
• Peter Thiemann and Matthias Neubauer.
  Parameterized LR Parsing.
  To appear in: Proceedings of the Fourth Workshop on Language Descriptions, Tools and Applications [LDTA 2004]. Barcelona, Spain. April, 2004.
  [.ps.gz] [.pdf]
• Matthias Neubauer and Peter Thiemann.
  Discriminative Sum Types Locate the Source of Type Errors.
  Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming [ICFP 2003]. Uppsala, Sweden. August 2003.
  [.ps.gz] [.pdf] ©2003 ACM
• Matthias Neubauer and Peter Thiemann.
  Type Classes With More Higher-Order Polymorphism.
  Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming [ICFP 2002]. Pittburgh, PA, USA. October 2002.
  [.ps.gz] [.pdf] ©2002 ACM
• Matthias Neubauer, Peter Thiemann, Martin Gasbichler, and Michael Sperber.
  Functional Logic Overloading.
  Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages [POPL 2002]. Portland, OR, USA. January 2002.
  [.ps.gz] [.pdf] ©2002 ACM
• Matthias Neubauer, Peter Thiemann, Martin Gasbichler, and Michael Sperber.
  A Functional Notation for Functional Dependencies.
  The 2001 ACM SIGPLAN Haskell Workshop. Florence, Italy. September 2001.
  [.ps.gz] [.pdf]
• Matthias Neubauer and Michael Sperber.
  Down with Emacs Lisp: Dynamic Scope Analysis.
  Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming [ICFP 2001]. Florence, Italy. September 2001.
  [.ps.gz] [.pdf] ©2001 ACM
• Matthias Neubauer.
  
  Dynamic Scope Analysis for Emacs Lisp.
  Diplomarbeit, Eberhard-Karls-Universität Tübingen. December 2000.
  [.ps.gz]

courses I co-organized

• J2EE und EJB Grundlagen. Praktikum. WS 2005/06.
• Programmierwerkzeuge. Proseminar. WS 2005/06.
• Java, Grundlagen und Erweiterungen. Seminar. WS 2005/06.
• J2EE und EJB Grundlagen. Sommercampus 2005.
• Internetprogrammierung. Spezialvorlesung. SS 2005.
• Webprogrammierung. Seminar. WS 2004/05.
• Compilerbau. Praktikum. WS 2004/05.
• Compilerbau. Spezialvorlesung. WS 2004/05.
• Programmierwerkzeuge für Unix. Sommercampus 2004.
• Softwarepraktikum. SS 2004.
• Grundlagen von Programmiersprachen. Spezialvorlesung. WS 2003/04.
• Fortgeschrittene Programmierung. Seminar. WS 2003/04.
• Internetprogrammierung. Spezialvorlesung. SS 2003.
• Softwarepraktikum. WS 2002/03.
• Informatik II. Grundvorlesung. SS 2002.
• Semantics of Programming Languages. Seminar. SS 2002.
• Informatik I. Grundvorlesung. WS 2001/02.
• Softwaretechnik. Kursvorlesung. SS 2001.

• Xft for XEmacs!