Login / Signup
Giacomo Tagliabue
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Software Systems
General Purpose
Distributed Memory Machines
Top Venues
RV
</>
Publications
</>
Kedar S. Namjoshi
,
Giacomo Tagliabue
,
Lenore D. Zuck
A Witnessing Compiler: A Proof of Concept.
RV
(2013)