Noam Rinetzky -

Registered user since Mon 4 Jan 2016

Name:Noam Rinetzky

Country:Israel

Affiliation:Tel Aviv University

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

Research interests:Program Analysis, Concurrency

Contributions

2024

SPLASH

Committee Member in Review Committee within the OOPSLA 2024-track

KLEE

Author of State Merging with Quantifiers in Symbolic Execution within the KLEE 2024-track

2023

ESEC/FSE

Author of State Merging with Quantifiers in Symbolic Execution within the Research Papers-track

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

ICST

Author of Address-Aware Query Caching for Symbolic Execution within the Previous Editions-track

POPL

Committee Member in Program Committee within the POPL-track

2022

ESEC/FSE

2021

ESEC/FSE

Author of A Bounded Symbolic-Size Model for Symbolic Execution within the Research Papers-track

2020

SPLASH

ESEC/FSE

Author of Past-Sensitive Pointer Analysis for Symbolic Execution within the Research Papers-track

ISSTA

Author of Relocatable Addressing Model for Symbolic Execution within the Technical Papers-track

POPL

Committee Member in Program Committee within the Research Papers-track

VMCAI

2019

PLDI

2018

SPLASH

Committee Member in External Reviewers within the OOPSLA-track

SOAP

Committee Member in Program Committee within the SOAP-track

ICSE

Author of Chopped Symbolic Execution within the Technical Papers -track

POPL

VMCAI

Committee Member in Program Committee within the VMCAI 2018-track

2017

PLDI

Committee Member in External Review Committee

VMCAI

Author of Conjunctive Abstract Interpretation using Paramodulation within the VMCAI-track

2016

VMCAI

2013

SPLASH

Committee Member in Program Committee within the OOPSLA-track