CUFinder

Ruzica Piskac

Ruzica Piskac

Yale University

H-index: 21

North America-United States

Contact Ruzica Piskac

About Ruzica Piskac

Ruzica Piskac, With an exceptional h-index of 21 and a recent h-index of 16 (since 2020), a distinguished researcher at Yale University, specializes in the field of Formal verification, program synthesis.

His recent articles reflect a diverse array of research interests and contributions to the field:

'Put the Car on the Stand' SMT-based Oracles for Investigating Decisions

Quantum Circuit Reconstruction from Power Side-Channel Attacks on Quantum Computer Controllers

Accountable Software Systems (Dagstuhl Seminar 23411)

Analyzing intentional behavior in autonomous agents under uncertainty

Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code

Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code

Etap: Energy-aware timing analysis of intermittent programs

ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge

Ruzica Piskac Information

University

Position

Associate Professor (on term) of Computer Science

Citations(all)

1795

Citations(since 2020)

895

Cited By

1219

hIndex(all)

21

hIndex(since 2020)

16

i10Index(all)

38

i10Index(since 2020)

28

Email

University Profile Page

Google Scholar

Ruzica Piskac Skills & Research Interests

Formal verification

program synthesis

Top articles of Ruzica Piskac

'Put the Car on the Stand' SMT-based Oracles for Investigating Decisions

2024/3/12

Bettina Könighofer
Bettina Könighofer

H-Index: 9

Ruzica Piskac
Ruzica Piskac

H-Index: 14

Quantum Circuit Reconstruction from Power Side-Channel Attacks on Quantum Computer Controllers

Transactions on Cryptographic Hardware and Embedded Systems

2024/9

Ferhat Erata
Ferhat Erata

H-Index: 4

Ruzica Piskac
Ruzica Piskac

H-Index: 14

Jakub Szefer
Jakub Szefer

H-Index: 18

Accountable Software Systems (Dagstuhl Seminar 23411)

2024

Bettina Könighofer
Bettina Könighofer

H-Index: 9

Ruzica Piskac
Ruzica Piskac

H-Index: 14

Michael Veale
Michael Veale

H-Index: 14

Analyzing intentional behavior in autonomous agents under uncertainty

arXiv preprint arXiv:2307.01532

2023/7/4

Ruzica Piskac
Ruzica Piskac

H-Index: 14

Bettina Könighofer
Bettina Könighofer

H-Index: 9

Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code

2023/7/3

Ferhat Erata
Ferhat Erata

H-Index: 4

Ruzica Piskac
Ruzica Piskac

H-Index: 14

Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code

2023/7

Ferhat Erata
Ferhat Erata

H-Index: 4

Ruzica Piskac
Ruzica Piskac

H-Index: 14

Jakub Szefer
Jakub Szefer

H-Index: 18

Etap: Energy-aware timing analysis of intermittent programs

ACM Transactions on Embedded Computing Systems

2023/1/24

Ferhat Erata
Ferhat Erata

H-Index: 4

Eren Yildiz
Eren Yildiz

H-Index: 1

Jakub Szefer
Jakub Szefer

H-Index: 18

Ruzica Piskac
Ruzica Piskac

H-Index: 14

ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge

Cryptology ePrint Archive

2023

Ruzica Piskac
Ruzica Piskac

H-Index: 14

Eran Tromer
Eran Tromer

H-Index: 33

Xiao Wang
Xiao Wang

H-Index: 4

Ning Luo
Ning Luo

H-Index: 11

Resilient Software Configuration and Infrastructure Code Analysis (Dagstuhl Seminar 23082)

2023

Jürgen Cito
Jürgen Cito

H-Index: 15

Ruzica Piskac
Ruzica Piskac

H-Index: 14

Mark Santolucito
Mark Santolucito

H-Index: 6

Andy Zaidman
Andy Zaidman

H-Index: 39

Daniel Sokolowski
Daniel Sokolowski

H-Index: 1

Privacy-Preserving Regular Expression Matching using Nondeterministic Finite Automata

Cryptology ePrint Archive

2023

Ning Luo
Ning Luo

H-Index: 11

Jaspal Singh
Jaspal Singh

H-Index: 3

Ruzica Piskac
Ruzica Piskac

H-Index: 14

Proving Query Equivalence Using Linear Integer Arithmetic

Proceedings of the ACM on Management of Data

2023/12/12

Haoran Ding
Haoran Ding

H-Index: 2

Zhaoguo Wang
Zhaoguo Wang

H-Index: 10

Haibo Chen
Haibo Chen

H-Index: 34

Ruzica Piskac
Ruzica Piskac

H-Index: 14

Jinyang Li
Jinyang Li

H-Index: 18

Ou: Automating the Parallelization of Zero-Knowledge Protocols

2023/11/15

Ning Luo
Ning Luo

H-Index: 11

Xiao Wang
Xiao Wang

H-Index: 4

Ruzica Piskac
Ruzica Piskac

H-Index: 14

Zhong Shao
Zhong Shao

H-Index: 20

Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach

arXiv preprint arXiv:2311.07377

2023/11/13

Xi Zheng
Xi Zheng

H-Index: 17

Ruzica Piskac
Ruzica Piskac

H-Index: 14

Oleg Sokolsky
Oleg Sokolsky

H-Index: 25

Insup Lee
Insup Lee

H-Index: 37

Formal XAI via syntax-guided synthesis

2023/10/23

Ruzica Piskac
Ruzica Piskac

H-Index: 14

Bettina Könighofer
Bettina Könighofer

H-Index: 9

Dagstuhl Reports, Vol. 13, Issue 2 ISSN 2192-5283

2023/9

Nicole Megow
Nicole Megow

H-Index: 16

Ola Svensson
Ola Svensson

H-Index: 12

Jens Schlöter
Jens Schlöter

H-Index: 1

Michael Pradel
Michael Pradel

H-Index: 28

Baishakhi Ray
Baishakhi Ray

H-Index: 21

Eran Yahav
Eran Yahav

H-Index: 34

Martin Farach-Colton
Martin Farach-Colton

H-Index: 29

Ronitt Rubinfeld
Ronitt Rubinfeld

H-Index: 29

Przemysław Uznański
Przemysław Uznański

H-Index: 13

Yingzhen Li
Yingzhen Li

H-Index: 14

Kevin Murphy
Kevin Murphy

H-Index: 0

Stephan Mandt
Stephan Mandt

H-Index: 21

Andrei Ciortea
Andrei Ciortea

H-Index: 10

Andreas Harth
Andreas Harth

H-Index: 25

Alessandro Ricci
Alessandro Ricci

H-Index: 18

Danai Vachtsevanou
Danai Vachtsevanou

H-Index: 3

Jürgen Cito
Jürgen Cito

H-Index: 15

Ruzica Piskac
Ruzica Piskac

H-Index: 14

Mark Santolucito
Mark Santolucito

H-Index: 6

Andy Zaidman
Andy Zaidman

H-Index: 39

Daniel Sokolowski
Daniel Sokolowski

H-Index: 1

Irina Kostitsyna
Irina Kostitsyna

H-Index: 11

Marc Hassenzahl
Marc Hassenzahl

H-Index: 42

Proving UNSAT in zero knowledge

2022/11/7

Ning Luo
Ning Luo

H-Index: 11

Ruzica Piskac
Ruzica Piskac

H-Index: 14

Eran Tromer
Eran Tromer

H-Index: 33

Xiao Wang
Xiao Wang

H-Index: 4

Checking equivalence in a non-strict language

Proceedings of the ACM on Programming Languages

2022/10/31

Ruzica Piskac
Ruzica Piskac

H-Index: 14

Automated feedback generation for competition-level code

ASE 2022, 37th IEEE/ACM International Conference on Automated Software Engineering

2022/10

Jialu Zhang
Jialu Zhang

H-Index: 13

Hanyuan Shi
Hanyuan Shi

H-Index: 6

Ruzica Piskac
Ruzica Piskac

H-Index: 14

Repairing bugs in python assignments using large language models

arXiv preprint arXiv:2209.14876

2022/9/29

Jialu Zhang
Jialu Zhang

H-Index: 13

Ruzica Piskac
Ruzica Piskac

H-Index: 14

Gust Verbruggen
Gust Verbruggen

H-Index: 4

Using pre-trained language models to resolve textual and semantic merge conflicts (experience paper)

2022/7

Jialu Zhang
Jialu Zhang

H-Index: 13

Ruzica Piskac
Ruzica Piskac

H-Index: 14

See List of Professors in Ruzica Piskac University(Yale University)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine