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

POPL 2017 Activities

• Author of Conjunctive Abstract Interpretation using Paramodulation within the VMCAI-track in VMCAI 2017
• Show activities from other conferences