Noam Rinetzky - POPL 2020

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

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
Show activities from other conferences