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…
Towards an Empirical Study of Affine Types for Isolated Actors in Scala
Philipp Haller, Fredrik Sommar
LaCasa is a type system and programming model to enforce the object capability discipline in Scala, and to provide affine types. One important application of LaCasa's type system i…
Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
Vasco T. Vasconcelos, Philipp Haller
PLACES 2017 (full title: Programming Language Approaches to Concurrency- and Communication-cEntric Software) is the tenth edition of the PLACES workshop series. After the first PLA…
Object Capabilities and Lightweight Affinity in Scala: Implementation, Formalization, and Soundness
Philipp Haller, Alexandre Loiko
Aliasing is a known source of challenges in the context of imperative object-oriented languages, which have led to important advances in type systems for aliasing control. However,…
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…
Modular Responsive Web Design using Element Queries
Lucas Wiener, Tomas Ekholm, Philipp Haller
Responsive Web Design (RWD) enables web applications to adapt to the characteristics of different devices such as screen size which is important for mobile browsing. Today, the onl…
A Formal Model for Direct-style Asynchronous Observables
Philipp Haller, Heather Miller
Languages like F#, C#, and recently also Scala, provide "Async" programming models which aim to make asynchronous programming easier by avoiding an inversion of control that is inh…