Ruzica Piskac

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 72

Top Topics

Interaction Analysis

Maximum Independent Set

Automated Detection

Top Venues

IACR Cryptol. ePrint Arch.

Proc. ACM Program. Lang.

Publications

Jialu Zhang, José Pablo Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen
PyDex: Repairing Bugs in Introductory Python Assignments using LLMs. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Ferhat Erata, Chuanqi Xu, Ruzica Piskac, Jakub Szefer
Quantum Circuit Reconstruction from Power Side-Channel Attacks on Quantum Computer Controllers. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2024 (2) (2024)
Xi Zheng, Aloysius K. Mok, Ruzica Piskac, Yong Jae Lee, Bhaskar Krishnamachari, Dakai Zhu, Oleg Sokolsky, Insup Lee
Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach. SIGSOFT FSE Companion (2024)
Ferhat Erata, Chuanqi Xu, Ruzica Piskac, Jakub Szefer
Quantum Circuit Reconstruction from Power Side-Channel Attacks on Quantum Computer Controllers. CoRR (2024)
Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac
soid: A Tool for Legal Accountability for Automated Decision Making. CAV (2) (2024)
Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac
'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions. CSLAW (2024)
Daniel Luick, John C. Kolesar, Timos Antonopoulos, William R. Harris, James Parker, Ruzica Piskac, Eran Tromer, Xiao Wang, Ning Luo
ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge. USENIX Security Symposium (2024)
Ferhat Erata, Tinghung Chiu, Anthony Etim, Srilalith Nampally, Tejas Raju, Rajashree Ramu, Ruzica Piskac, Timos Antonopoulos, Wenjie Xiong, Jakub Szefer
Systematic Use of Random Self-Reducibility against Physical Attacks. CoRR (2024)
Filip Cano Córdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjørner, Nicholas Shoemaker, Scott J. Shapiro, Ruzica Piskac, Bettina Könighofer
Analyzing Intentional Behavior in Autonomous Agents under Uncertainty. CoRR (2023)
Ferhat Erata, Ruzica Piskac, Víctor Mateu, Jakub Szefer
Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code. EuroS&P (2023)
Ning Luo, Chenkai Weng, Jaspal Singh, Gefei Tan, Ruzica Piskac, Mariana Raykova
Privacy-Preserving Regular Expression Matching using Nondeterministic Finite Automata. IACR Cryptol. ePrint Arch. 2023 (2023)
Ferhat Erata, Eren Yildiz, Arda Goknil, Kasim Sinan Yildirim, Jakub Szefer, Ruzica Piskac, Gökçin Sezgin
ETAP: Energy-aware Timing Analysis of Intermittent Programs. ACM Trans. Embed. Comput. Syst. 22 (2) (2023)
Yuyang Sang, Ning Luo, Samuel Judson, Ben Chaimberg, Timos Antonopoulos, Xiao Wang, Ruzica Piskac, Zhong Shao
Ou: Automating the Parallelization of Zero-Knowledge Protocols. IACR Cryptol. ePrint Arch. 2023 (2023)
Jürgen Cito, Ruzica Piskac, Mark Santolucito, Andy Zaidman, Daniel Sokolowski
Resilient Software Configuration and Infrastructure Code Analysis (Dagstuhl Seminar 23082). Dagstuhl Reports 13 (2) (2023)
Haoran Ding, Zhaoguo Wang, Yicun Yang, Dexin Zhang, Zhenglin Xu, Haibo Chen, Ruzica Piskac, Jinyang Li
Proving Query Equivalence Using Linear Integer Arithmetic. Proc. ACM Manag. Data 1 (4) (2023)
Bettina Könighofer, Joshua A. Kroll, Ruzica Piskac, Michael Veale, Filip Cano Córdoba
Accountable Software Systems (Dagstuhl Seminar 23411). Dagstuhl Reports 13 (10) (2023)
Filip Cano Córdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjørner, Nicholas Shoemaker, Scott J. Shapiro, Ruzica Piskac, Bettina Könighofer
Analyzing Intentional Behavior in Autonomous Agents under Uncertainty. IJCAI (2023)
Ferhat Erata, Ruzica Piskac, Víctor Mateu, Jakub Szefer
Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code. CoRR (2023)
Yuyang Sang, Ning Luo, Samuel Judson, Ben Chaimberg, Timos Antonopoulos, Xiao Wang, Ruzica Piskac, Zhong Shao
Ou: Automating the Parallelization of Zero-Knowledge Protocols. CCS (2023)
Xi Zheng, Aloysius K. Mok, Ruzica Piskac, Yong Jae Lee, Bhaskar Krishnamachari, Dakai Zhu, Oleg Sokolsky, Insup Lee
Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach. CoRR (2023)
Katrine Bjørner, Samuel Judson, Filip Cano Córdoba, Drew Goldman, Nicholas Shoemaker, Ruzica Piskac, Bettina Könighofer
Formal XAI via Syntax-Guided Synthesis. AISoLA (2023)
Samuel Judson, Matthew Elacqua, Filip Cano Córdoba, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac
'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions. CoRR (2023)
Daniel Luick, John C. Kolesar, Timos Antonopoulos, William R. Harris, James Parker, Ruzica Piskac, Eran Tromer, Xiao Wang, Ning Luo
ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge. IACR Cryptol. ePrint Arch. 2023 (2023)
Jialu Zhang, José Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen
Repairing Bugs in Python Assignments Using Large Language Models. CoRR (2022)
John C. Kolesar, Ruzica Piskac, William T. Hallahan
Checking equivalence in a non-strict language. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Ning Luo, Samuel Judson, Timos Antonopoulos, Ruzica Piskac, Xiao Wang
ppSAT: Towards Two-Party Private SAT Solving. USENIX Security Symposium (2022)
Jialu Zhang, De Li, John C. Kolesar, Hanyuan Shi, Ruzica Piskac
Automated Feedback Generation for Competition-Level Code. CoRR (2022)
Wonhyuk Choi, Bernd Finkbeiner, Ruzica Piskac, Mark Santolucito
Can reactive synthesis and syntax-guided synthesis be friends? PLDI (2022)
Ning Luo, Timos Antonopoulos, William R. Harris, Ruzica Piskac, Eran Tromer, Xiao Wang
Proving UNSAT in Zero Knowledge. IACR Cryptol. ePrint Arch. 2022 (2022)
Ning Luo, Qiao Xiang, Timos Antonopoulos, Ruzica Piskac, Y. Richard Yang, Franck Le
IVeri: Privacy-Preserving Interdomain Verification. CoRR (2022)
Jialu Zhang, De Li, John Charles Kolesar, Hanyuan Shi, Ruzica Piskac
Automated Feedback Generation for Competition-Level Code. ASE (2022)
Mark Santolucito, Jialu Zhang, Ennan Zhai, Jürgen Cito, Ruzica Piskac
Learning CI Configuration Correctness for Early Build Feedback. SANER (2022)
Ning Luo, Timos Antonopoulos, William R. Harris, Ruzica Piskac, Eran Tromer, Xiao Wang
Proving UNSAT in Zero Knowledge. CCS (2022)
Jialu Zhang, Todd Mytkowicz, Mike Kaufman, Ruzica Piskac, Shuvendu K. Lahiri
Using pre-trained language models to resolve textual and semantic merge conflicts (experience paper). ISSTA (2022)
Jialu Zhang, Todd Mytkowicz, Mike Kaufman, Ruzica Piskac, Shuvendu K. Lahiri
Can Pre-trained Language Models be Used to Resolve Textual and Semantic Merge Conflicts? CoRR (2021)
Yichao Cheng, Ning Luo, Jingxuan Zhang, Timos Antonopoulos, Ruzica Piskac, Qiao Xiang
Looking for the Maximum Independent Set: A New Perspective on the Stable Path Problem. INFOCOM (2021)
Eric Hayden Campbell, William T. Hallahan, Priya Srikumar, Carmelo Cascone, Jed Liu, Vignesh Ramamurthy, Hossein Hojjat, Ruzica Piskac, Robert Soulé, Nate Foster
Avenir: Managing Data Plane Diversity with Control Plane Synthesis. NSDI (2021)
Ning Luo, Samuel Judson, Timos Antonopoulos, Ruzica Piskac, Xiao Wang
ppSAT: Towards Two-Party Private SAT Solving. IACR Cryptol. ePrint Arch. 2021 (2021)
Jialu Zhang, Ruzica Piskac, Ennan Zhai, Tianyin Xu
Static detection of silent misconfigurations with deep interaction analysis. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Julien Lepiller, Ruzica Piskac, Martin Schäf, Mark Santolucito
Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities. TACAS (2) (2021)
Nicholas Shoemaker, Ruzica Piskac, Mark Santolucito
Towards checkpoint placement for dynamic memory allocation in intermittent computing. TAPAS@SPLASH (2020)
Mark Santolucito, Ruzica Piskac
Formal Methods and Computing Identity-based Mentorship for Early Stage Researchers. SIGCSE (2020)
Ennan Zhai, Ang Chen, Ruzica Piskac, Mahesh Balakrishnan, Bingchuan Tian, Bo Song, Haoliang Zhang
Check before You Change: Preventing Correlated Failures in Service Updates. NSDI (2020)
Kairo Morton, William T. Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito
Grammar Filtering For Syntax-Guided Synthesis. CoRR (2020)
Ruzica Piskac
Efficient Automated Reasoning About Sets and Multisets with Cardinality Constraints. IJCAR (1) (2020)
William T. Hallahan, Ennan Zhai, Ruzica Piskac
Automated repair by example for firewalls. Formal Methods Syst. Des. 56 (1) (2020)
Samuel Judson, Ning Luo, Timos Antonopoulos, Ruzica Piskac
Privacy Preserving CTL Model Checking through Oblivious Graph Algorithms. WPES@CCS (2020)
Kairo Morton, William T. Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito
Grammar Filtering for Syntax-Guided Synthesis. AAAI (2020)
Maxwell Levatich, Nikolaj Bjørner, Ruzica Piskac, Sharon Shoham
Solving $\mathrm {LIA} ^\star $ Using Approximations. VMCAI (2020)
Jialu Zhang, Mark Santolucito, Ruzica Piskac
Succinct Explanations With Cascading Decision Trees. CoRR (2020)
William T. Hallahan, Anton Xue, Maxwell Troy Bland, Ranjit Jhala, Ruzica Piskac
Lazy counterfactual symbolic execution. PLDI (2019)
Slobodan Mitrovic, Ruzica Piskac, Viktor Kuncak
Identifying Maximal Non-Redundant Integer Cone Generators. CoRR (2019)
Mark Santolucito, William T. Hallahan, Ruzica Piskac
Live Programming By Example. CHI Extended Abstracts (2019)
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
Synthesizing functional reactive programs. Haskell@ICFP (2019)
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
Temporal Stream Logic: Synthesis Beyond the Bools. CAV (1) (2019)
William T. Hallahan, Anton Xue, Ruzica Piskac
G2Q: Haskell constraint solving. Haskell@ICFP (2019)
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
Synthesizing Functional Reactive Programs. CoRR (2019)
Mark Santolucito, Drew Goldman, Allyson Weseley, Ruzica Piskac
Programming by Example: Efficient, but Not "Helpful". PLATEAU@SPLASH (2018)
Ruzica Piskac
New Applications of Software Synthesis: Verification of Configuration Files and Firewall Repair. SAS (2018)
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
Vehicle Platooning Simulations with Functional Reactive Programming. CoRR (2018)
Mark Santolucito, Kate Rogers, Aedan Lombardo, Ruzica Piskac
Programming-by-example for audio: synthesizing digital signal processing programs. FARM@ICFP (2018)
Mark Santolucito, Jialu Zhang, Ennan Zhai, Ruzica Piskac
Statically Verifying Continuous Integration Configurations. CoRR (2018)
Ennan Zhai, Ruzica Piskac, Ronghui Gu, Xun Lao, Xi Wang
An auditing language for preventing correlated failures in the cloud. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
Temporal Stream Logic: Synthesis beyond the Bools. CoRR (2017)
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
Vehicle Platooning Simulations with Functional Reactive Programming. SCAV@CPSWeek (2017)
Mark Santolucito, Ennan Zhai, Rahul Dhodapkar, Aaron Shim, Ruzica Piskac
Synthesizing configuration file specifications with association rule learning. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
William T. Hallahan, Ennan Zhai, Ruzica Piskac
Automated repair by example for firewalls. FMCAD (2017)
Mark Santolucito, Ennan Zhai, Ruzica Piskac
Probabilistic Automated Language Learning for Configuration Files. CAV (2) (2016)
Sumit Gulwani, Mikaël Mayer, Filip Niksic, Ruzica Piskac
StriSynth: Synthesis for Live Programming. ICSE (2) (2015)
Alex Reinking, Ruzica Piskac
A Type-Directed Approach to Program Repair. CAV (1) (2015)
Ruzica Piskac
From Decision Procedures to Synthesis Procedures. SYNASC (2015)
Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, Ruzica Piskac
InSynth: A System for Code Completion using Types and Weights. Software Engineering & Management (2015)
Ruzica Piskac, Thomas Wies, Damien Zufferey
GRASShopper - Complete Heap Verification with Mixed Specifications. TACAS (2014)
Ruzica Piskac
The FMCAD 2014 graduate student forum. FMCAD (2014)
Ruzica Piskac, Thomas Wies, Damien Zufferey
Automating Separation Logic with Trees and Data. CAV (2014)
Thomas Hillenbrand, Ruzica Piskac, Uwe Waldmann, Christoph Weidenbach
From Search to Computation: Redundancy Criteria and Simplification at Work. Programming Logics (2013)
Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac
Incremental, Inductive Coverability. CAV (2013)
Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, Ruzica Piskac
Complete completion using types and weights. PLDI (2013)
Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac
Incremental, Inductive Coverability CoRR (2013)
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter
Functional synthesis for linear arithmetic and sets. Int. J. Softw. Tools Technol. Transf. 15 (5-6) (2013)
Ruzica Piskac, Thomas Wies, Damien Zufferey
Automating Separation Logic Using SMT. CAV (2013)
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter
Software synthesis procedures. Commun. ACM 55 (2) (2012)
Tihomir Gvero, Viktor Kuncak, Ruzica Piskac
Interactive Synthesis of Code Snippets. CAV (2011)
Ruzica Piskac, Thomas Wies
Decision Procedures for Automating Termination Proofs. VMCAI (2011)
Viktor Kuncak, Ruzica Piskac, Philippe Suter
Ordered Sets in the Calculus of Data Structures. CSL (2010)
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter
Complete functional synthesis. PLDI (2010)
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter
Comfusy: A Tool for Complete Functional Synthesis. CAV (2010)
Kuat Yessenov, Ruzica Piskac, Viktor Kuncak
Collections, Cardinalities, and Relations. VMCAI (2010)
Ruzica Piskac, Viktor Kuncak
MUNCH - Automated Reasoner for Sets and Multisets. IJCAR (2010)
Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies
Building a Calculus of Data Structures. VMCAI (2010)
Ruzica Piskac, Leonardo Mendonça de Moura, Nikolaj Bjørner
Deciding Effectively Propositional Logic Using DPLL and Substitution Sets. J. Autom. Reason. 44 (4) (2010)
Thomas Wies, Ruzica Piskac, Viktor Kuncak
Combining Theories with Shared Set Operations. FroCoS (2009)
Ruzica Piskac, Viktor Kuncak
Linear Arithmetic with Stars. CAV (2008)
Ruzica Piskac, Viktor Kuncak
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars. CSL (2008)
Ruzica Piskac, Viktor Kuncak
Decision Procedures for Multisets with Cardinality Constraints. VMCAI (2008)
Hans de Nivelle, Ruzica Piskac
Verification of an Off-Line Checker for Priority Queues. SEFM (2005)