Thomas Plum

Publication Activity (10 Years)

Years Active: 2010-2012
Publications (10 Years): 0

Top Topics

Constraint Language

Distributed Memory Machines

Top Venues

Publications

Lennart Beringer, Randall Brukardt, Thomas Plum, S. Tucker Taft
Panel on compiler certification: should we trust our compiler? HILT (2012)
Roger B. Dannenberg, Will Dormann, David Keaton, Robert C. Seacord, David Svoboda, Alex Volkovitsky, Timothy Wilson, Thomas Plum
As-If Infinitely Ranged Integer Model. ISSRE (2010)