Follow
Ruzica Piskac
Ruzica Piskac
Associate 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
1652010
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
1542013
Automating separation logic using SMT
R Piskac, T Wies, D Zufferey
Computer Aided Verification: 25th International Conference, CAV 2013, Saint†…, 2013
1442013
GRASShopper Complete Heap Verification with Mixed Specifications
R Piskac, T Wies, D Zufferey
Tools and Algorithms for the Construction and Analysis of Systems: 20th†…, 2014
902014
Automating separation logic with trees and data
R Piskac, T Wies, D Zufferey
Computer Aided Verification: 26th International Conference, CAV 2014, Held†…, 2014
852014
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
852010
Interactive synthesis of code snippets
T Gvero, V Kuncak, R Piskac
Computer Aided Verification: 23rd International Conference, CAV 2011†…, 2011
652011
Incremental, inductive coverability
J Kloos, R Majumdar, F Niksic, R Piskac
Computer Aided Verification: 25th International Conference, CAV 2013, Saint†…, 2013
512013
Software synthesis procedures
V Kuncak, M Mayer, R Piskac, P Suter
Communications of the ACM 55 (2), 103-111, 2012
462012
Combining theories with shared set operations
T Wies, R Piskac, V Kuncak
Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009†…, 2009
462009
Decision procedures for multisets with cardinality constraints
R Piskac, V Kuncak
Lecture Notes in Computer Science 4905, 218-232, 2008
412008
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
342017
Collections, cardinalities, and relations
K Yessenov, R Piskac, V Kuncak
Verification, Model Checking, and Abstract Interpretation: 11th†…, 2010
342010
Linear arithmetic with stars
R Piskac, V Kuncak
Computer Aided Verification: 20th International Conference, CAV 2008†…, 2008
322008
Functional synthesis for linear arithmetic and sets
V Kuncak, M Mayer, R Piskac, P Suter
International Journal on Software Tools for Technology Transfer 15 (5-6†…, 2013
282013
Probabilistic automated language learning for configuration files
M Santolucito, E Zhai, R Piskac
Computer Aided Verification: 28th International Conference, CAV 2016†…, 2016
272016
StriSynth: synthesis for live programming
S Gulwani, M Mayer, F Niksic, R Piskac
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2†…, 2015
232015
Ordered sets in the calculus of data structures
V Kuncak, R Piskac, P Suter
Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual†…, 2010
212010
Temporal stream logic: Synthesis beyond the bools
B Finkbeiner, F Klein, R Piskac, M Santolucito
Computer Aided Verification: 31st International Conference, CAV 2019, New†…, 2019
202019
Building a calculus of data structures
V Kuncak, R Piskac, P Suter, T Wies
Verification, Model Checking, and Abstract Interpretation: 11th†…, 2010
192010
The system can't perform the operation now. Try again later.
Articles 1–20