Noam Rinetzky

Registered user since Mon 4 Jan 2016

Name:Noam Rinetzky
Country:Israel
Affiliation:Tel Aviv University
Research interests:Program Analysis, Concurrency

Contributions

ESEC/FSE 2022 Committee Member in Program Committee within the Research Papers-track
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