Richard Rutledge
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2014–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SC | Toward Automated Detection of Portability Bugs in Kokkos Parallel Programs. | Vivek Kale, Hanru Yan, Shyamali Mukherjee, Jackson R. Mayo, Keita Teranishi, Richard Rutledge, Alessandro Orso |
| 2022 | ICST | Automating Differential Testing with Overapproximate Symbolic Execution. | Richard Rutledge, Alessandro Orso |
| 2020 | ICSE | PG-KLEE: trading soundness for coverage. | Richard Rutledge, Alessandro Orso |
| 2019 | ICSE | Zero-overhead path prediction with progressive symbolic execution. | Richard Rutledge, Sunjae Park, Haider Adnan Khan, Alessandro Orso, Milos Prvulovic, Alenka G. Zajic |
| 2016 | RE | Privacy Impacts of IoT Devices: A SmartTV Case Study. | Richard Rutledge, Aaron K. Massey, Annie I. Antn |
| 2014 | RE | Identifying and classifying ambiguity for regulatory requirements. | Aaron K. Massey, Richard Rutledge, Annie I. Antn, Peter P. Swire |