bibliographer - Shaz Qadeer

bibliographer a curated TCS bibliography

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

On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony Ahmed Bouajjani Constantin Enea Kailiang Ji Shaz Qadeer [github]

Synchronizing the Asynchronous Bernhard Kragl Shaz Qadeer Thomas A. Henzinger [github]

Delay-bounded Scheduling Michael Emmi Shaz Qadeer Zvonimir Rakamarić [github]

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

Iterative context bounding for systematic testing of multithreaded programs Madanlal Musuvathi Shaz Qadeer [github]

Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads Mohamed Faouzi Atig Ahmed Bouajjani Shaz Qadeer [github]

Context-Bounded model checking of concurrent software Shaz Qadeer Jakob Rehof [github]

Inductive sequentialization of asynchronous programs Bernhard Kragl Constantin Enea Thomas A. Henzinger Suha Orhun Mutluergil Shaz Qadeer [github]

Predicate abstraction for software verification Cormac Flanagan Shaz Qadeer [github]

A type and effect system for atomicity Cormac Flanagan Shaz Qadeer [github]

KISS Shaz Qadeer Dinghao Wu [github]

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

[show logs] [hide logs]