4 papers
Resolvable Ambiguity
Viktor Palmkvist, Elias Castegren, Philipp Haller +1
A common standpoint when designing the syntax of programming languages is that the grammar definition has to be unambiguous. However, requiring up front unambiguous grammars can fo…
Consistency types for replicated data in a higher-order distributed programming language
Xin Zhao, Philipp Haller
Distributed systems address the increasing demand for fast access to resources and fault tolerance for data. However, due to scalability requirements, software developers need to t…
A Chaos Engineering System for Live Analysis and Falsification of Exception-handling in the JVM
Long Zhang, Brice Morin, Philipp Haller +2
Software systems contain resilience code to handle those failures and unexpected events happening in production. It is essential for developers to understand and assess the resilie…
Distributed Programming via Safe Closure Passing
Philipp Haller, Heather Miller
Programming systems incorporating aspects of functional programming, e.g., higher-order functions, are becoming increasingly popular for large-scale distributed programming. New fr…