The following pages link to Noam Rinetzky (Q615950):
Displayed 27 items.
- Abstraction for concurrent objects (Q615951) (← links)
- Putting the squeeze on array programs: loop verification via inductive rank reduction (Q784119) (← links)
- Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation (Q784127) (← links)
- Modular verification of concurrency-aware linearizability (Q1664150) (← links)
- (Q1702931) (redirect page) (← links)
- Property-directed inference of universal invariants or proving their absence (Q1702932) (← links)
- Verifying equivalence of Spark programs (Q2164230) (← links)
- Run-time complexity bounds using squeezers (Q2233463) (← links)
- (Q2764069) (← links)
- Property Directed Abstract Interpretation (Q2796039) (← links)
- Conjunctive Abstract Interpretation Using Paramodulation (Q2961582) (← links)
- On the Automated Verification of Web Applications with Embedded SQL (Q3174909) (← links)
- Property-Directed Inference of Universal Invariants or Proving Their Absence (Q3177887) (← links)
- Characterizing Transactional Memory Consistency Conditions Using Observational Refinement (Q3177890) (← links)
- Local Reasoning for Storable Locks and Threads (Q3498431) (← links)
- Abstraction for Concurrent Objects (Q3617704) (← links)
- From Shape Analysis to Termination Analysis in Linear Time (Q4633546) (← links)
- (Q5090915) (← links)
- A programming language perspective on transactional memory consistency (Q5176110) (← links)
- Verifying linearizability with hindsight (Q5176190) (← links)
- Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs (Q5233246) (← links)
- Sequential verification of serializability (Q5255059) (← links)
- A semantics for procedure local heaps and its abstractions (Q5276154) (← links)
- Verifying Concurrent Memory Reclamation Algorithms with Grace (Q5326289) (← links)
- A Heap-Based Concurrent Priority Queue with Mutable Priorities for Faster Parallel Algorithms (Q5363806) (← links)
- Comparison Under Abstraction for Verifying Linearizability (Q5429339) (← links)
- Static Analysis (Q5897438) (← links)