John A. Thywissen

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 3

Top Topics

Service Selection

Concurrent Programs

Distributed Memory Machines

Top Venues

Formal Methods Syst. Des.

Publications

Arthur Michener Peters, John A. Thywissen, Christopher J. Rossbach
PorcE: a deparallelizing compiler. MPLR (2019)
Arthur Michener Peters, David Kitchin, John A. Thywissen, William R. Cook
OrcO: a concurrency-first approach to objects. OOPSLA (2016)
John A. Thywissen, Arthur Michener Peters, William R. Cook
Implicitly Distributing Pervasively Concurrent Programs: Extended abstract. PMLDC@ECOOP (2016)
Albert Benveniste, Claude Jard, Ajay Kattepur, Sidney Rosario, John A. Thywissen
QoS-aware management of monotonic service orchestrations. Formal Methods Syst. Des. 44 (1) (2014)