| Complete functional synthesis V Kuncak, M Mayer, R Piskac, P Suter ACM Sigplan Notices 45 (6), 316-329, 2010 | 186 | 2010 |
| 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 | 179 | 2013 |
| Automating separation logic using SMT R Piskac, T Wies, D Zufferey Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 171 | 2013 |
| Grasshopper: complete heap verification with mixed specifications R Piskac, T Wies, D Zufferey International Conference on Tools and Algorithms for the Construction and …, 2014 | 109 | 2014 |
| Automating separation logic with trees and data R Piskac, T Wies, D Zufferey Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 106 | 2014 |
| 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 | 96 | 2010 |
| 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 | 72 | 2022 |
| Interactive synthesis of code snippets T Gvero, V Kuncak, R Piskac International Conference on Computer Aided Verification, 418-423, 2011 | 66 | 2011 |
| 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 | 61 | 2017 |
| Temporal stream logic: Synthesis beyond the bools B Finkbeiner, F Klein, R Piskac, M Santolucito International Conference on Computer Aided Verification, 609-629, 2019 | 59 | 2019 |
| Combining theories with shared set operations T Wies, R Piskac, V Kuncak International Symposium on Frontiers of Combining Systems, 366-382, 2009 | 57 | 2009 |
| Software synthesis procedures V Kuncak, M Mayer, R Piskac, P Suter Communications of the ACM 55 (2), 103-111, 2012 | 55 | 2012 |
| Incremental, inductive coverability J Kloos, R Majumdar, F Niksic, R Piskac Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 52 | 2013 |
| Decision procedures for multisets with cardinality constraints R Piskac, V Kuncak International Workshop on Verification, Model Checking, and Abstract …, 2008 | 51 | 2008 |
| Linear arithmetic with stars R Piskac, V Kuncak International Conference on Computer Aided Verification, 268-280, 2008 | 44 | 2008 |
| Probabilistic automated language learning for configuration files M Santolucito, E Zhai, R Piskac Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 42 | 2016 |
| 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 | 38 | 2022 |
| Collections, cardinalities, and relations K Yessenov, R Piskac, V Kuncak International Workshop on Verification, Model Checking, and Abstract …, 2010 | 38 | 2010 |
| 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 | 34 | 2020 |
| Can reactive synthesis and syntax-guided synthesis be friends? W Choi, B Finkbeiner, R Piskac, M Santolucito Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 32 | 2022 |
Viktor KunčakEPFLOverená e-mailová adresa na: epfl.ch