aziem/popl2015-papers
Accepted papers for POPL 2015
Public GitHub Catalog
Discovered Sep 25, 2026
aziem / LinearRank-ESOP
Implementation of Termination Analyser from ESOP 2007 (Ranking Abstractions)
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#3212676GitHub System ID
aziemOrganization / User
PublicVisibility
ActiveCatalog Status
More from aziem
aziem/T2
T2 Temporal Prover
aziem/literature_review
Survey of program analysis research with a focus on machine code
aziem/llvm-nwa
LLVM pass that outputs an NWA CFG