Matan Shachnai

Computer Science PhD student at Rutgers University.

Github

Google Scholar

Contact
Research

Imagine a software system that is used by millions of people worldwide — a search engine, a phone, or an autonomous vehicle, for example. Now imagine if this system had bugs which could result in financial loss or environmental damage. Worse yet, what if it contained bugs which could be exploited and, in turn, endanger or harm people. These bugs in software don't need to be imagined since they happen daily. These are the kind of real world problems I want to help prevent.

My research is led by the following questions:
1) How can we automatically generate software that does exactly what we intend it to?
2) How can we prove (i.e., formally verify) that software systems are free from costly or catastrophic bugs?
My goal is to construct robust and efficient tools and systems that allow developers of all levels to design formally correct software for safety critical systems.

Research Areas

Program Synthesis, Automated Reasoning, Formal Methods, Verification, Static Analysis

Publications

  • Matan Shachnai*, Harishankar Vishwanathan*, Srinivas Narayana, and Santosh Nagarakatte. 2024. Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel. Static Analysis Symposium (SAS 2024). (PDF)
  • Harishankar Vishwanathan*, Matan Shachnai*, Srinivas Narayana, and Santosh Nagarakatte. 2023. Verifying the Verifier: eBPF Range Analysis Verification. International Conference on Computer Aided Verification (CAV 2023). (PDF)
  • Harishankar Vishwanathan, Matan Shachnai, Srinivas Narayana, and Santosh Nagarakatte. 2022. Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers. Symposium on Code Generation and Optimization (CGO 2022). (PDF) Distinguished Paper Award
  • Jay P. Lim, Matan Shachnai, and Santosh Nagarakatte. 2020. Approximating trigonometric functions for posits using the CORDIC method. International Conference on Computing Frontiers (CF 2020). (PDF)
    • * Denotes equal contribution
    Education

    Rutgers University    
      Ph.D. Computer Science (In progress)

    Rutgers University    
      B.A. Honors in Computer Science (Summa Cum Laude)

    Teaching

    CS 211: Computer Architecture - Teaching Assistant    
      Fall 2019, Fall 2020, Spring 2021

    Plain academic template! Here is the source of my homepage.