Noam Rinetzky

Abstraction for concurrent objects

Ivana Filipović, Peter W. O’Hearn, Noam Rinetzky et al. · Theoretical Computer Science · 2010 · 137 citations

Engineering, Automated Reasoning, Concurrent Objects +8

A semantics for procedure local heaps and its abstractions

Noam Rinetzky, Jörg Bauer, Thomas Reps et al. · 2005 · 111 citations

Engineering, Verification, Software Analysis +19

Simple and precise static analysis of untrusted Linux kernel extensions

Elazar Gershuni, Nadav Amit, Arie Gurfinkel et al. · 2019 · 86 citations · Full text

Internet Traffic Analysis, Engineering, Information Security +22

Chopped symbolic execution

David Trabish, Andrea Mattavelli, Noam Rinetzky et al. · 2018 · 80 citations

Program Checking, Engineering, Software Engineering +19

Verifying linearizability with hindsight

Peter W. O’Hearn, Noam Rinetzky, Martin Vechev et al. · 2010 · 68 citations

Engineering, Verification, Computer-aided Verification +16