Noam Rinetzky - POPL 2020

Registered user since Mon 4 Jan 2016

Name:Noam Rinetzky

Country:Israel

Affiliation:Tel Aviv University

Research interests:Program Analysis, Concurrency

Contributions

VMCAI 2020	Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction
POPL 2020	Committee Member in Program Committee within the Research Papers-track
Show activities from other conferences