Nestan Tsiskaridze

According to our database, Nestan Tsiskaridze authored at least 21 papers between 2009 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

A Proposal for an OMT Extension to SMT-LIB.

Nestan Tsiskaridze, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett

Proceedings of the Joint Proceedings of the 23rd International Workshop on Satisfiability Modulo Theories and the 16th Pragmatics of SAT International Workshop co-located with the 31st International Conference on Principles and Practice of Constraint Programming, 2025

2024

Generalized Optimization Modulo Theories.

Nestan Tsiskaridze, Clark W. Barrett, Cesare Tinelli

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

The FMCAD 2024 Student Forum.

Martin Blicha, Nestan Tsiskaridze

Proceedings of the Formal Methods in Computer-Aided Design, 2024

2023

AHA: An Agile Approach to the Design of Coarse-Grained Reconfigurable Accelerators and Compilers.

Kalhan Koul, Jackson Melchert, Kavya Sreedhar, Leonard Truong, Gedeon Nyengele, Keyi Zhang, Qiaoyi Liu, Jeff Setter, Po-Han Chen, Yuchen Mei, Maxwell Strange, Ross Daly, Caleb Donovick, Alex Carsello, Taeyoung Kong, Kathleen Feng, Dillon Huff, Ankita Nayak, Rajsekhar Setaluri, James Thomas, Nikhil Bhagdikar, David Durst, Zachary A. Myers, Nestan Tsiskaridze, Stephen Richardson, Rick Bahr, Kayvon Fatahalian, Pat Hanrahan, Clark W. Barrett, Mark Horowitz, Christopher Torng, Fredrik Kjolstad, Priyanka Raina

ACM Trans. Embed. Comput. Syst., March, 2023

2022

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

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021

Temporal Computing With Superconductors.

Georgios Tzimpragos, Jennifer Volk, Dilip Vasudevan, Nestan Tsiskaridze, George Michelogiannakis, Advait Madhavan, John Shalf, Timothy Sherwood

IEEE Micro, 2021

Automating System Configuration.

Nestan Tsiskaridze, Maxwell Strange, Makai Mann, Kavya Sreedhar, Qiaoyi Liu, Mark Horowitz, Clark W. Barrett

Proceedings of the Formal Methods in Computer Aided Design, 2021

2020

Language Support for Navigating Architecture Design in Closed Form.

Weilong Cui, Georgios Tzimpragos, Yu Tao, Joseph McMahan, Deeksha Dangwal, Nestan Tsiskaridze, George Michelogiannakis, Dilip P. Vasudevan, Timothy Sherwood

ACM J. Emerg. Technol. Comput. Syst., 2020

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

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

A Computational Temporal Logic for Superconducting Accelerators.

Georgios Tzimpragos, Dilip Vasudevan, Nestan Tsiskaridze, George Michelogiannakis, Advait Madhavan, Jennifer Volk, John Shalf, Timothy Sherwood

Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020

2018

Information Leakage in Arbiter Protocols.

Nestan Tsiskaridze, Lucas Bang, Joseph McMahan, Tevfik Bultan, Timothy Sherwood

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Constraint normalization and parameterized caching for quantitative program analysis.

Tegan Brennan, Nestan Tsiskaridze, Nicolás Rosner, Abdulbaki Aydin, Tevfik Bultan

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2016

An efficient SMT solver for string constraints.

Tianyi Liang, Andrew Reynolds, Nestan Tsiskaridze, Cesare Tinelli, Clark W. Barrett, Morgan Deters

Formal Methods Syst. Des., 2016

Efficient solving of string constraints for security analysis.

Clark W. Barrett, Cesare Tinelli, Morgan Deters, Tianyi Liang, Andrew Reynolds, Nestan Tsiskaridze

Proceedings of the Symposium and Bootcamp on the Science of Security, 2016

2015

A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings.

Tianyi Liang, Nestan Tsiskaridze, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett

Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

2014

Reverse Engineering Digital Circuits Using Structural and Functional Analyses.

Pramod Subramanyan, Nestan Tsiskaridze, Wenchao Li, Adrià Gascón, Wei Yang Tan, Ashish Tiwari, Natarajan Shankar, Sanjit A. Seshia, Sharad Malik

IEEE Trans. Emerg. Top. Comput., 2014

All-SAT Using Minimal Blocking Clauses.

Yinlei Yu, Pramod Subramanyan, Nestan Tsiskaridze, Sharad Malik

Proceedings of the 2014 27th International Conference on VLSI Design, 2014

2013

Reverse engineering digital circuits using functional analysis.

Pramod Subramanyan, Nestan Tsiskaridze, Kanika Pasricha, Dillon Reisman, Adriana Susnea, Sharad Malik

Proceedings of the Design, Automation and Test in Europe, 2013

2011

Conflict resolution.

Nestan Tsiskaridze

PhD thesis, 2011

Implementing Conflict Resolution.

Konstantin Korovin, Nestan Tsiskaridze, Andrei Voronkov

Proceedings of the Perspectives of Systems Informatics, 2011

2009

Conflict Resolution.

Konstantin Korovin, Nestan Tsiskaridze, Andrei Voronkov

Proceedings of the Principles and Practice of Constraint Programming, 2009