conf.researchr.org / Manuel Costa

Not registered as user yet

Name:Manuel Costa
Affiliation:Microsoft Research

Contributions

SPLASH 2017 Author of Project Snowflake: Non-blocking Safe Manual Memory Management for .NET within the OOPSLA-track
PLDI 2017 Author of Simple, fast and safe manual memory management within the PLDI Research Papers-track
PLDI 2016 Author of A Design and Verification Methodology for Secure Isolated Regions within the Research Papers-track