5 results on '"Steve Zdancewic"'
Search Results
2. A formal C memory model supporting integer-pointer casts.
3. Formal verification of SSA-based optimizations for LLVM.
4. SoftBound: highly compatible and complete spatial memory safety for c.
5. Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.