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