35 citations · 51 across the 12 of their papers we have counts for
12 papers
Expression Acceleration: Seamless Parallelization of Typed High-Level Languages
Lars Hummelgren, John Wikman, Oscar Eriksson +2
Efficient parallelization of algorithms on general-purpose GPUs is essential in many areas today. However, it is a non-trivial task for software engineers to utilize GPUs to improv…
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…
Observable atomic consistency for CvRDTs
Xin Zhao, Philipp Haller
The development of distributed systems requires developers to balance the need for consistency, availability, and partition tolerance. Conflict-free replicated data types (CRDTs) a…
Quantifying and Explaining Immutability in Scala
Philipp Haller, Ludvig Axelsson
Functional programming typically emphasizes programming with first-class functions and immutable data. Immutable data types enable fault tolerance in distributed systems, and ensur…