bibliographer - Mooly Sagiv

bibliographer a curated TCS bibliography

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

Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts Shelly Grossman Ittai Abraham Guy Golan-Gueta Yan Michalevsky Noam Rinetzky Mooly Sagiv Yoni Zohar [github]

Precise interprocedural dataflow analysis via graph reachability Thomas Reps Susan Horwitz Mooly Sagiv [github]

A framework for numeric analysis of array operations Denis Gopan Thomas Reps Mooly Sagiv [github]

Ivy: safety verification by interactive generalization Oded Padon Kenneth L. McMillan Aurojit Panda Mooly Sagiv Sharon Shoham [github]

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

[show logs] [hide logs]