Philipp Haller

According to our database1, Philipp Haller authored at least 36 papers between 2006 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
A programming model and foundation for lineage-based distributed computation.
J. Funct. Program., 2018

Front Matter - ECOOP 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee.
DARTS, 2018

A Chaos Engineering System for Live Analysis and Falsification of Exception-handling in the JVM.
CoRR, 2018

Observable atomic consistency for CvRDTs.
CoRR, 2018

Agile and Adaptive Learning via the ECK-model in the Software Development Academy.
Proceedings of the EC-TEL Practitioner Proceedings 2018: 13th European Conference On Technology Enhanced Learning, 2018

2017
Front Matter - ECOOP 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee.
DARTS, 2017

Towards an Empirical Study of Affine Types for Isolated Actors in Scala.
Proceedings of the Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2017

Quantifying and Explaining Immutability in Scala.
Proceedings of the Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2017

Modular Responsive Web Design: An Experience Report.
Proceedings of the Companion to the first International Conference on the Art, 2017

2016
Object Capabilities and Lightweight Affinity in Scala: Implementation, Formalization, and Soundness.
CoRR, 2016

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, 2016

Reactive Async: expressive deterministic concurrency.
Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

Function passing: a model for typed, distributed functional programming.
Proceedings of the 2016 ACM International Symposium on New Ideas, 2016

LaCasa: lightweight affinity and object capabilities in Scala.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2015
Modular Responsive Web Design using Element Queries.
CoRR, 2015

Distributed Programming via Safe Closure Passing.
Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015

A Formal Model for Direct-style Asynchronous Observables.
CoRR, 2015

A Type-Based Foundation for Closure-Passing in the Age of Concurrency and Distribution.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Workshop preview of the 2015 workshop on programming based on actors, agents, and decentralized control (AGERE! 2015).
Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

Akka.js: towards a portable actor runtime environment.
Proceedings of the 5th International Workshop on Programming Based on Actors, 2015

2014
AGERE!: programming based on actors, agents, and decentralized control.
Proceedings of the Conference on Systems, 2014

Functional programming for all! scaling a MOOC for students and professionals alike.
Proceedings of the 36th International Conference on Software Engineering, 2014

Containers and aggregates, mutators and isolates for reactive programming.
Proceedings of the Fifth Annual Scala Workshop, 2014

Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution.
Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013
Instant pickles: generating object-oriented pickler combinators for fast and extensible serialization.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

2012
Scala-Virtualized: linguistic reuse for deep embeddings.
Higher-Order and Symbolic Computation, 2012

Scala-virtualized.
Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction.
Proceedings of the Languages and Compilers for Parallel Computing, 2012

Lightweight Polymorphic Effects.
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

On the integration of the actor model in mainstream technologies: the scala perspective.
Proceedings of the 2nd edition on Programming systems, 2012

2011
Actors in Scala - concurrent programming for the multi-core era.
artima, ISBN: 978-0-9815316-5-6, 2011

2010
Capabilities for Uniqueness and Borrowing.
Proceedings of the ECOOP 2010, 2010

2009
Scala Actors: Unifying thread-based and event-based programming.
Theor. Comput. Sci., 2009

2008
Implementing Joins Using Extensible Pattern Matching.
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

2007
Actors That Unify Threads and Events.
Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

2006
Event-Based Programming Without Inversion of Control.
Proceedings of the Modular Programming Languages, 7th Joint Modular Languages Conference, 2006


  Loading...