bibliographer - Sriram K. Rajamani

bibliographer a curated TCS bibliography

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

The SLAM Project: Debugging System Software via Static Analysis Thomas Ball Sriram K. Rajamani [github]

Summarizing procedures in concurrent programs Shaz Qadeer Sriram K. Rajamani Jakob Rehof [github]

Types as models: model checking message-passing programs Sagar Chaki Sriram K. Rajamani Jakob Rehof [github]

Fair Simulation Thomas A Henzinger Orna Kupferman Sriram K Rajamani [github]

Bebop: A Symbolic Model Checker for Boolean Programs Thomas Ball Sriram K. Rajamani [github]

The SLAM Toolkit Thomas Ball Sriram K. Rajamani [github]

Automatically Refining Abstract Interpretations Bhargav S. Gulavani Supratik Chakraborty Aditya V. Nori Sriram K. Rajamani [github]

Thorough static analysis of device drivers Thomas Ball Ella Bounimova Byron Cook Vladimir Levin Jakob Lichtenberg Con McGarvey Bohus Ondrusek Sriram K. Rajamani Abdullah Ustuner [github]

Probabilistic programming Andrew D. Gordon Thomas A. Henzinger Aditya V. Nori Sriram K. Rajamani [github]

Library Size: 13G (9 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]