Noam Rinetzky

Registered user since Mon 4 Jan 2016

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


PLDI 2019 Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions
Computing Summaries of String Loops in C for Better Testing and Refactoring
Show activities from other conferences

PLDI 2019-profile
View general profile