Philipp Haller

According to our database, Philipp Haller authored at least 69 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Fair Join Pattern Matching for Actors (Artifact).

Philipp Haller, Ayman Hussein, Hernán C. Melgratti, Alceste Scalas, Emilio Tuosto

Dagstuhl Artifacts Ser., 2024

Failure Transparency in Stateful Dataflow Systems (Technical Report).

Aleksey Veresov, Jonas Spenger, Paris Carbone, Philipp Haller

CoRR, 2024

Behavioural Types for Heterogeneous Systems (Position Paper).

Simon Fowler, Philipp Haller, Roland Kuhn, Sam Lindley, Alceste Scalas, Vasco T. Vasconcelos

Proceedings of the Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2024

Lightweight Affine Types for Safe Concurrency in Scala (Keynote).

Philipp Haller

Proceedings of the Companion Proceedings of the 8th International Conference on the Art, 2024

In Industrial Embedded Software, are Some Compilation Errors Easier to Localize and Fix than Others?

Han Fu, Sigrid Eldh, Kristian Wiklund, Andreas Ermedahl, Philipp Haller, Cyrille Artho

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

Failure Transparency in Stateful Dataflow Systems.

Aleksey Veresov, Jonas Spenger, Paris Carbone, Philipp Haller

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

Fair Join Pattern Matching for Actors.

Philipp Haller, Ayman Hussein, Hernán C. Melgratti, Alceste Scalas, Emilio Tuosto

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

A Survey of Actor-Like Programming Models for Serverless Computing.

Jonas Spenger, Paris Carbone, Philipp Haller

Proceedings of the Active Object Languages: Current Research Trends, 2024

2023

P4R-Type: A Verified API for P4 Control Plane Programs.

Jens Kanstrup Larsen, Roberto Guanciale, Philipp Haller, Alceste Scalas

Proc. ACM Program. Lang., October, 2023

Statically Resolvable Ambiguity.

Viktor Palmkvist, Elias Castegren, Philipp Haller, David Broman

Proc. ACM Program. Lang., January, 2023

Portals: A Showcase of Multi-Dataflow Stateful Serverless.

Jonas Spenger, Chengyang Huang, Philipp Haller, Paris Carbone

Proc. VLDB Endow., 2023

P4R-Type: a Verified API for P4 Control Plane Programs (Technical Report).

Jens Kanstrup Larsen, Roberto Guanciale, Philipp Haller, Alceste Scalas

CoRR, 2023

2022

Expression Acceleration: Seamless Parallelization of Typed High-Level Languages.

Lars Hummelgren, John Wikman, Oscar Eriksson, Philipp Haller, David Broman

CoRR, 2022

Effective Reskilling of Foreign-Born People at Universities - The Software Development Academy.

Mattias Wiggberg, Elina Gobena, Matti Kaulio, Richard Glassey, Olle Bälter, Dena Hussain, Roberto Guanciale, Philipp Haller

IEEE Access, 2022

Enhancing closures in scala 3 with spores3.

Philipp Haller

Proceedings of the Scala@ECOOP 2022: 13th ACM SIGPLAN Scala Symposium, 2022

Portals: An Extension of Dataflow Streaming for Stateful Serverless.

Jonas Spenger, Paris Carbone, Philipp Haller

Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, 2022

2021

A Chaos Engineering System for Live Analysis and Falsification of Exception-Handling in the JVM.

Long Zhang, Brice Morin, Philipp Haller, Benoit Baudry, Martin Monperrus

IEEE Trans. Software Eng., 2021

Consistency types for replicated data in a higher-order distributed programming language.

Xin Zhao, Philipp Haller

Art Sci. Eng. Program., 2021

Keynote Lecture : Towards Robust, Large-scale Concurrent and Distributed Programming.

Philipp Haller

Proceedings of the 20th International Symposium on Parallel and Distributed Computing, 2021

WIP: Pods: Privacy Compliant Scalable Decentralized Data Services.

Jonas Spenger, Paris Carbone, Philipp Haller

Proceedings of the Heterogeneous Data Management, Polystores, and Analytics for Healthcare, 2021

Resolvable ambiguity: principled resolution of syntactically ambiguous programs.

Viktor Palmkvist, Elias Castegren, Philipp Haller, David Broman

Proceedings of the CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, 2021

2020

Replicated data types that unify eventual consistency and observable atomic consistency.

Xin Zhao, Philipp Haller

J. Log. Algebraic Methods Program., 2020

A programming model for semi-implicit parallelization of static analyses.

Dominik Helm, Florian Kübler, Jan Thomas Kölzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi, Mira Mezini

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Addressing the double challenge of learning and teaching enterprise technologies through peer teaching.

Richard Glassey, Olle Bälter, Philipp Haller, Mattias Wiggberg

Proceedings of the ICSE-SEET 2020: 42nd International Conference on Software Engineering, Software Engineering Education and Training, Seoul, South Korea, 27 June, 2020

2019

Programming Languages for Distributed Systems (NII Shonan Meeting 149).

Philipp Haller, Guido Salvaneschi, Takuo Watanabe, Gul Agha

NII Shonan Meet. Rep., 2019

Language-integrated privacy-aware distributed queries.

Guido Salvaneschi, Mirko Köhler, Daniel Sokolowski, Philipp Haller, Sebastian Erdweg, Mira Mezini

Proc. ACM Program. Lang., 2019

Special issue on the tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software.

Philipp Haller, Vasco Thudichum Vasconcelos

J. Log. Algebraic Methods Program., 2019

A reduction semantics for direct-style asynchronous observables.

Philipp Haller, Heather Miller

J. Log. Algebraic Methods Program., 2019

Programming Languages for Distributed Systems and Distributed Data Management (Dagstuhl Seminar 19442).

Carla Ferreira, Philipp Haller, Guido Salvaneschi

Dagstuhl Reports, 2019

Resolvable Ambiguity.

Viktor Palmkvist, Elias Castegren, Philipp Haller, David Broman

CoRR, 2019

On consistency types for lattice-based distributed programming languages.

Xin Zhao, Philipp Haller

CoRR, 2019

Foundations of Consistency Types for a Higher-Order Distributed Language.

Xin Zhao, Philipp Haller

Proceedings of the Languages and Compilers for Parallel Computing, 2019

2018

A programming model and foundation for lineage-based distributed computation.

Philipp Haller, Heather Miller, Normen Müller

J. Funct. Program., 2018

Front Matter - ECOOP 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee.

Maria Christakis, Philipp Haller, Marianna Rapoport

Dagstuhl Artifacts Ser., 2018

Extending Scala with records: design, implementation, and evaluation.

Olof Karlsson, Philipp Haller

Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, 2018

Agile and Adaptive Learning via the ECK-model in the Software Development Academy.

Richard Glassey, Mattias Wiggberg, Philipp Haller

Proceedings of the EC-TEL Practitioner Proceedings 2018: 13th European Conference On Technology Enhanced Learning, 2018

Observable atomic consistency for CvRDTs.

Xin Zhao, Philipp Haller

Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, 2018

2017

Front Matter - ECOOP 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee.

Philipp Haller, Michael Pradel, Tijs van der Storm

Dagstuhl Artifacts Ser., 2017

Towards an Empirical Study of Affine Types for Isolated Actors in Scala.

Philipp Haller, Fredrik Sommar

Proceedings of the Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2017

Quantifying and Explaining Immutability in Scala.

Philipp Haller, Ludvig Axelsson

Proceedings of the Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2017

Modular Responsive Web Design: An Experience Report.

Lucas Wiener, Tomas Ekholm, Philipp Haller

Proceedings of the Companion to the first International Conference on the Art, 2017

2016

Object Capabilities and Lightweight Affinity in Scala: Implementation, Formalization, and Soundness.

Philipp Haller, Alexandre Loiko

CoRR, 2016

Special issue on the 3rd and 4th ACM SIGPLAN workshops on programming based on actors, agents, and decentralized control (AGERE! 2013/2014).

Philipp Haller, Elisa Gonzalez Boix

Comput. Lang. Syst. Struct., 2016

Reactive Async: expressive deterministic concurrency.

Philipp Haller, Simon Geries, Michael Eichberg, Guido Salvaneschi

Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

Function passing: a model for typed, distributed functional programming.

Heather Miller, Philipp Haller, Normen Müller, Jocelyn Boullier

Proceedings of the 2016 ACM International Symposium on New Ideas, 2016

LaCasa: lightweight affinity and object capabilities in Scala.

Philipp Haller, Alexander Loiko

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2015

Modular Responsive Web Design using Element Queries.

Lucas Wiener, Tomas Ekholm, Philipp Haller

CoRR, 2015

Distributed Programming via Safe Closure Passing.

Philipp Haller, Heather Miller

Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015

A Formal Model for Direct-style Asynchronous Observables.

Philipp Haller, Heather Miller

CoRR, 2015

A Type-Based Foundation for Closure-Passing in the Age of Concurrency and Distribution.

Heather Miller, Philipp Haller

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Workshop preview of the 2015 workshop on programming based on actors, agents, and decentralized control (AGERE! 2015).

Elisa Gonzalez Boix, Philipp Haller, Alessandro Ricci, Carlos A. Varela

Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

Akka.js: towards a portable actor runtime environment.

Gianluca Stivan, Andrea Peruffo, Philipp Haller

Proceedings of the 5th International Workshop on Programming Based on Actors, 2015

2014

AGERE!: programming based on actors, agents, and decentralized control.

Alessandro Ricci, Elisa Gonzalez Boix, Philipp Haller, Carlos A. Varela

Proceedings of the SPLASH'14, 2014

Functional programming for all! scaling a MOOC for students and professionals alike.

Heather Miller, Philipp Haller, Lukas Rytz, Martin Odersky

Proceedings of the 36th International Conference on Software Engineering, 2014

Containers and aggregates, mutators and isolates for reactive programming.

Aleksandar Prokopec, Philipp Haller, Martin Odersky

Proceedings of the Fifth Annual Scala Workshop, 2014

Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution.

Heather Miller, Philipp Haller, Martin Odersky

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013

Instant pickles: generating object-oriented pickler combinators for fast and extensible serialization.

Heather Miller, Philipp Haller, Eugene Burmako, Martin Odersky

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

2012

Scala-Virtualized: linguistic reuse for deep embeddings.

Tiark Rompf, Nada Amin, Adriaan Moors, Philipp Haller, Martin Odersky

High. Order Symb. Comput., 2012

Scala-virtualized.

Adriaan Moors, Tiark Rompf, Philipp Haller, Martin Odersky

Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction.

Aleksandar Prokopec, Heather Miller, Tobias Schlatter, Philipp Haller, Martin Odersky

Proceedings of the Languages and Compilers for Parallel Computing, 2012

Lightweight Polymorphic Effects.

Lukas Rytz, Martin Odersky, Philipp Haller

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

On the integration of the actor model in mainstream technologies: the scala perspective.

Philipp Haller

Proceedings of the 2nd edition on Programming systems, 2012

2011

Actors in Scala - concurrent programming for the multi-core era.

Philipp Haller, Frank Sommers

artima, ISBN: 978-0-9815316-5-6, 2011

2010

Isolated Actors for Race-Free Concurrent Programming.

Philipp Haller

PhD thesis, 2010

Capabilities for Uniqueness and Borrowing.

Philipp Haller, Martin Odersky

Proceedings of the ECOOP 2010, 2010

2009

Scala Actors: Unifying thread-based and event-based programming.

Philipp Haller, Martin Odersky

Theor. Comput. Sci., 2009

2008

Implementing Joins Using Extensible Pattern Matching.

Philipp Haller, Tom Van Cutsem

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

2007

Actors That Unify Threads and Events.

Philipp Haller, Martin Odersky

Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

2006

Event-Based Programming Without Inversion of Control.

Philipp Haller, Martin Odersky

Proceedings of the Modular Programming Languages, 7th Joint Modular Languages Conference, 2006