Payas Awadhutkar

According to our database, Payas Awadhutkar authored at least 7 papers between 2016 and 2022.

Collaborative distances:

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

2022

Control flow equivalence method for establishing sanctity of compiling.

Payas Awadhutkar, Ahmed Tamrawi, Ryan Goluch, Suresh C. Kothari

Comput. Secur., 2022

2019

DISCOVER: detecting algorithmic complexity vulnerabilities.

Payas Awadhutkar, Ganesh Ram Santhanam, Benjamin Holland, Suresh C. Kothari

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

2018

DynaDoc: Automated On-demand Context-Specific Documentation.

Ahmed Tamrawi, Sharwan Ram, Payas Awadhutkar, Benjamin Holland, Ganesh Ram Santhanam, Suresh C. Kothari

Proceedings of the IEEE Third International Workshop on Dynamic Software Documentation, 2018

COMB: computing relevant program behaviors.

Benjamin Holland, Payas Awadhutkar, Suresh C. Kothari, Ahmed Tamrawi, Jon Mathews

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

Modeling lessons from verifying large software systems for safety and security.

Suresh C. Kothari, Payas Awadhutkar, Ahmed Tamrawi, Jon Mathews

Proceedings of the 2017 Winter Simulation Conference, 2017

2016

Statically-Informed Dynamic Analysis Tools to Detect Algorithmic Complexity Vulnerabilities.

Benjamin Holland, Ganesh Ram Santhanam, Payas Awadhutkar, Suresh C. Kothari

Proceedings of the 16th IEEE International Working Conference on Source Code Analysis and Manipulation, 2016

Insights for Practicing Engineers from a Formal Verification Study of the Linux Kernel.

Suresh C. Kothari, Payas Awadhutkar, Ahmed Tamrawi

Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016