SLE 2018
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
Markus Schordan

Registered user since Tue 20 Feb 2018

Name: Markus Schordan

Country: United States

Affiliation: Lawrence Livermore National Laboratory

Personal website: https://people.llnl.gov/schordan1

Research interests: Static program analysis, formal software verification, reversible computation, compiler construction

SPLASH 2018 Activities

Using general profile