Payas Awadhutkar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2016–2018
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ICSE | COMB: computing relevant program behaviors. | Benjamin Holland, Payas Awadhutkar, Suresh C. Kothari, Ahmed Tamrawi, Jon Mathews |
| 2017 | WSC | Modeling lessons from verifying large software systems for safety and security. | Suresh C. Kothari, Payas Awadhutkar, Ahmed Tamrawi, Jon Mathews |
| 2016 | ISSRE | Insights for Practicing Engineers from a Formal Verification Study of the Linux Kernel. | Suresh C. Kothari, Payas Awadhutkar, Ahmed Tamrawi |
| 2016 | SCAM | Statically-Informed Dynamic Analysis Tools to Detect Algorithmic Complexity Vulnerabilities. | Benjamin Holland, Ganesh Ram Santhanam, Payas Awadhutkar, Suresh C. Kothari |