Philipp Haller

87 papers A 9B 1C 5Journal 35Unranked 26

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Failure-Transparent Actors. Concurrent Programming, Open Systems and Formal Methods Jonas Spenger, Paris Carbone, Philipp Haller
2026	J	`jnl`	JoinActors: A Modular Library for Actors with Join Patterns. CoRR Ayman Hussein, Philipp Haller, Ioannis Karras, Hernán C. Melgratti, Alceste Scalas, Emilio Tuosto
2026	J	`jnl`	JoinActors: A Modular Library for Actors with Join Patterns. Art Sci. Eng. Program. Ayman Hussein, Philipp Haller, Ioannis Karras, Hernán C. Melgratti, Alceste Scalas, Emilio Tuosto
2026	J	`jnl`	PhantomRun: Auto Repair of Compilation Errors in Embedded Open Source Software. CoRR Han Fu, Andreas Ermedahl, Sigrid Eldh, Kristian Wiklund, Philipp Haller, Cyrille Artho
2025	C	`conf`	Auto-repair without test cases: How LLMs fix compilation errors in large industrial embedded code. DSD Han Fu, Sigrid Eldh, Kristian Wiklund, Andreas Ermedahl, Philipp Haller, Cyrille Artho
2025	J	`jnl`	Auto-repair without test cases: How LLMs fix compilation errors in large industrial embedded code. CoRR Han Fu, Sigrid Eldh, Kristian Wiklund, Andreas Ermedahl, Philipp Haller, Cyrille Artho
2025	J	`jnl`	Holon Streaming: Global Aggregations with Windowed CRDTs. CoRR Jonas Spenger, Kolya Krafeld, Ruben van Gemeren, Philipp Haller, Paris Carbone
2024	—	`ch.`	A Survey of Actor-Like Programming Models for Serverless Computing. Active Object Languages: Current Research Trends Jonas Spenger, Paris Carbone, Philipp Haller
2024	—	`conf`	Behavioural Types for Heterogeneous Systems (Position Paper). PLACES@ETAPS Simon Fowler, Philipp Haller, Roland Kuhn, Sam Lindley, Alceste Scalas, Vasco T. Vasconcelos
2024	J	`jnl`	Failure Transparency in Stateful Dataflow Systems (Technical Report). CoRR Aleksey Veresov, Jonas Spenger, Paris Carbone, Philipp Haller
2024	A	`conf`	Failure Transparency in Stateful Dataflow Systems. ECOOP Aleksey Veresov, Jonas Spenger, Paris Carbone, Philipp Haller
2024	J	`jnl`	Fair Join Pattern Matching for Actors (Artifact). Dagstuhl Artifacts Ser. Philipp Haller, Ayman Hussein, Hernán C. Melgratti, Alceste Scalas, Emilio Tuosto
2024	A	`conf`	Fair Join Pattern Matching for Actors. ECOOP Philipp Haller, Ayman Hussein, Hernán C. Melgratti, Alceste Scalas, Emilio Tuosto
2024	A	`conf`	In Industrial Embedded Software, are Some Compilation Errors Easier to Localize and Fix than Others? ICST Han Fu, Sigrid Eldh, Kristian Wiklund, Andreas Ermedahl, Philipp Haller, Cyrille Artho
2024	J	`jnl`	In industrial embedded software, are some compilation errors easier to localize and fix than others? CoRR Han Fu, Sigrid Eldh, Kristian Wiklund, Andreas Ermedahl, Philipp Haller, Cyrille Artho
2024	—	`conf`	Lightweight Affine Types for Safe Concurrency in Scala (Keynote). Programming Philipp Haller
2023	J	`jnl`	P4R-Type: A Verified API for P4 Control Plane Programs. Proc. ACM Program. Lang. Jens Kanstrup Larsen, Roberto Guanciale, Philipp Haller, Alceste Scalas
2023	J	`jnl`	P4R-Type: a Verified API for P4 Control Plane Programs (Technical Report). CoRR Jens Kanstrup Larsen, Roberto Guanciale, Philipp Haller, Alceste Scalas
2023	J	`jnl`	Portals: A Showcase of Multi-Dataflow Stateful Serverless. Proc. VLDB Endow. Jonas Spenger, Chengyang Huang, Philipp Haller, Paris Carbone
2023	J	`jnl`	Statically Resolvable Ambiguity. Proc. ACM Program. Lang. Viktor Palmkvist, Elias Castegren, Philipp Haller, David Broman
2022	J	`jnl`	Effective Reskilling of Foreign-Born People at Universities - The Software Development Academy. IEEE Access Mattias Wiggberg, Elina Gobena, Matti Kaulio, Richard Glassey, Olle Bälter, Dena Hussain, Roberto Guanciale, Philipp Haller
2022	—	`conf`	Enhancing closures in scala 3 with spores3. SCALA@ECOOP Philipp Haller
2022	J	`jnl`	Expression Acceleration: Seamless Parallelization of Typed High-Level Languages. CoRR Lars Hummelgren, John Wikman, Oscar Eriksson, Philipp Haller, David Broman
2022	—	`conf`	Portals: An Extension of Dataflow Streaming for Stateful Serverless. Onward! Jonas Spenger, Paris Carbone, Philipp Haller
2021	J	`jnl`	A Chaos Engineering System for Live Analysis and Falsification of Exception-Handling in the JVM. IEEE Trans. Software Eng. Long Zhang, Brice Morin, Philipp Haller, Benoit Baudry, Martin Monperrus
2021	J	`jnl`	Consistency types for replicated data in a higher-order distributed programming language. Art Sci. Eng. Program. Xin Zhao, Philipp Haller
2021	C	`conf`	Keynote Lecture : Towards Robust, Large-scale Concurrent and Distributed Programming. ISPDC Philipp Haller
2021	B	`conf`	Resolvable ambiguity: principled resolution of syntactically ambiguous programs. CC Viktor Palmkvist, Elias Castegren, Philipp Haller, David Broman
2021	—	`conf`	WIP: Pods: Privacy Compliant Scalable Decentralized Data Services. Poly/DMAH@VLDB Jonas Spenger, Paris Carbone, Philipp Haller
2020	A	`conf`	A programming model for semi-implicit parallelization of static analyses. ISSTA Dominik Helm, Florian Kübler, Jan Thomas Kölzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi, Mira Mezini
2020	—	`conf`	Addressing the double challenge of learning and teaching enterprise technologies through peer teaching. ICSE (SEET) Richard Glassey, Olle Bälter, Philipp Haller, Mattias Wiggberg
2020	J	`jnl`	Replicated data types that unify eventual consistency and observable atomic consistency. J. Log. Algebraic Methods Program. Xin Zhao, Philipp Haller
2019	J	`jnl`	A reduction semantics for direct-style asynchronous observables. J. Log. Algebraic Methods Program. Philipp Haller, Heather Miller
2019	—	`conf`	Foundations of Consistency Types for a Higher-Order Distributed Language. LCPC Xin Zhao, Philipp Haller
2019	J	`jnl`	Language-integrated privacy-aware distributed queries. Proc. ACM Program. Lang. Guido Salvaneschi, Mirko Köhler, Daniel Sokolowski, Philipp Haller, Sebastian Erdweg, Mira Mezini
2019	J	`jnl`	On consistency types for lattice-based distributed programming languages. CoRR Xin Zhao, Philipp Haller
2019	J	`jnl`	Programming Languages for Distributed Systems (NII Shonan Meeting 149). NII Shonan Meet. Rep. Philipp Haller, Guido Salvaneschi, Takuo Watanabe, Gul Agha
2019	J	`jnl`	Programming Languages for Distributed Systems and Distributed Data Management (Dagstuhl Seminar 19442). Dagstuhl Reports Carla Ferreira, Philipp Haller, Guido Salvaneschi
2019	J	`jnl`	Resolvable Ambiguity. CoRR Viktor Palmkvist, Elias Castegren, Philipp Haller, David Broman
2019	J	`jnl`	Special issue on the tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software. J. Log. Algebraic Methods Program. Philipp Haller, Vasco Thudichum Vasconcelos
2018	J	`jnl`	A Chaos Engineering System for Live Analysis and Falsification of Exception-handling in the JVM. CoRR Long Zhang, Brice Morin, Philipp Haller, Benoit Baudry, Martin Monperrus
2018	J	`jnl`	A programming model and foundation for lineage-based distributed computation. J. Funct. Program. Philipp Haller, Heather Miller, Normen Müller
2018	—	`conf`	Agile and Adaptive Learning via the ECK-model in the Software Development Academy. EC-TEL (Practitioner Proceedings) Richard Glassey, Mattias Wiggberg, Philipp Haller
2018	—	`conf`	Extending Scala with records: design, implementation, and evaluation. SCALA@ICFP Olof Karlsson, Philipp Haller
2018	J	`jnl`	Front Matter - ECOOP 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. Maria Christakis, Philipp Haller, Marianna Rapoport
2018	—	`conf`	Observable atomic consistency for CvRDTs. AGERE!@SPLASH Xin Zhao, Philipp Haller
2018	J	`jnl`	Observable atomic consistency for CvRDTs. CoRR Xin Zhao, Philipp Haller
2018	—	`book`	Programming with Actors - State-of-the-Art and Research Perspectives Alessandro Ricci, Philipp Haller
2017	J	`jnl`	Front Matter - ECOOP 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. Philipp Haller, Michael Pradel, Tijs van der Storm
2017	—	`conf`	Modular Responsive Web Design: An Experience Report. Programming Lucas Wiener, Tomas Ekholm, Philipp Haller
2017	—	`ed.`	Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2017, Uppsala, Sweden, 29th April 2017. PLACES@ETAPS Vasco T. Vasconcelos, Philipp Haller
2017	—	`ed.`	Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017 SCALA@SPLASH Heather Miller, Philipp Haller, Ondrej Lhoták
2017	—	`conf`	Quantifying and Explaining Immutability in Scala. PLACES@ETAPS Philipp Haller, Ludvig Axelsson
2017	—	`conf`	Towards an Empirical Study of Affine Types for Isolated Actors in Scala. PLACES@ETAPS Philipp Haller, Fredrik Sommar
2016	—	`conf`	Function passing: a model for typed, distributed functional programming. Onward! Heather Miller, Philipp Haller, Normen Müller, Jocelyn Boullier
2016	A	`conf`	LaCasa: lightweight affinity and object capabilities in Scala. OOPSLA Philipp Haller, Alexander Loiko
2016	J	`jnl`	Object Capabilities and Lightweight Affinity in Scala: Implementation, Formalization, and Soundness. CoRR Philipp Haller, Alexandre Loiko
2016	—	`ed.`	Proceedings of the 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE 2016, Amsterdam, The Netherlands, October 30, 2016 AGERE!@SPLASH Sylvan Clebsch, Travis Desell, Philipp Haller, Alessandro Ricci
2016	—	`conf`	Reactive Async: expressive deterministic concurrency. SCALA@SPLASH Philipp Haller, Simon Geries, Michael Eichberg, Guido Salvaneschi
2016	J	`jnl`	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. Philipp Haller, Elisa Gonzalez Boix
2015	J	`jnl`	A Formal Model for Direct-style Asynchronous Observables. CoRR Philipp Haller, Heather Miller
2015	—	`conf`	A Type-Based Foundation for Closure-Passing in the Age of Concurrency and Distribution. Software Engineering & Management Heather Miller, Philipp Haller
2015	—	`conf`	Akka.js: towards a portable actor runtime environment. AGERE!@SPLASH Gianluca Stivan, Andrea Peruffo, Philipp Haller
2015	—	`conf`	Distributed Programming via Safe Closure Passing. PLACES Philipp Haller, Heather Miller
2015	J	`jnl`	Modular Responsive Web Design using Element Queries. CoRR Lucas Wiener, Tomas Ekholm, Philipp Haller
2015	—	`ed.`	Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE! 2015, Pittsburgh, PA, USA, October 26, 2015 AGERE!@SPLASH Elisa Gonzalez Boix, Philipp Haller, Alessandro Ricci, Carlos A. Varela
2015	—	`ed.`	Proceedings of the 6th ACM SIGPLAN Symposium on Scala, Scala@PLDI 2015, Portland, OR, USA, June 15-17, 2015 Scala@PLDI Philipp Haller, Heather Miller
2015	—	`conf`	Workshop preview of the 2015 workshop on programming based on actors, agents, and decentralized control (AGERE! 2015). SPLASH (Companion Volume) Elisa Gonzalez Boix, Philipp Haller, Alessandro Ricci, Carlos A. Varela
2014	—	`conf`	AGERE!: programming based on actors, agents, and decentralized control. SPLASH (Companion Volume) Alessandro Ricci, Elisa Gonzalez Boix, Philipp Haller, Carlos A. Varela
2014	—	`conf`	Containers and aggregates, mutators and isolates for reactive programming. SCALA@ECOOP Aleksandar Prokopec, Philipp Haller, Martin Odersky
2014	—	`conf`	Functional programming for all! scaling a MOOC for students and professionals alike. ICSE Companion Heather Miller, Philipp Haller, Lukas Rytz, Martin Odersky
2014	—	`ed.`	Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, AGERE! 2014, Portland, OR, USA, October 20, 2014 AGERE!@SPLASH Elisa Gonzalez Boix, Philipp Haller, Alessandro Ricci, Carlos A. Varela
2014	—	`ed.`	Proceedings of the Fifth Annual Scala Workshop, SCALA@ECOOP 2014, Uppsala, Sweden, July 28-29, 2014 SCALA@ECOOP Philipp Haller, Heather Miller
2014	A	`conf`	Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution. ECOOP Heather Miller, Philipp Haller, Martin Odersky
2013	A	`conf`	Instant pickles: generating object-oriented pickler combinators for fast and extensible serialization. OOPSLA Heather Miller, Philipp Haller, Eugene Burmako, Martin Odersky
2012	—	`conf`	FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction. LCPC Aleksandar Prokopec, Heather Miller, Tobias Schlatter, Philipp Haller, Martin Odersky
2012	A	`conf`	Lightweight Polymorphic Effects. ECOOP Lukas Rytz, Martin Odersky, Philipp Haller
2012	—	`conf`	On the integration of the actor model in mainstream technologies: the scala perspective. AGERE!@SPLASH Philipp Haller
2012	J	`jnl`	Scala-Virtualized: linguistic reuse for deep embeddings. High. Order Symb. Comput. Tiark Rompf, Nada Amin, Adriaan Moors, Philipp Haller, Martin Odersky
2012	C	`conf`	Scala-virtualized. PEPM Adriaan Moors, Tiark Rompf, Philipp Haller, Martin Odersky
2011	—	`book`	Actors in Scala - concurrent programming for the multi-core era. Philipp Haller, Frank Sommers
2010	A	`conf`	Capabilities for Uniqueness and Borrowing. ECOOP Philipp Haller, Martin Odersky
2010	—	`—`	Isolated Actors for Race-Free Concurrent Programming. Philipp Haller
2009	J	`jnl`	Scala Actors: Unifying thread-based and event-based programming. Theor. Comput. Sci. Philipp Haller, Martin Odersky
2008	C	`conf`	Implementing Joins Using Extensible Pattern Matching. COORDINATION Philipp Haller, Tom Van Cutsem
2007	C	`conf`	Actors That Unify Threads and Events. COORDINATION Philipp Haller, Martin Odersky
2006	—	`conf`	Event-Based Programming Without Inversion of Control. JMLC Philipp Haller, Martin Odersky