Follow
Nestan Tsiskaridze
Nestan Tsiskaridze
Research Engineer at Stanford University
Verified email at stanford.edu
Title
Cited by
Cited by
Year
Reverse Engineering Digital Circuits Using Structural and Functional Analyses.
P Subramanyan, N Tsiskaridze, W Li, A Gascón, WY Tan, A Tiwari, ...
IEEE Trans. Emerging Topics Comput. 2 (1), 63-80, 2014
1222014
Reverse engineering digital circuits using functional analysis
P Subramanyan, N Tsiskaridze, K Pasricha, D Reisman, A Susnea, ...
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 …, 2013
932013
An efficient SMT solver for string constraints
T Liang, A Reynolds, N Tsiskaridze, C Tinelli, C Barrett, M Deters
Formal Methods in System Design 48 (3), 206-234, 2016
562016
Conflict Resolution
K Korovin, N Tsiskaridze, A Voronkov
Principles and Practice of Constraint Programming-CP 2009, 509-523, 2009
482009
All-SAT using minimal blocking clauses
Y Yu, P Subramanyan, N Tsiskaridze, S Malik
2014 27th International Conference on VLSI Design and 2014 13th …, 2014
402014
A decision procedure for regular membership and length constraints over unbounded strings
T Liang, N Tsiskaridze, A Reynolds, C Tinelli, C Barrett
International Symposium on Frontiers of Combining Systems, 135-150, 2015
292015
Constraint normalization and parameterized caching for quantitative program analysis
T Brennan, N Tsiskaridze, N Rosner, A Aydin, T Bultan
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
242017
A Computational Temporal Logic for Superconducting Accelerators
G Tzimpragos, D Vasudevan, N Tsiskaridze, G Michelogiannakis, ...
Proceedings of the Twenty-Fifth International Conference on Architectural …, 2020
232020
Temporal Computing with Superconductors
G Tzimpragos, JE Volk, D Vasudevan, N Tsiskaridze, G Michelogiannakis, ...
IEEE Micro, 2021
92021
Creating an Agile Hardware Design Flow
R Bahr, C Barrett, N Bhagdikar, A Carsello, R Daly, C Donovick, D Durst, ...
2020 57th ACM/IEEE Design Automation Conference (DAC), 1-6, 2020
92020
Implementing conflict resolution
K Korovin, N Tsiskaridze, A Voronkov
International Andrei Ershov Memorial Conference on Perspectives of System …, 2011
62011
Efficient solving of string constraints for security analysis
C Barrett, C Tinelli, M Deters, T Liang, A Reynolds, N Tsiskaridze
Proceedings of the Symposium and Bootcamp on the Science of Security, 4-6, 2016
32016
Information Leakage in Arbiter Protocols
N Tsiskaridze, L Bang, J McMahan, T Bultan, T Sherwood
International Symposium on Automated Technology for Verification and …, 2018
22018
Automating System Configuration
N Tsiskaridze, M Strange, M Mann, K Sreedhar, Q Liu, M Horowitz, ...
CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2021, 102, 2021
12021
From arbitrary functions to space-time implementations
G Tzimpragos, N Tsiskaridze, K Huch, A Madhavan, T Sherwood
Proceedings of the 1st Unary Computing Workshop (ISCA’19), 2019
12019
Language Support for Navigating Architecture Design in Closed Form
W Cui, G Tzimpragos, Y Tao, J Mcmahan, D Dangwal, N Tsiskaridze, ...
ACM Journal on Emerging Technologies in Computing Systems (JETC) 16 (1), 1-28, 2019
2019
Conflict Resolution
N Tsiskaridze
University of Manchester, 2011
2011
AHA: An Agile Approach to the Design of Coarse-Grained Reconfigurable Accelerators and Compilers
K Koul, J Melchert, K Sreedhar, L Truong, G Nyengele, K Zhang, Q Liu, ...
ACM Transactions on Embedded Computing Systems (TECS), 0
2 Special Issue on Emerging Nanoscale Architectures for Hardware Security, Trust, and Reliability: Part 1 by R. Karri and M. Potkonjak 4 On-Chip Nanoscale Capacitor Decoupling …
M Mayhew, R Muresan, J Kong, F Koushanfar, L Bossuet, XT Ngo, ...
The system can't perform the operation now. Try again later.
Articles 1–19