Tehran Institute for Advanced Studies (TeIAS)

/ Data-driven testing and debugging for meta-properties __ Saeid Tizpaz-Niari


Data-driven testing and debugging for meta-properties

Saeed Tizpaz

March 2, 2022
(11 Esfand, 1400)



This Talk is online

Registration Deadline

March 1, 2022

You may need a VPN to start the talk.


Saeid Tizpaz-Niari

Assistant Professor of CS at UT El Paso and director of RISC lab


Data-driven software is advancing fast and has been pervasively applied in critical domains such as malware detection, self-driving car, and criminal justice. While most existing testing and debugging techniques provide supports for the functional correctness of software, the support for meta properties such as performance, side channels, and fairness is scarce. In this talk, Tizpaz-Niari will first overview an application of data-driven technique to address confidentiality bugs in core Java libraries. In doing so, he will showcase an integration of gray-box fuzzing, quantitative information flow, statistical fault localizations, and non-linear optimizations to detect, quantify, localize, and mitigation information leaks via side channels. Then, he will present an adaption of such integration to address performance defects and fairness bugs in machine learning libraries. Throughout of his talk, Tizpaz-Niari will demonstrate real-world bugs discovered by the data-driven approach in popular and critical open-source libraries such as scikit-learn, OpenJDK, and Apache that have since been fixed by their developers.


Saeid Tizpaz-Niari
Saeid Tizpaz-Niari is an Assistant Professor of CS at UT El Paso and director of RISC lab. He received his PhD from the ECEE department at University of Colorado Boulder in 2020. His research interests are at the intersection of Software Engineering, Machine Learning, and Security. He is the first author of multiple publications in top tier Software Engineering, Security, AI, and Verification conferences. He develops tools and techniques to address confidentiality leaks, denial-of-service issues, and fairness bugs. In 2018, he received the Gold Research Award from the ECEE department at CU Boulder. In addition, he won second prize for his submission to the First Microsoft Open Source Challenge. Prior to his PhD, he obtained an MS degree from CE department at Sharif University of Technology in 2013 and BS degree (with first-class honor) from ECE department of Tabriz University in 2011.