Philipp Haller

1.2k total citations
43 papers, 453 citations indexed

About

Philipp Haller is a scholar working on Computer Networks and Communications, Hardware and Architecture and Artificial Intelligence. According to data from OpenAlex, Philipp Haller has authored 43 papers receiving a total of 453 indexed citations (citations by other indexed papers that have themselves been cited), including 27 papers in Computer Networks and Communications, 18 papers in Hardware and Architecture and 17 papers in Artificial Intelligence. Recurrent topics in Philipp Haller's work include Distributed systems and fault tolerance (21 papers), Parallel Computing and Optimization Techniques (17 papers) and Logic, programming, and type systems (12 papers). Philipp Haller is often cited by papers focused on Distributed systems and fault tolerance (21 papers), Parallel Computing and Optimization Techniques (17 papers) and Logic, programming, and type systems (12 papers). Philipp Haller collaborates with scholars based in Sweden, Switzerland and France. Philipp Haller's co-authors include Martin Odersky, Heather Miller, Tiark Rompf, Adriaan Moors, Nada Amin, Xin Zhao, Aleksandar Prokopec, Tom Van Cutsem, Brice Morin and Xin Zhao and has published in prestigious journals such as Circulation Research, IEEE Access and IEEE Transactions on Software Engineering.

In The Last Decade

Philipp Haller

39 papers receiving 409 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Philipp Haller Sweden	10	273	196	184	137	52	43	453
Roy Levin Israel	9	574 2.1×	246 1.3×	217 1.2×	180 1.3×	32 0.6×	23	738
Mario Wolczko United States	11	292 1.1×	276 1.4×	390 2.1×	145 1.1×	77 1.5×	20	574
Alan Dearle United Kingdom	14	419 1.5×	224 1.1×	160 0.9×	130 0.9×	33 0.6×	64	562
Dries Buytaert Belgium	8	381 1.4×	239 1.2×	353 1.9×	254 1.9×	120 2.3×	16	613
Michael Haupt Germany	14	373 1.4×	482 2.5×	165 0.9×	367 2.7×	86 1.7×	45	643
Russell W. Quong United States	8	144 0.5×	208 1.1×	123 0.7×	172 1.3×	141 2.7×	15	441
Sonya E. Keene	5	149 0.5×	308 1.6×	104 0.6×	173 1.3×	65 1.3×	6	456
Tia Newhall United States	10	474 1.7×	115 0.6×	346 1.9×	237 1.7×	58 1.1×	30	689
Jean-Pierre Banâtre France	10	263 1.0×	238 1.2×	65 0.4×	117 0.9×	30 0.6×	25	497
Hans van Staveren Netherlands	8	424 1.6×	152 0.8×	275 1.5×	126 0.9×	26 0.5×	12	563

Countries citing papers authored by Philipp Haller

Since Specialization

Citations

This map shows the geographic impact of Philipp Haller's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Philipp Haller with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Philipp Haller more than expected).

Fields of papers citing papers by Philipp Haller

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Philipp Haller. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Philipp Haller. The network helps show where Philipp Haller may publish in the future.

Co-authorship network of co-authors of Philipp Haller

This figure shows the co-authorship network connecting the top 25 collaborators of Philipp Haller. A scholar is included among the top collaborators of Philipp Haller based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Philipp Haller. Philipp Haller is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Haller, Philipp. (2024). Lightweight Affine Types for Safe Concurrency in Scala (Keynote). 133–133.

Guanciale, Roberto, et al.. (2023). P4R-Type: A Verified API for P4 Control Plane Programs. Proceedings of the ACM on Programming Languages. 7(OOPSLA2). 1935–1963.

Haller, Philipp, et al.. (2023). Statically Resolvable Ambiguity. Proceedings of the ACM on Programming Languages. 7(POPL). 1686–1712. 1 indexed citations

Carbone, Paris, et al.. (2022). Portals: An Extension of Dataflow Streaming for Stateful Serverless. 153–171. 6 indexed citations

Zhao, Xin & Philipp Haller. (2020). Consistency types for replicated data in a higher-order distributed programming language. arXiv (Cornell University). 5(2). 1 indexed citations

Zhao, Xin & Philipp Haller. (2019). On consistency types for lattice-based distributed programming languages.. arXiv (Cornell University). 1 indexed citations

Haller, Philipp & Heather Miller. (2019). A reduction semantics for direct-style asynchronous observables. Journal of Logical and Algebraic Methods in Programming. 105. 75–111. 3 indexed citations

Morin, Brice, et al.. (2019). A Chaos Engineering System for Live Analysis and Falsification of Exception-Handling in the JVM. IEEE Transactions on Software Engineering. 47(11). 2534–2548. 21 indexed citations

Glassey, Richard, et al.. (2018). Agile and adaptive learning via the ECK-model in the software development academy. 2193. 3 indexed citations

10.

Haller, Philipp, et al.. (2018). A programming model and foundation for lineage-based distributed computation. Journal of Functional Programming. 28. 5 indexed citations

11.

Miller, Heather, et al.. (2016). Function passing: a model for typed, distributed functional programming. KTH Publication Database DiVA (KTH Royal Institute of Technology). 82–97. 5 indexed citations

12.

Haller, Philipp, et al.. (2016). The Function Passing Model: Types, Proofs, and Semantics. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 1 indexed citations

13.

Prokopec, Aleksandar, Philipp Haller, & Martin Odersky. (2014). Containers and aggregates, mutators and isolates for reactive programming. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 51–61. 12 indexed citations

14.

Haller, Philipp & Heather Miller. (2013). RAY: Integrating Rx and Async for Direct-Style Reactive Streams. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 3 indexed citations

15.

Miller, Heather, et al.. (2013). Instant pickles. ACM SIGPLAN Notices. 48(10). 183–202. 1 indexed citations

16.

Miller, Heather, et al.. (2013). Instant pickles. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 183–202. 22 indexed citations

17.

Prokopec, Aleksandar, et al.. (2012). Multi-Lane FlowPools: A Detailed Look. Circulation Research. 59(6). 676–83. 4 indexed citations

18.

Miller, Heather, Philipp Haller, & Martin Odersky. (2011). Tools and Frameworks for Big Learning in Scala: Leveraging the Language for High Productivity and Performance. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 1 indexed citations

19.

Haller, Philipp. (2010). Isolated Actors for Race-Free Concurrent Programming. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 3 indexed citations

20.

Haller, Philipp & Martin Odersky. (2008). Scala Actors: Unifying thread-based and event-based programming. Theoretical Computer Science. 410(2-3). 202–220. 180 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact