a person in the record
Philipp Haller
Researcher ORCID ID = 0000-0002-2659-5271
Supervised 3 doctoral students at KTH. Linked to Wikidata and ORCID.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Students3
- cited by a thesis record
Jonas Spenger“Programming Models for Failure-Transparent Distributed Systems”
2025 · KTH · doctoral - cited by a thesis record
- cited by a thesis record
Xin Zhao“Language-based Approaches to Safe and Efficient Distributed Programming”
2021 · KTH · doctoral
The line above and below
The advisors of their advisors, four steps up at most, in the thesis records and on Wikidata, each kind marked; a person in both is listed once.
Below them, within 3 steps, the record reaches 3 people: 3 cited by thesis records.
Education and career2
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- 2011 to 2012worked
- from 2014
Papers in OpenAlex104
2006most in 2019: 92026
last at KTH Royal Institute of Technology
writes on Logic, programming, and type systems, Distributed systems and fault tolerance, Parallel Computing and Optimization Techniques, Advanced Database Systems and Queries, Software Engineering Research
- indexed by OpenAlexcited 348
Scala Actors: Unifying thread-based and event-based programming
2008 · Theoretical Computer Science · 2 authors - indexed by OpenAlex2006 · Lecture notes in computer science · 2 authorscited 97
- indexed by OpenAlex2009 · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 2 authorscited 90
- indexed by OpenAlex2007 · Springer eBooks · 2 authorscited 90
- indexed by OpenAlex2012 · Lecture notes in computer science · 3 authorscited 54
- indexed by OpenAlex2012 · LISP and Symbolic Computation · 5 authorscited 50
- indexed by OpenAlexcited 47
- indexed by OpenAlex2008 · Lecture notes in computer science · 2 authorscited 43
- indexed by OpenAlex2012 · ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) · 4 authorscited 41
- indexed by OpenAlex2010 · Lecture notes in computer science · 2 authorscited 39
the 25 most cited of 104
- indexed by OpenAlexcited 38
Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution
2014 · Lecture notes in computer science · 3 authors - indexed by OpenAlex2013 · 4 authorscited 38
- indexed by OpenAlexcited 33
A Chaos Engineering System for Live Analysis and Falsification of Exception-Handling in the JVM
2019 · IEEE Transactions on Software Engineering · 5 authors - indexed by OpenAlexcited 32
FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction
2013 · Lecture notes in computer science · 5 authors - indexed by OpenAlexcited 26
LaCasa: lightweight affinity and object capabilities in Scala
2016 · 2 authors - indexed by OpenAlexcited 26
Functional programming for all! scaling a MOOC for students and professionals alike
2014 · Proceedings/Proceedings - International Conference on Software Engineering · 4 authors - indexed by OpenAlex2012 · 2 authorscited 19
- indexed by OpenAlex2018 · 2 authorscited 16
- indexed by OpenAlexcited 16
- indexed by OpenAlexcited 13
Replicated data types that unify eventual consistency and observable atomic consistency
2020 · Journal of Logical and Algebraic Methods in Programming · 2 authors - indexed by OpenAlexcited 13
- indexed by OpenAlexcited 12
Portals: An Extension of Dataflow Streaming for Stateful Serverless
2022 · ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!) · 3 authors - indexed by OpenAlexcited 9
A programming model for semi-implicit parallelization of static analyses
2020 · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · 7 authors - indexed by OpenAlex2015 · 3 authorscited 9
- indexed by OpenAlexcited 8
A programming model and foundation for lineage-based distributed computation
2018 · Journal of Functional Programming · 3 authors