conf.researchr.org / Saman Amarasinghe
Registered user since Thu 25 Feb 2021
Name:Saman Amarasinghe
Country:United States
Affiliation:Massachusetts Institute of Technology
Contributions
2024
PLDI
- Author of Mechanised Hypersafety Proofs about Structured Data within the PLDI Research Papers-track
- Organizer of Democratizing DSL development with the BuildIt Framework within the Tutorials-track
- Author of NetBlocks: Staging Layouts for High-Performance Custom Host Network Stacks within the PLDI Research Papers-track