Philipp Haller -

Registered user since Mon 9 Mar 2015

Name:Philipp Haller

Bio:

Associate Professor in the School of Electrical Engineering and Computer Science at KTH Royal Institute of Technology in Stockholm, Sweden.

Country:Sweden

Affiliation:KTH Royal Institute of Technology

Personal website:https://people.kth.se/~phaller/

Research interests:Programming languages, type systems, concurrent and distributed programming

Contributions

SPLASH 2023	PC Member in OOPSLA Review Committee within the OOPSLA-track
‹Programming› 2023	Session Chair of Research Papers 1 (part of Research Papers) Author of Consistency types for replicated data in a higher-order distributed programming language within the Research Papers-track
CC 2023	Committee Member in Program Committee within the Research Papers-track
POPL 2023	Author of Statically Resolvable Ambiguity within the POPL-track
SPLASH 2022	Author of Portals: An Extension of Dataflow Streaming for Stateful Serverless within the Onward! Papers-track
ECOOP 2022	Session Chair of VCOOP 5 (part of Research Papers) Session Chair of VCOOP 12 (part of Research Papers) Session Chair of VCOOP 10 (part of Research Papers) Committee Member in Program Committee within the Research Papers-track Session Chair of VCOOP 7 (part of Research Papers) VCOOP Co-Chair in Organizers Session Chair of VCOOP 3 (part of Research Papers)
Scala 2022	Author of Enhancing Closures in Scala with Blocks within the Scala 2022-track
‹Programming› 2022	Committee Member in Research Papers within the Research Papers-track
SPLASH 2021	Committee Member in External Review Committee within the OOPSLA-track
IWACO 2021	Committee Member in Program Committee within the IWACO [Cancelled]-track
ICSE 2021	Author of A Chaos Engineering System for Live Analysis and Falsification of Exception-handling in the JVM within the Journal-First Papers-track
‹Programming› 2021	Author of Consistency types for replicated data in a higher-order distributed programming language within the Research Papers-track Co-chair in Organizing Committee within the Student Research Competition (canceled)-track Student Research Competition Co-Chair in Organizing Committee
CC 2021	Author of Resolvable Ambiguity: Principled Resolution of Syntactically Ambiguous Programs within the CC Research Papers-track
SPLASH 2020	Committee Member in External Review Committee within the OOPSLA-track
ECOOP 2020	Committee Member in Program Committee within the Research Papers-track
ISSTA 2020	Author of A Programming Model for Semi-implicit Parallelization of Static Analyses within the Technical Papers-track
ICSE 2020	Author of Addressing the Double Challenge of Learning and Teaching Enterprise Technologies through Peer Teaching within the Software Engineering Education and Training-track
‹Programming› 2020	Co-chair in Organizing Committee within the Student Research Competition-track Student Research Competition Co-Chair in Organizing Committee
APLAS 2019	Ordinary PC member in Program Committee within the Research Papers-track
SPLASH 2019	Author of Language-Integrated Privacy-Aware Distributed Queries within the OOPSLA-track Author of Language-Integrated Privacy-Aware Distributed Queries within the Posters-track
AGERE 2019	Committee Member in Program Committee within the AGERE 2019-track
ECOOP 2019	Author of Asynchronous streams in direct style with and without macros within the Curry On-track
Scala 2019	Author in Steering Committee within the Scala 2019-track
‹Programming› 2019	Committee Member in Jury within the Student Research Competition-track Committee Member in Program Committee within the Research Papers-track Student Research Competition Co-Chair in Organizing Committee Co-chair in Organizing Committee within the Student Research Competition-track Session Chair of Language Design, Types, and Monads (part of Research Papers) Session Chair of Poster Session (part of Student Research Competition) Session Chair of Oral Presentation (part of Student Research Competition)
ProWeb'19	Committee Member in Program Committee within the ProWeb'19-track
AGERE 2018	Author of Observable atomic consistency for CvRDTs within the AGERE-track
OCAP 2018	Author of Formal Methods Panel within the OCAP 2018-track
SPLASH 2018	Session Chair of II (part of DocSymposium) Session Chair of IV (part of DocSymposium) Mentor in Mentors within the Breakfasts-track Chair of Lightning Talks within the DocSymposium-track Chair in Program Committee within the DocSymposium-track Session Chair of I (part of DocSymposium) Chair of Welcome and Introduction within the DocSymposium-track Doctoral Symposium Chair in Organizing Committee Chair in Organizers within the DocSymposium-track Chair of Closing Remarks within the DocSymposium-track Chair in Academic Panel within the DocSymposium-track Session Chair of III (part of DocSymposium) Author of Observable atomic consistency for CvRDTs within the Posters-track
Onward! 2018	Session Chair of Language Design (part of Onward! Papers) Committee Member in Program Committee within the Onward! Papers-track
Scala 2018	Session Chair of Session 2: Scala Extensions & Parsing (part of Scala 2018) Author of Extending Scala with Records: Design, Implementation, and Evaluation within the Scala 2018-track Session Chair of Student Talks 2 (part of Scala 2018) Committee Member in Steering Committee within the Scala 2018-track
ECOOP 2018	Presenter of Distinguished Artifact Award within the ECOOP Keynotes-track Artifact Evaluation Co-Chair in Organizing Committee Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track Session Chair of Types (part of ECOOP Research Papers)
Programming for the Large 2018	Committee Member in Program Committee within the Programming for the Large 2018 (cancelled)-track
‹Programming› 2018	Committee Member in Program Committee within the Research Papers-track Session Chair of SRC Poster Presentation (part of Student Research Competition) Student Research Competition Chair in Organizing Committee Student Research Competition Chair in Organizing Committee within the Student Research Competition-track
ProWeb 2018	Committee Member in Program Committee within the ProWeb 2018-track
OCAP 2017	Committee Member in Program Committee within the OCAP 2017-track
SPLASH 2017	Committee Member in Program Committee within the Doctoral Symposium-track Committee Member in Program Committee within the Workshops-track
GPCE 2017	Committee Member in Program Committee within the GPCE 2017-track
Scala 2017	Scala'17 Program Chair in Organizing Committee within the Scala 2017-track Session Chair of Keynote Sunday (part of Scala 2017) Committee Member in Steering Committee within the Scala 2017-track
SEPS 2017	Speaker of SEPS Keynote: Taming Concurrent Programming with Domain-Specific Languages within the SEPS 2017-track Panelist of Panel discussions: "Open source software and tools for engineering parallel software" within the SEPS 2017-track
ECOOP 2017	Committee Member in Program Committee within the ECOOP Research Papers-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track Session Chair of Types and Effects (part of ECOOP Research Papers) Artifact Evaluation Chair in Organizing Committee
IC 2017	Author of Privacy-aware Distributed Incremental Computation within the IC 2017-track
IWACO 2017	Committee Member in Program Committee within the IWACO 2017-track
ProWeb 2017	Author of Modular Responsive Web Design: An Experience Report within the ProWeb 2017-track
CC 2017	Committee Member in Program Committee within the Research Papers-track
AGERE 2016	Committee Member in Organizing Committee within the AGERE 2016-track
Onward! 2016	Author of Function Passing: A Model for Typed, Distributed Functional Programming within the Onward! Papers-track
REBLS 2016	Committee Member in Program Committee within the REBLS-track
SPLASH 2016	Author of LaCasa: Lightweight Affinity and Object Capabilities in Scala within the OOPSLA-track Session Chair of Session 11 (part of SPLASH-I)
Scala 2016	Session Chair of Analysis, Testing & Verification (part of Scala) Author of Reactive Async: Expressive Deterministic Concurrency within the Scala-track Committee Member in Program Committee within the Scala-track
ECOOP 2016	Invited Speaker in Invited Speakers within the Doctoral Symposium-track Committee Member in Program Committee within the Research Track-track Invited Speaker of Invited Talk: Papers vs. Artefacts within the Doctoral Symposium-track Committee Member in Senior Mentors within the Summer School-track
PMLDC 2016	Committee Member in Program Committee within the PMLDC-track
SPLASH 2015	Committee Member in Organizing Committee within the Doctoral Symposium-track Speaker of DS Invited Keynote Talk III: Papers vs. Artifacts within the Doctoral Symposium-track
REBLS 2015	Committee Member in Program Committee within the REBLS-track
ETX 2015	Speaker of ETX Keynote: High-Level Concurrency Libraries: Challenges for Tool Support within the ETX-track
AGERE! 2015	Author of Akka.js: Towards a portable actor runtime environment within the AGERE-track Committee Member in Organizing Committee within the AGERE-track Session Chair of Keynote + Abstraction (part of AGERE)
PLOOC 2015	Author of Functional Programming For All! Scaling a MOOC for Students and Professionals Alike within the PLOOC 2015-track
Scala 2015	General Co-Chair in Program Committee within the Scala-track
AGERE!	Committee Member in Program Committee Committee Member in Organizing Committee
SPLASH 2013	Author of Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization within the OOPSLA-track
AGERE 2012	Author of On the integration of the actor model in mainstream technologies: the scala perspective within the AGERE 2012-track Committee Member in Program Committee within the AGERE 2012-track