Fingerprint Dive into the research topics of 'Booster: An acceleration-based verification framework for array programs*'. Together they form a unique fingerprint.
- Sort by
- Weight
- Alphabetically
Booster: An acceleration-based verification framework for array programs*
Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution