Leo Osvald
Purdue University West Lafayette(US)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Logic, programming, and type systems, Security and Verification in Computing, Distributed systems and fault tolerance, Advanced Software Engineering Methodologies
Most-Cited Works
- → Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect(2016)20 cited
- → Compiling with continuations, or without? whatever.(2019)17 cited
- → Rust-like borrowing with 2nd-class values (short paper)(2017)1 cited
- Lightweight Programming Abstractions for Increased Safety and Performance(2018)
- → Flexible data views: design and implementation(2017)