Matan Shachnai

Computer Science PhD student at Rutgers University.

Github

Google Scholar

Contact
Research

Consider a software system that is used by millions of people worldwide — a search engine, a banking system, or an autonomous vehicle, for example. Now consider what could happen if this system had costly bugs which could result in financial loss or environmental damage. Worse yet, what could happen if it contained bugs which could be exploited and, in turn, endanger or harm millions of people. These are the kind of real world problems I want to help prevent. In this endeavor, I'm fortunate to be advised by Dr. Santosh Nagarakatte.

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 build formally correct software systems spanning the rich spectrum of computer science domains.

Research Areas

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

Publications

  • 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.