Noam Rinetzky is an Associate Professor in the School of Computer Science at Tel Aviv University. He collaborates frequently with the Software Reliability Group.
Computing Summaries of String Loops in C for Better Testing and Refactoring
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2019)
Chopped Symbolic Execution
International Conference on Software Engineering (ICSE 2018)