Noam Rinetzky

Available identifiers

zbMath Open rinetzky.noamMaRDI QIDQ615950

List of research outcomes

Publication	Date of Publication	Type
Verifying equivalence of Spark programs	2022-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q5090915	2022-07-21	Paper
Run-time complexity bounds using squeezers	2021-10-18	Paper
Putting the squeeze on array programs: loop verification via inductive rank reduction	2020-08-05	Paper
Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation	2020-08-05	Paper
Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs	2019-09-16	Paper
From Shape Analysis to Termination Analysis in Linear Time	2019-05-03	Paper
Modular verification of concurrency-aware linearizability	2018-08-24	Paper
Characterizing Transactional Memory Consistency Conditions Using Observational Refinement	2018-08-02	Paper
Property-Directed Inference of Universal Invariants or Proving Their Absence	2018-08-02	Paper
On the Automated Verification of Web Applications with Embedded SQL	2018-07-18	Paper
Property-directed inference of universal invariants or proving their absence	2018-03-01	Paper
A Heap-Based Concurrent Priority Queue with Mutable Priorities for Faster Parallel Algorithms	2017-09-29	Paper
A semantics for procedure local heaps and its abstractions	2017-07-14	Paper
Conjunctive Abstract Interpretation Using Paramodulation	2017-02-21	Paper
Property Directed Abstract Interpretation	2016-03-23	Paper
Sequential verification of serializability	2015-06-11	Paper
A programming language perspective on transactional memory consistency	2015-03-02	Paper
Verifying linearizability with hindsight	2015-03-02	Paper
Verifying Concurrent Memory Reclamation Algorithms with Grace	2013-08-05	Paper
Abstraction for concurrent objects	2011-01-07	Paper
Abstraction for Concurrent Objects	2009-03-31	Paper
Local Reasoning for Storable Locks and Threads	2008-05-15	Paper
Comparison Under Abstraction for Verifying Linearizability	2007-11-29	Paper
Static Analysis	2006-10-31	Paper
https://portal.mardi4nfdi.de/entity/Q2764069	2002-01-22	Paper

Research outcomes over time

This page was built for person: Noam Rinetzky