Ruzica Piskac
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
55
Venues
31
Active years
2005–2026
Best venue rank
A*
Where they publish
- A*CAV10 papers
- BVMCAI5 papers
- A*PLDI4 papers
- A*CCS2 papers
- NationalNSDI2 papers
- ATACAS2 papers
- ACADE2 papers
- AOOPSLA2 papers
- CHASKELL2 papers
- BFMCAD2 papers
- BCSL2 papers
- BFM1 paper
- A*SP1 paper
- ACP1 paper
- A*EMNLP1 paper
- A*KDD1 paper
- ASAT1 paper
- AESORICS1 paper
- AICCAD1 paper
- A*IJCAI1 paper
- CVECoS1 paper
- AISSTA1 paper
- A*INFOCOM1 paper
- A*AAAI1 paper
- ASIGCSE1 paper
- A*CHI1 paper
- AICFP1 paper
- BSAS1 paper
- A*ICSE1 paper
- NationalSYNASC1 paper
- BSEFM1 paper
Papers
55 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | Towards Privacy-Preserving Verification. | Timos Antonopoulos, Ning Luo, Ruzica Piskac |
| 2026 | SP | Decor: Delegated Computation on Randomness for Secure Evaluation of Nonlinear Functions. | Haris Smajlovic, Kyle Sheng, Timos Antonopoulos, Ruzica Piskac, Hyunghoon Cho |
| 2025 | CP | Privacy-Preserving SAT Solving (Invited Talk). | Ruzica Piskac |
| 2025 | EMNLP | CourtReasoner: Can LLM Agents Reason Like Judges? | Sophia Simeng Han, Yoshiki Takashima, Shannon Zejiang Shen, Chen Liu, Yixin Liu, Roque K. Thuo, Sonia Knowlton, Ruzica Piskac, Scott J. Shapiro, Arman Cohan |
| 2025 | KDD | KDD 2025 - AI Reasoning Day. | Jun Huan, Xiangyu Zhang, Ye Xing, Wee Hyong Tok, Ruzica Piskac |
| 2025 | SAT | Privacy-Preserving SAT Solving (Invited Talk). | Ruzica Piskac |
| 2024 | CAV | soid: A Tool for Legal Accountability for Automated Decision Making. | Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Knighofer, Scott J. Shapiro, Ruzica Piskac |
| 2024 | ESORICS | Privacy-Preserving Regular Expression Matching Using TNFA. | Ning Luo, Chenkai Weng, Jaspal Singh, Gefei Tan, Mariana Raykova, Ruzica Piskac |
| 2024 | ICCAD | Systematic Use of Random Self-Reducibility in Cryptographic Code against Physical Attacks. | Ferhat Erata, Tinghung Chiu, Anthony Etim, Srilalith Nampally, Tejas Raju, Rajashree Ramu, Ruzica Piskac, Timos Antonopoulos, Wenjie Xiong, Jakub Szefer |
| 2023 | CCS | Ou: Automating the Parallelization of Zero-Knowledge Protocols. | Yuyang Sang, Ning Luo, Samuel Judson, Ben Chaimberg, Timos Antonopoulos, Xiao Wang, Ruzica Piskac, Zhong Shao |
| 2023 | IJCAI | Analyzing Intentional Behavior in Autonomous Agents under Uncertainty. | Filip Cano Crdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjrner, Nicholas Shoemaker, Scott J. Shapiro, Ruzica Piskac, Bettina Knighofer |
| 2023 | VECoS | Formal XAI via Syntax-Guided Synthesis. | Katrine Bjrner, Samuel Judson, Filip Cano, Drew Goldman, Nicholas Shoemaker, Ruzica Piskac, Bettina Knighofer |
| 2022 | CCS | Proving UNSAT in Zero Knowledge. | Ning Luo, Timos Antonopoulos, William R. Harris, Ruzica Piskac, Eran Tromer, Xiao Wang |
| 2022 | ISSTA | Using pre-trained language models to resolve textual and semantic merge conflicts (experience paper). | Jialu Zhang, Todd Mytkowicz, Mike Kaufman, Ruzica Piskac, Shuvendu K. Lahiri |
| 2022 | PLDI | Can reactive synthesis and syntax-guided synthesis be friends? | Wonhyuk Choi, Bernd Finkbeiner, Ruzica Piskac, Mark Santolucito |
| 2021 | INFOCOM | Looking for the Maximum Independent Set: A New Perspective on the Stable Path Problem. | Yichao Cheng, Ning Luo, Jingxuan Zhang, Timos Antonopoulos, Ruzica Piskac, Qiao Xiang |
| 2021 | NSDI | Avenir: Managing Data Plane Diversity with Control Plane Synthesis. | Eric Hayden Campbell, William T. Hallahan, Priya Srikumar, Carmelo Cascone, Jed Liu, Vignesh Ramamurthy, Hossein Hojjat, Ruzica Piskac, Robert Soul, Nate Foster |
| 2021 | TACAS | Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities. | Julien Lepiller, Ruzica Piskac, Martin Schf, Mark Santolucito |
| 2020 | AAAI | Grammar Filtering for Syntax-Guided Synthesis. | Kairo Morton, William T. Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito |
| 2020 | CADE | Efficient Automated Reasoning About Sets and Multisets with Cardinality Constraints. | Ruzica Piskac |
| 2020 | NSDI | Check before You Change: Preventing Correlated Failures in Service Updates. | Ennan Zhai, Ang Chen, Ruzica Piskac, Mahesh Balakrishnan, Bingchuan Tian, Bo Song, Haoliang Zhang |
| 2020 | OOPSLA | Towards checkpoint placement for dynamic memory allocation in intermittent computing. | Nicholas Shoemaker, Ruzica Piskac, Mark Santolucito |
| 2020 | SIGCSE | Formal Methods and Computing Identity-based Mentorship for Early Stage Researchers. | Mark Santolucito, Ruzica Piskac |
| 2020 | VMCAI | Solving $\mathrm {LIA} ^\star $ Using Approximations. | Maxwell Levatich, Nikolaj S. Bjrner, Ruzica Piskac, Sharon Shoham |
| 2019 | CAV | Temporal Stream Logic: Synthesis Beyond the Bools. | Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito |
| 2019 | CHI | Live Programming By Example. | Mark Santolucito, William T. Hallahan, Ruzica Piskac |
| 2019 | HASKELL | Synthesizing functional reactive programs. | Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito |
| 2019 | HASKELL | G2Q: Haskell constraint solving. | William T. Hallahan, Anton Xue, Ruzica Piskac |
| 2019 | PLDI | Lazy counterfactual symbolic execution. | William T. Hallahan, Anton Xue, Maxwell Troy Bland, Ranjit Jhala, Ruzica Piskac |
| 2018 | ICFP | Programming-by-example for audio: synthesizing digital signal processing programs. | Mark Santolucito, Kate Rogers, Aedan Lombardo, Ruzica Piskac |
| 2018 | OOPSLA | Programming by Example: Efficient, but Not "Helpful". | Mark Santolucito, Drew Goldman, Allyson Weseley, Ruzica Piskac |
| 2018 | SAS | New Applications of Software Synthesis: Verification of Configuration Files and Firewall Repair. | Ruzica Piskac |
| 2017 | FMCAD | Automated repair by example for firewalls. | William T. Hallahan, Ennan Zhai, Ruzica Piskac |
| 2016 | CAV | Probabilistic Automated Language Learning for Configuration Files. | Mark Santolucito, Ennan Zhai, Ruzica Piskac |
| 2015 | CAV | A Type-Directed Approach to Program Repair. | Alex Reinking, Ruzica Piskac |
| 2015 | ICSE | StriSynth: Synthesis for Live Programming. | Sumit Gulwani, Mikal Mayer, Filip Niksic, Ruzica Piskac |
| 2015 | SYNASC | From Decision Procedures to Synthesis Procedures. | Ruzica Piskac |
| 2014 | CAV | Automating Separation Logic with Trees and Data. | Ruzica Piskac, Thomas Wies, Damien Zufferey |
| 2014 | FMCAD | The FMCAD 2014 graduate student forum. | Ruzica Piskac |
| 2014 | TACAS | GRASShopper - Complete Heap Verification with Mixed Specifications. | Ruzica Piskac, Thomas Wies, Damien Zufferey |
| 2013 | CAV | Incremental, Inductive Coverability. | Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac |
| 2013 | CAV | Automating Separation Logic Using SMT. | Ruzica Piskac, Thomas Wies, Damien Zufferey |
| 2013 | PLDI | Complete completion using types and weights. | Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, Ruzica Piskac |
| 2011 | CAV | Interactive Synthesis of Code Snippets. | Tihomir Gvero, Viktor Kuncak, Ruzica Piskac |
| 2011 | VMCAI | Decision Procedures for Automating Termination Proofs. | Ruzica Piskac, Thomas Wies |
| 2010 | CADE | MUNCH - Automated Reasoner for Sets and Multisets. | Ruzica Piskac, Viktor Kuncak |
| 2010 | CAV | Comfusy: A Tool for Complete Functional Synthesis. | Viktor Kuncak, Mikal Mayer, Ruzica Piskac, Philippe Suter |
| 2010 | CSL | Ordered Sets in the Calculus of Data Structures. | Viktor Kuncak, Ruzica Piskac, Philippe Suter |
| 2010 | PLDI | Complete functional synthesis. | Viktor Kuncak, Mikal Mayer, Ruzica Piskac, Philippe Suter |
| 2010 | VMCAI | Building a Calculus of Data Structures. | Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies |
| 2010 | VMCAI | Collections, Cardinalities, and Relations. | Kuat Yessenov, Ruzica Piskac, Viktor Kuncak |
| 2008 | CAV | Linear Arithmetic with Stars. | Ruzica Piskac, Viktor Kuncak |
| 2008 | CSL | Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars. | Ruzica Piskac, Viktor Kuncak |
| 2008 | VMCAI | Decision Procedures for Multisets with Cardinality Constraints. | Ruzica Piskac, Viktor Kuncak |
| 2005 | SEFM | Verification of an Off-Line Checker for Priority Queues. | Hans de Nivelle, Ruzica Piskac |