Follow
Ruzica Piskac
Ruzica Piskac
Professor
Verified email at yale.edu - Homepage
Title
Cited by
Cited by
Year
Complete functional synthesis
V Kuncak, M Mayer, R Piskac, P Suter
ACM Sigplan Notices 45 (6), 316-329, 2010
1832010
Complete completion using types and weights
T Gvero, V Kuncak, I Kuraj, R Piskac
Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013
1782013
Automating separation logic using SMT
R Piskac, T Wies, D Zufferey
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
1682013
Grasshopper: complete heap verification with mixed specifications
R Piskac, T Wies, D Zufferey
International Conference on Tools and Algorithms for the Construction and …, 2014
1032014
Automating separation logic with trees and data
R Piskac, T Wies, D Zufferey
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
1012014
Deciding effectively propositional logic using DPLL and substitution sets
R Piskac, L de Moura, N Bjørner
Journal of Automated Reasoning 44, 401-424, 2010
952010
Repairing bugs in python assignments using large language models
J Zhang, J Cambronero, S Gulwani, V Le, R Piskac, G Soares, ...
arXiv preprint arXiv:2209.14876, 2022
672022
Interactive synthesis of code snippets
T Gvero, V Kuncak, R Piskac
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
662011
Synthesizing configuration file specifications with association rule learning
M Santolucito, E Zhai, R Dhodapkar, A Shim, R Piskac
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-20, 2017
602017
Temporal stream logic: Synthesis beyond the bools
B Finkbeiner, F Klein, R Piskac, M Santolucito
International Conference on Computer Aided Verification, 609-629, 2019
572019
Incremental, inductive coverability
J Kloos, R Majumdar, F Niksic, R Piskac
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
562013
Combining theories with shared set operations
T Wies, R Piskac, V Kuncak
International Symposium on Frontiers of Combining Systems, 366-382, 2009
562009
Decision procedures for multisets with cardinality constraints
R Piskac, V Kuncak
International Workshop on Verification, Model Checking, and Abstract …, 2008
522008
Software synthesis procedures
V Kuncak, M Mayer, R Piskac, P Suter
Communications of the ACM 55 (2), 103-111, 2012
512012
Probabilistic automated language learning for configuration files
M Santolucito, E Zhai, R Piskac
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
412016
Linear arithmetic with stars
R Piskac, V Kuncak
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
412008
Collections, cardinalities, and relations
K Yessenov, R Piskac, V Kuncak
International Workshop on Verification, Model Checking, and Abstract …, 2010
382010
Check before you change: Preventing correlated failures in service updates
E Zhai, A Chen, R Piskac, M Balakrishnan, B Tian, B Song, H Zhang
17th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2020
352020
Static detection of silent misconfigurations with deep interaction analysis
J Zhang, R Piskac, E Zhai, T Xu
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-30, 2021
312021
Using pre-trained language models to resolve textual and semantic merge conflicts (experience paper)
J Zhang, T Mytkowicz, M Kaufman, R Piskac, SK Lahiri
Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022
302022
The system can't perform the operation now. Try again later.
Articles 1–20