Nestan Tsiskaridze
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
2009–2024
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FMCAD | The FMCAD 2024 Student Forum. | Martin Blicha, Nestan Tsiskaridze |
| 2024 | IJCAR | Generalized Optimization Modulo Theories. | Nestan Tsiskaridze, Clark W. Barrett, Cesare Tinelli |
| 2022 | FMCAD | Synthesizing Instruction Selection Rewrite Rules from RTL using SMT. | Ross Daly, Caleb Donovick, Jackson Melchert, Rajsekhar Setaluri, Nestan Tsiskaridze, Priyanka Raina, Clark W. Barrett, Pat Hanrahan |
| 2021 | FMCAD | Automating System Configuration. | Nestan Tsiskaridze, Maxwell Strange, Makai Mann, Kavya Sreedhar, Qiaoyi Liu, Mark Horowitz, Clark W. Barrett |
| 2020 | ASPLOS | A Computational Temporal Logic for Superconducting Accelerators. | Georgios Tzimpragos, Dilip Vasudevan, Nestan Tsiskaridze, George Michelogiannakis, Advait Madhavan, Jennifer Volk, John Shalf, Timothy Sherwood |
| 2020 | DAC | Creating an Agile Hardware Design Flow. | Rick Bahr, Clark W. Barrett, Nikhil Bhagdikar, Alex Carsello, Ross Daly, Caleb Donovick, David Durst, Kayvon Fatahalian, Kathleen Feng, Pat Hanrahan, Teguh Hofstee, Mark Horowitz, Dillon Huff, Fredrik Kjolstad, Taeyoung Kong, Qiaoyi Liu, Makai Mann, Jackson Melchert, Ankita Nayak, Aina Niemetz, Gedeon Nyengele, Priyanka Raina, Stephen Richardson, Rajsekhar Setaluri, Jeff Setter, Kavya Sreedhar, Maxwell Strange, James Thomas, Christopher Torng, Leonard Truong, Nestan Tsiskaridze, Keyi Zhang |
| 2018 | ATVA | Information Leakage in Arbiter Protocols. | Nestan Tsiskaridze, Lucas Bang, Joseph McMahan, Tevfik Bultan, Timothy Sherwood |
| 2014 | VLSID | All-SAT Using Minimal Blocking Clauses. | Yinlei Yu, Pramod Subramanyan, Nestan Tsiskaridze, Sharad Malik |
| 2013 | DATE | Reverse engineering digital circuits using functional analysis. | Pramod Subramanyan, Nestan Tsiskaridze, Kanika Pasricha, Dillon Reisman, Adriana Susnea, Sharad Malik |
| 2009 | CP | Conflict Resolution. | Konstantin Korovin, Nestan Tsiskaridze, Andrei Voronkov |