E-LIB Suche - Ergebnisse für: Haller, Philipp

1

Lightweight Affine Types for Safe Concurrency in Scala (Key..:

, In: Companion Proceedings of the 8th International Conference on the Art, Science, and Engineering of Programming,

Haller, Philipp - p. 133 ff. , 2024

Link: https://dl.acm.org/doi/1..

2

A Survey of Actor-Like Programming Models for Serverless Co..:

, In: Lecture Notes in Computer Science; Active Object Languages: Current Research Trends,

Spenger, Jonas ; Carbone, Paris ; Haller, Philipp - p. 123-146 , 2024

Link: https://doi.org/10.1007/..

3

Statically Resolvable Ambiguity:

Palmkvist, Viktor ; Castegren, Elias ; Haller, Philipp.
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 1686-1712 , 2023

Link: https://doi.org/10.1145/..

4

Portals: A Showcase of Multi-Dataflow Stateful Serverless:

Spenger, Jonas ; Huang, Chengyang ; Haller, Philipp.
Proceedings of the VLDB Endowment. 16 (2023) 12 - p. 4054-4057 , 2023

Link: https://doi.org/10.14778..

5

P4R-Type: A Verified API for P4 Control Plane Programs:

Larsen, Jens Kanstrup ; Guanciale, Roberto ; Haller, Philipp.
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 1935-1963 , 2023

Link: https://doi.org/10.1145/..

6

Enhancing closures in scala 3 with spores3:

, In: Proceedings of the Scala Symposium,

Haller, Philipp - p. 22-27 , 2022

Link: https://dl.acm.org/doi/1..

7

Portals: An Extension of Dataflow Streaming for Stateful Se..:

, In: Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software,

Spenger, Jonas ; Carbone, Paris ; Haller, Philipp - p. 153-171 , 2022

Link: https://dl.acm.org/doi/1..

8

Effective Reskilling of Foreign-Born People at Universities..:

Wiggberg, Mattias ; Gobena, Elina ; Kaulio, Matti...
IEEE Access. 10 (2022) - p. 24556-24565 , 2022

Link: https://doi.org/10.1109/..

9

WIP: Pods: Privacy Compliant Scalable Decentralized Data Se..:

, In: Heterogeneous Data Management, Polystores, and Analytics for Healthcare; Lecture Notes in Computer Science,

Spenger, Jonas ; Carbone, Paris ; Haller, Philipp - p. 70-82 , 2021

Link: https://doi.org/10.1007/..

10

Resolvable ambiguity: principled resolution of syntacticall..:

, In: Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction,

Palmkvist, Viktor ; Castegren, Elias ; Haller, Philipp. - p. 153-164 , 2021

Link: https://dl.acm.org/doi/1..

11

Foundations of Consistency Types for a Higher-Order Distrib..:

, In: Languages and Compilers for Parallel Computing; Lecture Notes in Computer Science,

Zhao, Xin ; Haller, Philipp - p. 49-63 , 2021

Link: https://doi.org/10.1007/..

12

A Chaos Engineering System for Live Analysis and Falsificat..:

Zhang, Long ; Morin, Brice ; Haller, Philipp..
IEEE Transactions on Software Engineering. 47 (2021) 11 - p. 2534-2548 , 2021

Link: https://doi.org/10.1109/..

13

Keynote Lecture : Towards Robust, Large-scale Concurrent an..:

, In: 2021 20th International Symposium on Parallel and Distributed Computing (ISPDC),

Haller, Philipp - p. xiv-xiv , 2021

Link: https://doi.org/10.1109/..

14

A Programming Language for Distributed Systems:

Weisenburger, Pascal , 2020

Link: https://nbn-resolving.de..

15

Replicated data types that unify eventual consistency and o..:

Zhao, Xin ; Haller, Philipp
Journal of Logical and Algebraic Methods in Programming. 114 (2020) - p. 100561 , 2020

Link: https://doi.org/10.1016/..