My publications are listed on the publications page.
- Safely Combining Concurrency Abstractions (since 2012)
Concurrent programming is hard, and we make it harder by using abstractions that cannot be combined safely.
In this project, we search for safe and efficient combinations.
- Meta-Level Engineering and Tooling for Complex Concurrent Systems (since 2016)
In this project, we work on instrumentation and tooling for applications that combine concurrency abstractions.
Partners: Vrije Universiteit Brussel, Johannes Kepler University Linz
- Building Faster Languages Faster! (since 2013)
Writing custom VMs for DSLs or research languages is not practical.
So, how can we reuse JIT compilers for new languages?
- SOM: Simple Object Machine (maintainer since 2012)
A simple Smalltalk for teaching and experimenting with language implementation techniques. Implemented among others in Java, C, C++, Smalltalk, and Python.
SOM++ used by IBM to showcase Project OMR's GC and JIT compiler
SOM implemented based on Oracle Lab's Truffle and Graal platform.
SOM implemented with RPython, similar to TruffleSOM, showcasing the power of self-optimizing interpreters.
- OMOP: Supporting Concurrency Abstractions in Virtual Machines (2008-2013)
An Ownership-based Metaobject Protocol to support concurrent programming in multi-language VMs
- Project Renaissance: Harness Emergence (2009-2011)
Avoid the Concurrency Trap by Embracing Non-Determinism.
Partners: IBM Research, Portland State University, and Vrije Universiteit Brussel
- Chairing Activities:
Program Committee Chair for DLS'19,
Web Chair for ECOOP'19,
Workshops Co-Chair for <Programming>'18
- Workshop Organizer:
- Program Committee Member of Conferences:
- Program Committee Member of other events:
SPLASH'17 Workshops, COP'17, PASS'17, OOPSLA AEC'17, VMM'17, ICOOOLPS'17,
ACM Student Research Competition at <Programming>'17,
AGERE'15, ECOOP AEC'15,
- Sub-Reviewer: OOPSLA'13, ECOOP'13, Coordination'13, TOOLS'11, AOSD'10, Coordination'10, DLS'10, ECOOP'10, OOPSLA'10, AOSD'09, DLS'09
- Journal Reviewing:
ACM Computing Surveys;
The Computer Journal;
Journal on Computer Languages, Systems and Structures;
The Art, Science, and Engineering of Programming;
Journal of Systems and Software;
Journal of Science of Computer Programming;
Journal of Logical and Algebraic Methods in Programming;
Journal of Parallel Computing
- Assisted organizers of RACES'12
Latest Research-Related Posts
Jul 12, 2019
What if we could see all concurrency bugs in the debugger?
Jul 11, 2019
SOMns 0.7.0 Release with Extension Modules and Artifacts
May 27, 2019
Generating an Artifact From a Benchmarking Setup as Part of CI
Apr 9, 2019
Another Decade of SOM Language Implementation
Aug 24, 2018
Efficient Deterministic Replay for Actors
Mar 13, 2018
How to Design Collection Libraries?
Oct 15, 2017
Debugging Concurrency Is Hard, but We Can Do Something About It!
Sep 6, 2017
Building High-level Debuggers for Concurrent Languages with Truffle: The Missing Bits
Jul 5, 2017
A 10 Year Journey, Stop 5: Growing the SOM Family
Jun 6, 2017
A 10 Year Journey, Stop 4: Concurrency and Tooling
All posts: Research