Noam Rinetzky -

Registered user since Mon 4 Jan 2016

Name:Noam Rinetzky

Affiliation:Tel Aviv University

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

Research interests:Program Analysis, Concurrency

Contributions

ESEC/FSE 2021	Author of A Bounded Symbolic-Size Model for Symbolic Execution within the Research Papers-track
ISSTA 2020	Author of Relocatable Addressing Model for Symbolic Execution within the Technical Papers-track
ESEC/FSE 2020	Author of Past-Sensitive Pointer Analysis for Symbolic Execution within the Research Papers-track
SPLASH 2020	Author of Proving Highly-Concurrent Traversals Correct within the OOPSLA-track Author of Taming Callbacks for Smart Contract Modularity within the OOPSLA-track
VMCAI 2020	Author 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 2020	Committee Member in Program Committee within the Research Papers-track
PLDI 2019	Author 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 2018	Committee Member in Program Committee within the SOAP-track
SPLASH 2018	Committee Member in External Reviewers within the OOPSLA-track
VMCAI 2018	Committee Member in Program Committee within the VMCAI 2018-track
POPL 2018	Author 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 2017	Author of Conjunctive Abstract Interpretation using Paramodulation within the VMCAI-track
PLDI 2017	Committee Member in External Review Committee
* ICSE 2018 *	Author of Chopped Symbolic Execution within the Technical Papers -track
VMCAI	Session Chair of Concurrent Programs (part of VMCAI) Author of Property Directed Abstract Interpretation within the VMCAI-track
SPLASH 2013	Committee Member in Program Committee within the OOPSLA-track