bibliographer - Greg Morrisett

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Trace-based verification of imperative programs with I/O Gregory Malecha Greg Morrisett Ryan Wisnesky [github]

Polymorphism and separation in hoare type theory Aleksandar Nanevski Greg Morrisett Lars Birkedal [github]

Ynot Aleksandar Nanevski Greg Morrisett Avraham Shinnar Paul Govereau Lars Birkedal [github]

Toward a verified relational database management system Gregory Malecha Greg Morrisett Avraham Shinnar Ryan Wisnesky [github]

RockSalt Greg Morrisett Gang Tan Joseph Tassarotti Jean-Baptiste Tristan Edward Gan [github]

Library Size: 13G (5 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]