conf.researchr.org / Noam Rinetzky
Noam Rinetzky

Registered user since Mon 4 Jan 2016

Name: Noam Rinetzky

Country: Israel

Affiliation: Tel Aviv University, Israel

Personal website: http://www.cs.tau.ac.il/~maon/

Research interests: Program Analysis, Concurrency

Contributions

ISSTA 2020Author of Relocatable Addressing Model for Symbolic Execution within the Technical Papers-track
ESEC/FSE 2020Author of Past-Sensitive Pointer Analysis for Symbolic Execution within the Research Papers-track
SPLASH 2020Author of Proving Highly-Concurrent Traversals Correct within the OOPSLA-track
Author of Taming Callbacks for Smart Contract Modularity within the OOPSLA-track
VMCAI 2020Author of Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation within the VMCAI 2020-track
Author of Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction within the VMCAI 2020-track
POPL 2020Committee Member in Program Committee within the Research Papers-track
PLDI 2019Author of Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions within the PLDI Research Papers-track
Author of Computing Summaries of String Loops in C for Better Testing and Refactoring within the PLDI Research Papers-track
SOAP 2018Committee Member in Program Committee within the SOAP-track
SPLASH 2018Committee Member in External Reviewers within the OOPSLA-track
VMCAI 2018Committee Member in Program Committee within the VMCAI 2018-track
POPL 2018Author of Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts within the Artifact Evaluation-track
Author of Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts within the Research Papers-track
VMCAI 2017Author of Conjunctive Abstract Interpretation using Paramodulation within the VMCAI-track
PLDI 2017Committee Member in External Review Committee
* ICSE 2018 *Author of Chopped Symbolic Execution within the Technical Papers -track
VMCAISession Chair of Concurrent Programs (part of VMCAI)
Author of Property Directed Abstract Interpretation within the VMCAI-track
SPLASH 2013Committee Member in Program Committee within the OOPSLA-track