Publications by Philipp Haller
Peer reviewed
Articles
[1]
J. K. Larsen et al., "P4R-Type : A Verified API for P4 Control Plane Programs," Proceedings of the ACM on Programming Languages, vol. 7, no. OOPSLA2, 2023.
[2]
V. Palmkvist et al., "Statically Resolvable Ambiguity," Proceedings of the ACM on Programming Languages, vol. 7, no. POPL, 2023.
[3]
M. Wiggberg et al., "Effective Reskilling of Foreign-Born People at Universities-The Software Development Academy," IEEE Access, vol. 10, pp. 24556-24565, 2022.
[4]
L. Zhang et al., "A Chaos Engineering System for Live Analysis and Falsification of Exception-handling in the JVM," IEEE Transactions on Software Engineering, vol. 47, no. 11, pp. 2534-2548, 2021.
[5]
X. Zhao and P. Haller, "Consistency types for replicated data in a higher-order distributed programming language," The Art, Science, and Engineering of Programming, vol. 5, no. 2, 2021.
[6]
X. Zhao and P. Haller, "Replicated data types that unify eventual consistency and observable atomic consistency," The Journal of logical and algebraic methods in programming, vol. 114, 2020.
[7]
P. Haller and H. Miller, "A reduction semantics for direct-style asynchronous observables," The Journal of logical and algebraic methods in programming, vol. 105, pp. 75-111, 2019.
[8]
G. Salvaneschi et al., "Language-integrated privacy-aware distributed queries," Proceedings of the ACM on Programming Languages, vol. 3, no. OOPSLA, pp. 167:1-167:30, 2019.
[9]
P. Haller and V. T. Vasconcelos, "Special issue on the tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software," The Journal of logical and algebraic methods in programming, vol. 106, pp. 196-197, 2019.
[10]
P. Haller, H. Miller and N. Müller, "A programming model and foundation for lineage-based distributed computation," Journal of functional programming (Print), vol. 28, 2018.
[11]
V. T. Vasconcelos and P. Haller, "Preface," Electronic Proceedings in Theoretical Computer Science, vol. 246, 2017.
[12]
P. Haller and L. Axelsson, "Quantifying and Explaining Immutability in Scala," Electronic Proceedings in Theoretical Computer Science, no. 246, pp. 21-27, 2017.
[13]
P. Haller and F. Sommar, "Towards an Empirical Study of Affine Types for Isolated Actors in Scala," Electronic Proceedings in Theoretical Computer Science, no. 246, pp. 3-9, 2017.
[14]
T. Rompf et al., "Scala-Virtualized : linguistic reuse for deep embeddings," Higher-Order and Symbolic Computation, vol. 25, no. 1, pp. 165-207, 2012.
[15]
P. Haller and M. Odersky, "Scala Actors : Unifying thread-based and event-based programming," Theoretical Computer Science, vol. 410, no. 2-3, pp. 202-220, 2009.
Conference papers
[16]
S. Fowler et al., "Behavioural Types for Heterogeneous Systems (Position Paper)," in Proceedings - 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2024, 2024, pp. 37-48.
[17]
H. Fu et al., "In industrial embedded software, are some compilation errors easier to localize and fix than others?," in Proceedings - 2024 IEEE Conference on Software Testing, Verification and Validation, ICST 2024, 2024, pp. 383-394.
[18]
P. Haller, "Lightweight Affine Types for Safe Concurrency in Scala (Keynote)," in Proceedings of the 8th International Conference on the Art, Science, and Engineering of Programming, Programming Companion 2024, 2024, pp. 133-133.
[19]
J. Spenger et al., "Portals : A Showcase of Multi-Dataflow Stateful Serverless," in Proceedings 49th International Conference on Very Large Data Bases, VLDB 2023, 2023, pp. 4054-4057.
[20]
P. Haller, "Enhancing closures in scala 3 with spores3," in Scala 2022 - Proceedings of the 2022 Scala Symposium, 2022, pp. 22-27.
[21]
J. Spenger, P. Carbone and P. Haller, "Portals : An Extension of Dataflow Streaming for Stateful Serverless," in Onward! 2022 : Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, 2022, pp. 153-171.
[22]
X. Zhao and P. Haller, "Foundations of Consistency Types for a Higher-Order Distributed Language," in Lecture Notes in Computer Science, 2021, pp. 49-63.
[23]
V. Palmkvist et al., "Resolvable ambiguity : Principled resolution of syntactically ambiguous programs," in CC 2021 : Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction, 2021.
[24]
J. Spenger, P. Carbone and P. Haller, "WIP: PODS : Privacy Compliant Scalable Decentralized Data Services," in Heterogeneous Data Management, Polystores, and Analytics for Healthcare : VLDB Workshops, Poly 2021 and DMAH 2021, Virtual Event, August 20, 2021, Revised Selected Papers, 2021, pp. 70-82.
[25]
D. Helm et al., "A programming model for semi-implicit parallelization of static analyses," in Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020, pp. 428-439.
[26]
R. Glassey et al., "Addressing the double challenge of learning and teaching enterprise technologies through peer teaching," in Proceedings - International Conference on Software Engineering, 2020, pp. 130-138.
[27]
R. Glassey, P. Haller and M. Wiggberg, "Agile and adaptive learning via the ECK-model in the software development academy," in CEUR Workshop Proceedings, 2018.
[28]
O. Karlsson and P. Haller, "Extending Scala with records : Design, implementation, and evaluation," in Scala 2018 : Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, 2018, pp. 72-82.
[29]
X. Zhao and P. Haller, "Observable atomic consistency for CvRDTs," in AGERE 2018 - Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, co-located with SPLASH 2018, 2018, pp. 23-32.
[30]
L. Wiener, T. Ekholm and P. Haller, "Modular responsive web design : An experience report," in Companion to the first International Conference on the Art, Science and Engineering of Programming, 2017.
[31]
P. Haller and H. Miller, "Distributed programming via safe closure passing," in Electronic Proceedings in Theoretical Computer Science, EPTCS, 2016, pp. 99-107.
[32]
H. Miller et al., "Function Passing: A Model for Typed, Distributed Functional Programming," in ACM Symposium on New Ideas in Programming and Reflections on Software (Onward!), 2016, pp. 82-97.
[33]
P. Haller and A. Loiko, "LaCasa : Lightweight Affinity and Object Capabilities in Scala," in Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2016, pp. 272-291.
[34]
P. Haller et al., "Reactive Async : Expressive Deterministic Concurrency," in Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala, 2016, pp. 11-20.
[35]
H. Miller and P. Haller, "A Type-Based Foundation for Closure-Passing in the Age of Concurrency and Distribution," in Software Engineering & Management 2015, 2015, pp. 41-42.
[36]
G. Stivan, A. Peruffo and P. Haller, "Akka.js : towards a portable actor runtime environment," in Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, 2015, pp. 57-64.
[37]
[38]
E. G. Boix et al., "Message from the Chairs," in AGERE 2015 - Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, 2015.
[39]
E. G. Boix et al., "Workshop preview of the 2015 workshop on programming based on actors, agents, and decentralized control (AGERE! 2015)," in SPLASH Companion 2015 - Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications : Software for Humanity, 2015, pp. 99-100.
[40]
A. Prokopec, P. Haller and M. Odersky, "Containers and aggregates, mutators and isolates for reactive programming," in SCALA 2014 - Proceedings of the 5th Annual Scala Workshop, Co-located with ECOOP 2014, 2014, pp. 51-61.
[41]
H. Miller et al., "Functional programming for all! : Scaling a MOOC for students and professionals alike," in ICSE 2014 : Companion Proceedings of the 36th International Conference on Software Engineering, 2014, pp. 256-263.
[42]
H. Miller, P. Haller and M. Odersky, "Spores : A Type-Based Foundation for Closures in the Age of Concurrency and Distribution," in ECOOP 2014 : Proceedings of the 28th European Conference on Object-Oriented Programming, 2014, pp. 308-333.
[43]
H. Miller et al., "Instant pickles: generating object-oriented pickler combinators for fast and extensible serialization," in OOPSLA 2013 : Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013, pp. 183-202.
[44]
A. Prokopec et al., "FlowPools : A Lock-Free Deterministic Concurrent Dataflow Abstraction," in Languages and Compilers for Parallel Computing : 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers, 2012, pp. 158-173.
[45]
L. Rytz, M. Odersky and P. Haller, "Lightweight Polymorphic Effects," in ECOOP 2012 – Object-Oriented Programming : 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings, 2012, pp. 258-282.
[46]
A. Moors et al., "Scala-virtualized," in 2012 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Philadelphia, Pennsylvania, USA, January 23-24, 2012, 2012, pp. 117-120.
[47]
P. Haller and M. Odersky, "Capabilities for Uniqueness and Borrowing," in ECOOP 2010 : Proceedings of the 24th European Conference on Object-Oriented Programming, 2010, pp. 354-378.
[48]
P. Haller and T. Van Cutsem, "Implementing Joins Using Extensible Pattern Matching," in COORDINATION 2008 : Proceedings of the 10th International Conference on Coordination Models and Languages, 2008, pp. 135-152.
[49]
P. Haller and M. Odersky, "Actors That Unify Threads and Events," in Coordination Models and Languages, 2007, pp. 171-190.
[50]
P. Haller and M. Odersky, "Event-Based Programming Without Inversion of Control," in Modular Programming Languages : 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings, 2006, pp. 4-22.
Non-peer reviewed
Articles
[51]
P. Haller and E. Gonzalez Boix, "Special issue on the 3rd and 4th ACM SIGPLAN workshops on programming based on actors, agents, and decentralized control (AGERE! 2013/2014)," Computer languages, systems & structures, pp. 161-162, 2016.
Conference papers
[52]
P. Haller, "On the integration of the actor model in mainstream technologies : The Scala perspective," in AGERE!@SPLASH 2012 : Proceedings of the 2nd International Workshop on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, 2012, pp. 1-5.
Chapters in books
[53]
A. Ricci and P. Haller, "Preface," in Programming with Actors : State-of-the-Art and Research Perspectives, : Springer Verlag, 2018, pp. V-VII.
Collections
[54]
"Programming with Actors : State-of-the-Art and Research Perspectives," , Springer, Lecture Notes in Computer Science, 10789, 2018.
Conference Proceedings
[55]
"Proceedings of the 8th ACM SIGPLAN International Symposium on Scala," New York, NY, USA, Association for Computing Machinery (ACM), 2017.
[56]
"Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control," New York, NY, USA, ACM Digital Library, 2015.
[57]
"Proceedings of the 6th ACM SIGPLAN Symposium on Scala," New York, NY, USA, ACM Digital Library, 2015.
[58]
"Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control," , Association for Computing Machinery (ACM), 2014.
Latest sync with DiVA:
2024-11-17 02:36:52