Kesha Hietala
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2018–2023
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | CPP | FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores. | Arvind Arasu, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Aymeric Fromherz, Kesha Hietala, Bryan Parno, Ravi Ramamurthy |
| 2021 | ITP | Proving Quantum Programs Correct. | Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks |
| 2018 | ICST | Finding Substitutable Binary Code for Reverse Engineering by Synthesizing Adapters. | Vaibhav Sharma, Kesha Hietala, Stephen McCamant |
| 2018 | SAS | Volume-Based Merge Heuristics for Disjunctive Numeric Domains. | Andrew Ruef, Kesha Hietala, Arlen Cox |