Home
Generator
Benchmarks
Publications
Software
Hardware
Grants
Team
Related
Internal
Publications
Sort by
year
,
publication type
,
author
,
keyword
Advanced Search and Sort
(recommended)
Full list
of abstracts and preprints
Filtered as:
all types - all years - all authors - keyword: Verification
Corresponding
bibtex list
Vadim Zaliva
HELIX: From Math to Verified Code
PhD. thesis, Electrical and Computer Engineering, Carnegie Mellon University, 2020
Vadim Zaliva, Ilia Zaichuk and Franz Franchetti
Verified Translation Between Purely Functional and Imperative Domain Specific Languages in HELIX
Proc. Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE), 2020
Vadim Zaliva and Matthieu Sozeau
Reification of Shallow-Embedded DSLs in Coq with Automated Verification
Proc. International Workshop on Coq for Programming Languages (CoqPL), 2019
Publication interface designed and implemented by Patra Pantupat, Aliaksei Sandryhaila, and
Markus Püschel
Electrical and Computer Engineering
,
Carnegie Mellon University, 2007
