Philipp Haller

I am Ph.D. candidate in the School of Computer & Communication Sciences at EPFL, Switzerland, working as research/teaching assistant with Martin Odersky in the Programming Methods Lab (LAMP). I have received a Dipl.-Inform. degree (with distinction) in Computer Science from University of Karlsruhe (Germany) in 2006.

My research interests include Actors for the Scala programming language, Join Patterns, Software Transactional Memory, Ownership Types and language-based information flow security.

Projects

• Scala Actors
• Scala Joins
• Unique References for Scala

Recent Papers and Drafts

• Capabilities for Uniqueness and Borrowing
  by Philipp Haller and Martin Odersky
  to appear in Proceedings of ECOOP 2010, Slovenia, June 2010
  proofs in LAMP-REPORT-2009-004, EPFL, December 2009 (PDF, abstract, web)
• Lightweight language support for type-based, concurrent event processing
  by Philipp Haller
  accepted at Scala Workshop 2010
• Capabilities for External Uniqueness
  by Philipp Haller and Martin Odersky
  LAMP-REPORT-2009-001, EPFL, April 2009 (PDF, abstract, web)
• Scala Actors: Unifying thread-based and event-based programming
  by Philipp Haller and Martin Odersky
  Theoretical Computer Science, Volume 410, Issues 2-3, February 2009, Pages 202-220 (PDF, abstract, doi)
• Implementing Joins using Extensible Pattern Matching
  by Philipp Haller and Tom Van Cutsem
  Proceedings of the 10th International Conference on Coordination Models and Languages (Coordination'08), Oslo, Norway, June 2008 (PDF, abstract, BibTex, web, doi)
• Actors that Unify Threads and Events
  by Philipp Haller and Martin Odersky
  Proceedings of the 9th International Conference on Coordination Models and Languages (Coordination'07), Paphos, Cyprus, June 2007 (PDF, abstract, BibTex, doi)
  Best Student Paper Award
• Event-Based Programming without Inversion of Control
  by Philipp Haller and Martin Odersky
  Proceedings of the 7th Joint Modular Languages Conference (JMLC'06), Oxford, UK, September 2006 (PDF, BibTex, doi)
• An Object-Oriented Programming Model for Event-Based Actors
  by Philipp Haller
  Diploma thesis, IPD Goos, University of Karlsruhe, May 2006 (PDF)

Presentations

• Actor-Based Concurrency in Scala (with Frank Sommers) 2009 JavaOne Conference, San Francisco, CA, USA, June 2009
• Concurrent Programming in Scala: Actors and Joins, 2nd International Summer School on Trends in Concurrency (TiC'08), Prague, Czech Republic, June 2008
• Implementing Joins using Extensible Pattern Matching, 10th International Conference on Coordination Models and Languages (Coordination'08), Oslo, Norway, June 4 2008 (slides: PDF, ODP)
• An Overview of Scala, Copenhagen Programming Language Seminar (COPLAS), Invited talk (Scientific host: Martin Sulzmann), Copenhagen, Denmark, June 2 2008 (slides: PDF, ODP)
• Implementing Joins using Extensible Pattern Matching, Workshop on Declarative Aspects of Multicore Programming (DAMP'08), Co-located with ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'08), San Francisco, CA, USA, January 9 2008
• Actors that Unify Threads and Events, 9th International Conference on Coordination Models and Languages (COORDINATION'07), Paphos, Cyprus, June 7 2007 (slides)
• Scala Actors -- Scalable Multithreading on the JVM, IBM Development Lab Boeblingen, Germany, May 11 2007 (slides)

Events

• 2nd International Summer School on Trends in Concurrency (TiC'08), Prague, Czech Republic, June 2008
• 1st International Summer School on Trends in Concurrency (TiC'06), Bertinoro, Italy, July 2006 (Wiki)

Contact details