Ruzica Piskac
Ruzica Piskac
Associate Professor (on term) of Computer Science, Yale University
Bestätigte E-Mail-Adresse bei yale.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Complete functional synthesis
V Kuncak, M Mayer, R Piskac, P Suter
ACM Sigplan Notices 45 (6), 316-329, 2010
1462010
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
1272013
Automating separation logic using SMT
R Piskac, T Wies, D Zufferey
International Conference on Computer Aided Verification, 773-789, 2013
1202013
Deciding effectively propositional logic using DPLL and substitution sets
R Piskac, L de Moura, N Bjørner
Journal of Automated Reasoning 44 (4), 401-424, 2010
752010
Automating separation logic with trees and data
R Piskac, T Wies, D Zufferey
International Conference on Computer Aided Verification, 711-728, 2014
672014
Grasshopper
R Piskac, T Wies, D Zufferey
International Conference on Tools and Algorithms for the Construction and …, 2014
672014
Interactive synthesis of code snippets
T Gvero, V Kuncak, R Piskac
International Conference on Computer Aided Verification, 418-423, 2011
562011
Combining theories with shared set operations
T Wies, R Piskac, V Kuncak
International Symposium on Frontiers of Combining Systems, 366-382, 2009
452009
Decision procedures for multisets with cardinality constraints
R Piskac, V Kuncak
International Workshop on Verification, Model Checking, and Abstract …, 2008
412008
Software synthesis procedures
V Kuncak, M Mayer, R Piskac, P Suter
Communications of the ACM 55 (2), 103-111, 2012
392012
Incremental, inductive coverability
J Kloos, R Majumdar, F Niksic, R Piskac
International Conference on Computer Aided Verification, 158-173, 2013
342013
Collections, cardinalities, and relations
K Yessenov, R Piskac, V Kuncak
International Workshop on Verification, Model Checking, and Abstract …, 2010
312010
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
292013
Linear arithmetic with stars
R Piskac, V Kuncak
International Conference on Computer Aided Verification, 268-280, 2008
292008
Ordered sets in the calculus of data structures
V Kuncak, R Piskac, P Suter
International Workshop on Computer Science Logic, 34-48, 2010
192010
Building a calculus of data structures
V Kuncak, R Piskac, P Suter, T Wies
International Workshop on Verification, Model Checking, and Abstract …, 2010
192010
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
182017
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
172015
Comfusy: A tool for complete functional synthesis
V Kuncak, M Mayer, R Piskac, P Suter
International Conference on Computer Aided Verification, 430-433, 2010
172010
Probabilistic automated language learning for configuration files
M Santolucito, E Zhai, R Piskac
International Conference on Computer Aided Verification, 80-87, 2016
142016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20