Matias Vara Larsen

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 1

Top Topics

Dynamic Allocation

Implementation Issues

Nested Transactions

Top Venues

Publications

Matias Vara Larsen
Verifying the Conformance of a Driver Implementation to the VirtIO Specification. DATE (2021)
Benoît Combemale, Julien De Antoni, Matias Vara Larsen, Frédéric Mallet, Olivier Barais, Benoit Baudry, Robert B. France
Reifying Concurrency for Executable Metamodeling. SLE (2013)