Login / Signup
Alexander Droste
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 1
Top Topics
Java Card
Distributed Memory
Static Analysis
Message Passing Interface
Top Venues
LLVM@SC
</>
Publications
</>
Alexander Droste
,
Michael Kuhn
,
Thomas Ludwig
MPI-checker: static analysis for MPI.
LLVM@SC
(2015)