Philipp Haller

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 50

Top Topics

Programming Language

Replicated Data

Technical Report

Top Venues

J. Log. Algebraic Methods Program.

Proc. ACM Program. Lang.

Publications

Simon Fowler, Philipp Haller, Roland Kuhn, Sam Lindley, Alceste Scalas, Vasco T. Vasconcelos
Behavioural Types for Heterogeneous Systems (Position Paper). PLACES@ETAPS (2024)
Han Fu, Sigrid Eldh, Kristian Wiklund, Andreas Ermedahl, Philipp Haller, Cyrille Artho
In industrial embedded software, are some compilation errors easier to localize and fix than others? CoRR (2024)
Philipp Haller
Lightweight Affine Types for Safe Concurrency in Scala (Keynote). Programming (2024)
Aleksey Veresov, Jonas Spenger, Paris Carbone, Philipp Haller
Failure Transparency in Stateful Dataflow Systems (Technical Report). CoRR (2024)
Jonas Spenger, Chengyang Huang, Philipp Haller, Paris Carbone
Portals: A Showcase of Multi-Dataflow Stateful Serverless. Proc. VLDB Endow. 16 (12) (2023)
Jens Kanstrup Larsen, Roberto Guanciale, Philipp Haller, Alceste Scalas
P4R-Type: A Verified API for P4 Control Plane Programs. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Jens Kanstrup Larsen, Roberto Guanciale, Philipp Haller, Alceste Scalas
P4R-Type: a Verified API for P4 Control Plane Programs (Technical Report). CoRR (2023)
Viktor Palmkvist, Elias Castegren, Philipp Haller, David Broman
Statically Resolvable Ambiguity. Proc. ACM Program. Lang. 7 (POPL) (2023)
Mattias Wiggberg, Elina Gobena, Matti Kaulio, Richard Glassey, Olle Bälter, Dena Hussain, Roberto Guanciale, Philipp Haller
Effective Reskilling of Foreign-Born People at Universities - The Software Development Academy. IEEE Access 10 (2022)
Philipp Haller
Enhancing closures in scala 3 with spores3. SCALA@ECOOP (2022)
Jonas Spenger, Paris Carbone, Philipp Haller
Portals: An Extension of Dataflow Streaming for Stateful Serverless. Onward! (2022)
Lars Hummelgren, John Wikman, Oscar Eriksson, Philipp Haller, David Broman
Expression Acceleration: Seamless Parallelization of Typed High-Level Languages. CoRR (2022)
Xin Zhao, Philipp Haller
Consistency types for replicated data in a higher-order distributed programming language. Art Sci. Eng. Program. 5 (2) (2021)
Philipp Haller
Keynote Lecture : Towards Robust, Large-scale Concurrent and Distributed Programming. ISPDC (2021)
Viktor Palmkvist, Elias Castegren, Philipp Haller, David Broman
Resolvable ambiguity: principled resolution of syntactically ambiguous programs. CC (2021)
Long Zhang, Brice Morin, Philipp Haller, Benoit Baudry, Martin Monperrus
A Chaos Engineering System for Live Analysis and Falsification of Exception-Handling in the JVM. IEEE Trans. Software Eng. 47 (11) (2021)
Jonas Spenger, Paris Carbone, Philipp Haller
WIP: Pods: Privacy Compliant Scalable Decentralized Data Services. Poly/DMAH@VLDB (2021)
Xin Zhao, Philipp Haller
Replicated data types that unify eventual consistency and observable atomic consistency. J. Log. Algebraic Methods Program. 114 (2020)
Dominik Helm, Florian Kübler, Jan Thomas Kölzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi, Mira Mezini
A programming model for semi-implicit parallelization of static analyses. ISSTA (2020)
Richard Glassey, Olle Bälter, Philipp Haller, Mattias Wiggberg
Addressing the double challenge of learning and teaching enterprise technologies through peer teaching. ICSE (SEET) (2020)
Carla Ferreira, Philipp Haller, Guido Salvaneschi
Programming Languages for Distributed Systems and Distributed Data Management (Dagstuhl Seminar 19442). Dagstuhl Reports 9 (10) (2019)
Philipp Haller, Guido Salvaneschi, Takuo Watanabe, Gul Agha
Programming Languages for Distributed Systems (NII Shonan Meeting 149). NII Shonan Meet. Rep. 2019 (2019)
Xin Zhao, Philipp Haller
Foundations of Consistency Types for a Higher-Order Distributed Language. LCPC (2019)
Viktor Palmkvist, Elias Castegren, Philipp Haller, David Broman
Resolvable Ambiguity. CoRR (2019)
Philipp Haller, Vasco Thudichum Vasconcelos
Special issue on the tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software. J. Log. Algebraic Methods Program. 106 (2019)
Philipp Haller, Heather Miller
A reduction semantics for direct-style asynchronous observables. J. Log. Algebraic Methods Program. 105 (2019)
Guido Salvaneschi, Mirko Köhler, Daniel Sokolowski, Philipp Haller, Sebastian Erdweg, Mira Mezini
Language-integrated privacy-aware distributed queries. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Xin Zhao, Philipp Haller
On consistency types for lattice-based distributed programming languages. CoRR (2019)
Olof Karlsson, Philipp Haller
Extending Scala with records: design, implementation, and evaluation. SCALA@ICFP (2018)
Philipp Haller, Heather Miller, Normen Müller
A programming model and foundation for lineage-based distributed computation. J. Funct. Program. 28 (2018)
Maria Christakis, Philipp Haller, Marianna Rapoport
Front Matter - ECOOP 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. 4 (3) (2018)
Long Zhang, Brice Morin, Philipp Haller, Benoit Baudry, Martin Monperrus
A Chaos Engineering System for Live Analysis and Falsification of Exception-handling in the JVM. CoRR (2018)
Richard Glassey, Mattias Wiggberg, Philipp Haller
Agile and Adaptive Learning via the ECK-model in the Software Development Academy. EC-TEL (Practitioner Proceedings) (2018)
Xin Zhao, Philipp Haller
Observable atomic consistency for CvRDTs. CoRR (2018)
Xin Zhao, Philipp Haller
Observable atomic consistency for CvRDTs. AGERE!@SPLASH (2018)
Philipp Haller, Michael Pradel, Tijs van der Storm
Front Matter - ECOOP 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. 3 (2) (2017)
Philipp Haller, Fredrik Sommar
Towards an Empirical Study of Affine Types for Isolated Actors in Scala. PLACES@ETAPS (2017)
Lucas Wiener, Tomas Ekholm, Philipp Haller
Modular Responsive Web Design: An Experience Report. Programming (2017)
Philipp Haller, Ludvig Axelsson
Quantifying and Explaining Immutability in Scala. PLACES@ETAPS (2017)
Philipp Haller, Alexander Loiko
LaCasa: lightweight affinity and object capabilities in Scala. OOPSLA (2016)
Philipp Haller, Alexandre Loiko
Object Capabilities and Lightweight Affinity in Scala: Implementation, Formalization, and Soundness. CoRR (2016)
Heather Miller, Philipp Haller, Normen Müller, Jocelyn Boullier
Function passing: a model for typed, distributed functional programming. Onward! (2016)
Philipp Haller, Elisa Gonzalez Boix
Special issue on the 3rd and 4th ACM SIGPLAN workshops on programming based on actors, agents, and decentralized control (AGERE! 2013/2014). Comput. Lang. Syst. Struct. 45 (2016)
Philipp Haller, Simon Geries, Michael Eichberg, Guido Salvaneschi
Reactive Async: expressive deterministic concurrency. SCALA@SPLASH (2016)
Gianluca Stivan, Andrea Peruffo, Philipp Haller
Akka.js: towards a portable actor runtime environment. AGERE!@SPLASH (2015)
Heather Miller, Philipp Haller
A Type-Based Foundation for Closure-Passing in the Age of Concurrency and Distribution. Software Engineering & Management (2015)
Elisa Gonzalez Boix, Philipp Haller, Alessandro Ricci, Carlos A. Varela
Workshop preview of the 2015 workshop on programming based on actors, agents, and decentralized control (AGERE! 2015). SPLASH (Companion Volume) (2015)
Philipp Haller, Heather Miller
Distributed Programming via Safe Closure Passing. PLACES (2015)
Lucas Wiener, Tomas Ekholm, Philipp Haller
Modular Responsive Web Design using Element Queries. CoRR (2015)
Philipp Haller, Heather Miller
A Formal Model for Direct-style Asynchronous Observables. CoRR (2015)
Aleksandar Prokopec, Philipp Haller, Martin Odersky
Containers and aggregates, mutators and isolates for reactive programming. SCALA@ECOOP (2014)
Heather Miller, Philipp Haller, Lukas Rytz, Martin Odersky
Functional programming for all! scaling a MOOC for students and professionals alike. ICSE Companion (2014)
Alessandro Ricci, Elisa Gonzalez Boix, Philipp Haller, Carlos A. Varela
AGERE!: programming based on actors, agents, and decentralized control. SPLASH (Companion Volume) (2014)
Heather Miller, Philipp Haller, Martin Odersky
Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution. ECOOP (2014)
Heather Miller, Philipp Haller, Eugene Burmako, Martin Odersky
Instant pickles: generating object-oriented pickler combinators for fast and extensible serialization. OOPSLA (2013)
Aleksandar Prokopec, Heather Miller, Tobias Schlatter, Philipp Haller, Martin Odersky
FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction. LCPC (2012)
Lukas Rytz, Martin Odersky, Philipp Haller
Lightweight Polymorphic Effects. ECOOP (2012)
Philipp Haller
On the integration of the actor model in mainstream technologies: the scala perspective. AGERE!@SPLASH (2012)
Tiark Rompf, Nada Amin, Adriaan Moors, Philipp Haller, Martin Odersky
Scala-Virtualized: linguistic reuse for deep embeddings. High. Order Symb. Comput. 25 (1) (2012)
Adriaan Moors, Tiark Rompf, Philipp Haller, Martin Odersky
Scala-virtualized. PEPM (2012)
Philipp Haller, Martin Odersky
Capabilities for Uniqueness and Borrowing. ECOOP (2010)
Philipp Haller, Martin Odersky
Scala Actors: Unifying thread-based and event-based programming. Theor. Comput. Sci. 410 (2-3) (2009)
Philipp Haller, Tom Van Cutsem
Implementing Joins Using Extensible Pattern Matching. COORDINATION (2008)
Philipp Haller, Martin Odersky
Actors That Unify Threads and Events. COORDINATION (2007)
Philipp Haller, Martin Odersky
Event-Based Programming Without Inversion of Control. JMLC (2006)