Temesghen Kahsai
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
8
Active years
2007–2024
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SEFM | Unlocking the Power of Environment Assumptions for Unit Proofs. | Siddharth Priya, Temesghen Kahsai, Arie Gurfinkel |
| 2020 | ISCA | Think Fast: A Tensor Streaming Processor (TSP) for Accelerating Deep Learning Workloads. | Dennis Abts, Jonathan Ross, Jonathan Sparling, Mark Wong-VanHaren, Max Baker, Tom Hawkins, Andrew Bell, John Thompson, Temesghen Kahsai, Garrin Kimmell, Jennifer Hwang, Rebekah Leslie-Hurd, Michael Bye, E. R. Creswick, Matthew Boyd, Mahitha Venigalla, Evan Laforge, Jon Purdy, Purushotham Kamath, Dinesh Maheshwari, Michael Beidler, Geert Rosseel, Omar Ahmad, Gleb Gagarin, Richard Czekalski, Ashay Rane, Sahil Parmar, Jeff Werner, Jim Sproch, Adrin Macas, Brian Kurtz |
| 2019 | CAV | Reachability Analysis for AWS-Based Networks. | John Backes, Sam Bayless, Byron Cook, Catherine Dodge, Andrew Gacek, Alan J. Hu, Temesghen Kahsai, Bill Kocik, Evgenii Kotelnikov, Jure Kukovec, Sean McLaughlin, Jason Reed, Neha Rungta, John Sizemore, Mark A. Stalzer, Preethi Srinivasan, Pavle Subotic, Carsten Varming, Blake Whaley |
| 2019 | TACAS | JayHorn: A Java Model Checker - (Competition Contribution). | Temesghen Kahsai, Philipp Rmmer, Martin Schf |
| 2017 | LPAR | Automated analysis of Stateflow models. | Hamza Bourbouh, Pierre-Loc Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai, Xavier Thirioux |
| 2017 | LPAR | Quantified Heap Invariants for Object-Oriented Programs. | Temesghen Kahsai, Rody Kersten, Philipp Rmmer, Martin Schf |
| 2016 | CAV | JayHorn: A Framework for Verifying Java programs. | Temesghen Kahsai, Philipp Rmmer, Huascar Sanchez, Martin Schf |
| 2016 | SEFM | CoCoSpec: A Mode-Aware Contract Language for Reactive Systems. | Adrien Champion, Arie Gurfinkel, Temesghen Kahsai, Cesare Tinelli |
| 2016 | TACAS | JDart: A Dynamic Symbolic Analysis Framework. | Kasper Se Luckow, Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamaric, Vishwanath Raman |
| 2016 | TACAS | Synthesizing Ranking Functions from Bits and Pieces. | Caterina Urban, Arie Gurfinkel, Temesghen Kahsai |
| 2015 | CAV | The SeaHorn Verification Framework. | Arie Gurfinkel, Temesghen Kahsai, Anvesh Komuravelli, Jorge A. Navas |
| 2015 | FM | Verifying the Safety of a Flight-Critical System. | Guillaume Brat, David H. Bushnell, Misty D. Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai |
| 2015 | LPAR | Finding Inconsistencies in Programs with Loops. | Temesghen Kahsai, Jorge A. Navas, Dejan Jovanovic, Martin Schf |
| 2015 | SAC | Compilation of synchronous observers as code contracts. | Arnaud Dieumegard, Pierre-Loc Garoche, Temesghen Kahsai, Alice Taillar, Xavier Thirioux |
| 2015 | TACAS | SeaHorn: A Framework for Verifying C Programs (Competition Contribution). | Arie Gurfinkel, Temesghen Kahsai, Jorge A. Navas |
| 2008 | CiE | Implementing Spi Calculus Using Nominal Techniques. | Temesghen Kahsai, Marino Miculan |
| 2008 | SEFM | Specification-Based Testing for Software Product Lines. | Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff |
| 2007 | SEFM | Specification-based testing for refinement. | Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff |