## About me

I'm a fivth-year PhD student, supervised by Rupak Majumdar.

My research interests include static analysis, program
logics and type systems, concurrency (in particular, asynchronous
concurrency) and, in general, the application of logic to verification.
Recently, I have also become interested in JavaScript and web
applications.

## Refereed Publications

- Johannes Kloos, Rupak Majumdar: Supervisor Synthesis for Controller Upgrades. DATE 2013
- Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac: Incremental, Inductive Coverability. CAV 2013.

The paper is available on
arXiV here
with the ID arXiv:1301.7321 [cs.LO].
- Johannes Kloos, Rupak Majumdar, Viktor Vafeiadis: Asynchronous Liquid Separation Types. ECOOP 2015.

The paper is available on
DROPS here
as part of the ECOOP proceedings.
- Johannes Kloos, Rupak Majumdar, Francis McCabe: Deferrability Analysis for JavaScript. HVC 2017.

An extended version of the paper is available here.

## Talks

The slides from CAV 2013
on the Incremental, Inductive Coverability paper.

I gave the talk at CAV in St. Petersburg,
on July 19th, 2013, and at at a FORTISS
seminar in Munich on July 29th, 2013.

The slides from ECOOP 2015
on the Asynchronous Liquid Separation Types paper.

I gave this talk at ECOOP in Prague, on July 9th, 2015 and
at the University of British Columbia on October 13th, 2015.
I gave extended versions of this talk at Imperial College on May nth, 2017 (including
some thoughts about modelling JavaScript concurrency using the underlying program logic)
and at IST Austria on September 6th, 2017 (including an overview of DontWaitForMe).

I gave a talk on
Equivalence Testing for JavaScript Transformations
on October 23, 2015 at UC San Diego, and at the
Yale PL Day 2015

I gave a talk on optimizing for asynchronous concurrency at the Aarhus Concurrency Workshop 2017.

## Things from my projects

- The benchmark examples from the IIC experiments can be found here.

See also my GitHub account for my JavaScript work.