Login / Signup
Victor Chibotaru
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Formal Specification
Processor Core
Inference Process
Unit Testing
Top Venues
PLDI
</>
Publications
</>
Victor Chibotaru
,
Benjamin Bichsel
,
Veselin Raychev
,
Martin T. Vechev
Scalable taint specification inference with big code.
PLDI
(2019)