Login / Signup
Alisa J. Maas
Publication Activity (10 Years)
Years Active: 2015-2016
Publications (10 Years): 1
Top Topics
Static Analysis
University Library
Inference Process
Fixed Length
Top Venues
SPLASH (Companion Volume)
ASE
</>
Publications
</>
Alisa J. Maas
,
Henrique Nazaré
,
Ben Liblit
Array length inference for C library bindings.
ASE
(2016)
Alisa J. Maas
Automatic array property detection via static analysis.
SPLASH (Companion Volume)
(2015)