| Complete functional synthesis V Kuncak, M Mayer, R Piskac, P Suter ACM Sigplan Notices 45 (6), 316-329, 2010 | 182 | 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 | 175 | 2013 |
| Automating separation logic using SMT R Piskac, T Wies, D Zufferey Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 167 | 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 | 103 | 2014 |
| Automating separation logic with trees and data R Piskac, T Wies, D Zufferey Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 101 | 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 | 94 | 2010 |
| Interactive synthesis of code snippets T Gvero, V Kuncak, R Piskac Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 66 | 2011 |
| 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 | 62 | 2022 |
| 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 | 56 | 2017 |
| Incremental, inductive coverability J Kloos, R Majumdar, F Niksic, R Piskac Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 56 | 2013 |
| Combining theories with shared set operations T Wies, R Piskac, V Kuncak International Symposium on Frontiers of Combining Systems, 366-382, 2009 | 56 | 2009 |
| Temporal stream logic: Synthesis beyond the bools B Finkbeiner, F Klein, R Piskac, M Santolucito International Conference on Computer Aided Verification, 609-629, 2019 | 53 | 2019 |
| Decision procedures for multisets with cardinality constraints R Piskac, V Kuncak International Workshop on Verification, Model Checking, and Abstract …, 2008 | 52 | 2008 |
| Software synthesis procedures V Kuncak, M Mayer, R Piskac, P Suter Communications of the ACM 55 (2), 103-111, 2012 | 50 | 2012 |
| Linear arithmetic with stars R Piskac, V Kuncak Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008 | 41 | 2008 |
| Collections, cardinalities, and relations K Yessenov, R Piskac, V Kuncak International Workshop on Verification, Model Checking, and Abstract …, 2010 | 38 | 2010 |
| Probabilistic automated language learning for configuration files M Santolucito, E Zhai, R Piskac Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 37 | 2016 |
| 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 |
| 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 | 29 | 2021 |
| 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), 455-474, 2013 | 28 | 2013 |
Viktor KunčakEPFLVerified email at epfl.ch
