R. Piskac

Most-cited papers

Automating Separation Logic with Trees and Data
R. Piskac, Thomas Wies, D. Zufferey
2014International Conference on Computer Aided Verification88 citations Open access
Semantic Scholar
PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
Jia-Lu Zhang, J. Cambronero, Sumit Gulwani, Vu Le +3 more
2024Proc. ACM Program. Lang.82 citations Open access
Semantic Scholar
GRASShopper - Complete Heap Verification with Mixed Specifications
R. Piskac, Thomas Wies, D. Zufferey
2014International Conference on Tools and Algorithms for Construction and Analysis of Systems69 citations Open access
Semantic Scholar
Repairing Bugs in Python Assignments Using Large Language Models
Jia-Lu Zhang, J. Cambronero, Sumit Gulwani, Vu Le +3 more
2022arXiv.org68 citations Open access
Semantic Scholar
Using pre-trained language models to resolve textual and semantic merge conflicts (experience paper)
Jia-Lu Zhang, T. Mytkowicz, Mike Kaufman, R. Piskac +1 more
2022International Symposium on Software Testing and Analysis67 citations
Semantic Scholar
Temporal Stream Logic: Synthesis beyond the Bools
B. Finkbeiner, F. Klein, R. Piskac, Mark Santolucito
2017International Conference on Computer Aided Verification55 citations Open access
Semantic Scholar
Synthesizing configuration file specifications with association rule learning
Mark Santolucito, En-Nan Zhai, R. Dhodapkar, Aaron Shim +1 more
2017Proc. ACM Program. Lang.53 citations Open access
Semantic Scholar
Proving Query Equivalence Using Linear Integer Arithmetic
Haoran Ding, Zhao-Guo Wang, Yicun Yang, De-Xin Zhang +4 more
2023Proc. ACM Manag. Data47 citations Open access
Semantic Scholar
Check before You Change: Preventing Correlated Failures in Service Updates
En-Nan Zhai, Ang Chen, R. Piskac, M. Balakrishnan +3 more
2020Symposium on Networked Systems Design and Implementation46 citations
Semantic Scholar
Static detection of silent misconfigurations with deep interaction analysis
Jia-Lu Zhang, R. Piskac, En-Nan Zhai, Tian-Yin Xu
2021Proc. ACM Program. Lang.45 citations Open access
Semantic Scholar
Quantum Circuit Reconstruction from Power Side-Channel Attacks on Quantum Computer Controllers
Ferhat Erata, Chuan Xu, R. Piskac, Jakub Szefer
2024IACR Trans. Cryptogr. Hardw. Embed. Syst.41 citations Open access
Semantic Scholar
Probabilistic Automated Language Learning for Configuration Files
Mark Santolucito, En-Nan Zhai, R. Piskac
2016International Conference on Computer Aided Verification38 citations
Semantic Scholar
Automated Feedback Generation for Competition-Level Code
Jia-Lu Zhang, De Li, John C. Kolesar, Hanyuan Shi +1 more
2022International Conference on Automated Software Engineering37 citations Open access
Semantic Scholar
Can reactive synthesis and syntax-guided synthesis be friends?
Wonhyuk Choi, Bernd Finkbeiner, R. Piskac, Mark Santolucito
2022ACM-SIGPLAN Symposium on Programming Language Design and Implementation29 citations
Semantic Scholar
Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities
Julien Lepiller, R. Piskac, Martin Schäf, Mark Santolucito
2021International Conference on Tools and Algorithms for Construction and Analysis of Systems25 citations
Semantic Scholar
Automated Validating and Fixing of Text-to-SQL Translation with Execution Consistency
Yicun Yang, Zhao-Guo Wang, Yu-Bin Xia, Zhuoran Wei +4 more
2025Proc. ACM Manag. Data22 citations Open access
Semantic Scholar
Lazy counterfactual symbolic execution
William T. Hallahan, Anton Xue, M. Bland, Ranjit Jhala +1 more
2019ACM-SIGPLAN Symposium on Programming Language Design and Implementation22 citations Open access
Semantic Scholar
Proving UNSAT in Zero Knowledge
Ning Luo, Timos Antonopoulos, William R. Harris, R. Piskac +2 more
2022IACR Cryptology ePrint Archive21 citations Open access
Semantic Scholar
Learning CI Configuration Correctness for Early Build Feedback
Mark Santolucito, Jia-Lu Zhang, En-Nan Zhai, J. Cito +1 more
2022IEEE International Conference on Software Analysis, Evolution, and Reengineering21 citations
Semantic Scholar
Synthesizing functional reactive programs
B. Finkbeiner, F. Klein, R. Piskac, Mark Santolucito
2019Haskell@ICFP21 citations Open access
Semantic Scholar
Verification, Model Checking, and Abstract Interpretation
C. Enea, R. Piskac, G. Goos, J. Hartmanis +1 more
2019Lecture Notes in Computer Science20 citations
Semantic Scholar
Automated repair by example for firewalls
William T. Hallahan, En-Nan Zhai, R. Piskac
2017Formal methods in system design20 citations
Semantic Scholar
Live Programming By Example
Mark Santolucito, William T. Hallahan, R. Piskac
2019CHI Extended Abstracts19 citations Open access
Semantic Scholar
StriSynth: Synthesis for Live Programming
Sumit Gulwani, M. Mayer, Filip Niksic, R. Piskac
20152015 IEEE/ACM 37th IEEE International Conference on Software Engineering19 citations
Semantic Scholar
Avenir: Managing Data Plane Diversity with Control Plane Synthesis
E. Campbell, William T. Hallahan, P. Srikumar, C. Cascone +6 more
2021Symposium on Networked Systems Design and Implementation17 citations
Semantic Scholar
A Type-Directed Approach to Program Repair
Alex Reinking, R. Piskac
2015International Conference on Computer Aided Verification17 citations Open access
Semantic Scholar
ETAP: Energy-aware Timing Analysis of Intermittent Programs
Ferhat Erata, Eren Yildiz, Arda Goknil, K. S. Yıldırım +3 more
2022ACM Transactions on Embedded Computing Systems16 citations Open access
Semantic Scholar
A Systematic Study of Time Limit Exceeded Errors in Online Programming Assignments
Jia-Lu Zhang, Jia-Liang Gu, Wangmeiyu Zhang, J. Cambronero +4 more
2025arXiv.org14 citations
Semantic Scholar
NeuroStrata: Harnessing Neuro-Symbolic Paradigms for Improved Testability and Verifiability of Autonomous CPS
Xi Zheng, Zi-Yang Li, Ivan Ruchkin, R. Piskac +1 more
2025SIGSOFT FSE Companion13 citations Open access
Semantic Scholar
Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach
Xi Zheng, Aloysius K. Mok, R. Piskac, Yong Jae Lee +4 more
2023SIGSOFT FSE Companion13 citations Open access
Semantic Scholar
Privacy-Preserving Regular Expression Matching using Nondeterministic Finite Automata
Ning Luo, Chenkai Weng, Jaspal Singh, Ge-Fei Tan +2 more
2023IACR Cryptology ePrint Archive12 citations
Semantic Scholar
Grammar Filtering For Syntax-Guided Synthesis
K. Morton, William T. Hallahan, E. Shum, R. Piskac +1 more
2020AAAI Conference on Artificial Intelligence12 citations Open access
Semantic Scholar
Vehicle Platooning Simulations with Functional Reactive Programming
B. Finkbeiner, F. Klein, R. Piskac, Mark Santolucito
2017SCAV@CPSWeek12 citations Open access
Semantic Scholar
Scheherazade: Evaluating Chain-of-Thought Math Reasoning in LLMs with Chain-of-Problems
Stephen Miner, Yoshiki Takashima, Si-Meng Han, Ferhat Erata +3 more
2024arXiv.org11 citations
Semantic Scholar
The FMCAD 2014 graduate student forum
R. Piskac
2014Formal Methods in Computer-Aided Design11 citations
Semantic Scholar
ppSAT: Towards Two-Party Private SAT Solving
Ning Luo, Samuel Judson, Timos Antonopoulos, R. Piskac +1 more
2021IACR Cryptology ePrint Archive10 citations
Semantic Scholar
Statically Verifying Continuous Integration Configurations
Mark Santolucito, Jia-Lu Zhang, En-Nan Zhai, R. Piskac
2018arXiv.org10 citations
Semantic Scholar
Programming by Example: Efficient, but Not "Helpful"
Mark Santolucito, Drew Goldman, Allyson Weseley, R. Piskac
2018PLATEAU@SPLASH10 citations
Semantic Scholar
An auditing language for preventing correlated failures in the cloud
En-Nan Zhai, R. Piskac, Rong-Hui Gu, Xun Lao +1 more
2017Proc. ACM Program. Lang.10 citations Open access
Semantic Scholar
CourtReasoner: Can LLM Agents Reason Like Judges?
S. Han, Yoshiki Takashima, Shannon Zejiang Shen, Chen Liu +6 more
2025Conference on Empirical Methods in Natural Language Processing9 citations Open access
Semantic Scholar
Analyzing Intentional Behavior in Autonomous Agents under Uncertainty
Filip Cano Córdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjørner +4 more
2023International Joint Conference on Artificial Intelligence8 citations Open access
Semantic Scholar
Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code
Ferhat Erata, R. Piskac, Víctor Mateu, Jakub Szefer
2023European Symposium on Security and Privacy8 citations Open access
Semantic Scholar
Privacy-Preserving Regular Expression Matching Using TNFA
Ning Luo, Chenkai Weng, Jaspal Singh, Ge-Fei Tan +2 more
2024European Symposium on Research in Computer Security7 citations
Semantic Scholar
Ou: Automating the Parallelization of Zero-Knowledge Protocols
Yuyang Sang, Ning Luo, Samuel Judson, Ben Chaimberg +4 more
2023IACR Cryptology ePrint Archive6 citations Open access
Semantic Scholar
Formal Methods and Computing Identity-based Mentorship for Early Stage Researchers
Mark Santolucito, R. Piskac
2020Technical Symposium on Computer Science Education6 citations Open access
Semantic Scholar
Programming-by-example for audio: synthesizing digital signal processing programs
Mark Santolucito, Kate Rogers, Aedan Lombardo, R. Piskac
2018FARM@ICFP6 citations
Semantic Scholar
Formal XAI via Syntax-Guided Synthesis
Katrine Bjørner, Samuel Judson, Filip Cano, Drew Goldman +3 more
2023AISoLA5 citations Open access
Semantic Scholar
Looking for the Maximum Independent Set: A New Perspective on the Stable Path Problem
Yichao Cheng, Ning Luo, Jing-Xuan Zhang, Timos Antonopoulos +2 more
2021IEEE Conference on Computer Communications5 citations
Semantic Scholar
Privacy Preserving CTL Model Checking through Oblivious Graph Algorithms
Samuel Judson, Ning Luo, Timos Antonopoulos, R. Piskac
2020WPES@CCS5 citations
Semantic Scholar
G2Q: Haskell constraint solving
William T. Hallahan, Anton Xue, R. Piskac
2019Haskell@ICFP5 citations
Semantic Scholar