Partha Susarla

According to our database, Partha Susarla authored at least 2 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Property-Based Testing: Climbing the Stairway to Verification.

Zilin Chen, Christine Rizkallah, Liam O'Connor, Partha Susarla, Gerwin Klein, Gernot Heiser, Gabriele Keller

Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, 2022

2018

Bringing Effortless Refinement of Data Layouts to Cogent.

Liam O'Connor, Zilin Chen, Partha Susarla, Christine Rizkallah, Gerwin Klein, Gabriele Keller

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018