Payas Awadhutkar

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 7

Top Topics

Static Analysis

Formal Verification

Top Venues

ICSE (Companion Volume)

Publications

Payas Awadhutkar, Ahmed Tamrawi, Ryan Goluch, Suresh C. Kothari
Control flow equivalence method for establishing sanctity of compiling. Comput. Secur. 115 (2022)
Payas Awadhutkar, Ganesh Ram Santhanam, Benjamin Holland, Suresh C. Kothari
DISCOVER: detecting algorithmic complexity vulnerabilities. ESEC/SIGSOFT FSE (2019)
Ahmed Tamrawi, Sharwan Ram, Payas Awadhutkar, Benjamin Holland, Ganesh Ram Santhanam, Suresh C. Kothari
DynaDoc: Automated On-demand Context-Specific Documentation. DySDoc@ICSME (2018)
Benjamin Holland, Payas Awadhutkar, Suresh C. Kothari, Ahmed Tamrawi, Jon Mathews
COMB: computing relevant program behaviors. ICSE (Companion Volume) (2018)
Suresh C. Kothari, Payas Awadhutkar, Ahmed Tamrawi, Jon Mathews
Modeling lessons from verifying large software systems for safety and security. WSC (2017)
Suresh C. Kothari, Payas Awadhutkar, Ahmed Tamrawi
Insights for Practicing Engineers from a Formal Verification Study of the Linux Kernel. ISSRE Workshops (2016)
Benjamin Holland, Ganesh Ram Santhanam, Payas Awadhutkar, Suresh C. Kothari
Statically-Informed Dynamic Analysis Tools to Detect Algorithmic Complexity Vulnerabilities. SCAM (2016)