Philipp Haller
References
• [1]: http://store.steampowered.com/stats/content/
• [2]: https://www.itbusinessedge.com/cm/blogs/lawson/the-big-data-software-problem-behind-cerns-higgs-boson-hunt/?cs=50736
• [3]: https://www.statista.com/statistics/282087/number-of-monthly-active-twitter-users/
• [4] Mark S. Miller. Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control. PhD thesis, 2006
• [5] Haller and Loiko. LaCasa: Lightweight affinity and object capabilities in Scala. OOPSLA 2016
• [6] Erik Reimers. Lightweight Software Isolation via Flow-Sensitive Capabilities in Scala. Master's thesis, KTH, 2017 (supervisor Philipp Haller)
• [7] Haller, Sommar. Towards an Empirical Study of Affine Types for Isolated Actors in Scala. [email protected] 2017
• [8] Kuper et al. Freeze after writing: quasi-deterministic parallel programming with LVars. POPL 2014
• [9] Haller, Geries, Eichberg, and Salvaneschi. Reactive Async: Expressive Deterministic Concurrency. Scala Symposium 2016
• [10] Miller, Haller, and Odersky. Spores: a type-based foundation for closures in the age of concurrency and distribution. ECOOP 2014
• [11] Haller, Miller, and Müller. A programming model and foundation for lineage-based distributed computation. Journal of Functional
Programming 28 (2018): e7
• [12] Zhao, Haller. Observable atomic consistency for CvRDTs. CoRR abs/1802.09462 (2018)
• [13] Salvaneschi, Köhler, Haller, Erdweg, and Mezini. Language-Integrated Privacy-Aware Distributed Queries. 2018, draft
• [14] Zhang, Morin, Haller, Baudry, Monperrus. A Chaos Engineering System for Live Analysis and Falsification of Exception-handling in the JVM.
CoRR abs/1805.05246 (2018)
72