| Complete functional synthesis V Kuncak, M Mayer, R Piskac, P Suter ACM Sigplan Notices 45 (6), 316-329, 2010 | 170 | 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 | 160 | 2013 |
| Automating separation logic using SMT R Piskac, T Wies, D Zufferey Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 146 | 2013 |
| 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 | 95 | 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 | 89 | 2010 |
| Automating separation logic with trees and data R Piskac, T Wies, D Zufferey Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 87 | 2014 |
| Interactive synthesis of code snippets T Gvero, V Kuncak, R Piskac Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 65 | 2011 |
| Incremental, inductive coverability J Kloos, R Majumdar, F Niksic, R Piskac Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 52 | 2013 |
| Combining theories with shared set operations T Wies, R Piskac, V Kuncak Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009 …, 2009 | 47 | 2009 |
| Software synthesis procedures V Kuncak, M Mayer, R Piskac, P Suter Communications of the ACM 55 (2), 103-111, 2012 | 46 | 2012 |
| Decision procedures for multisets with cardinality constraints R Piskac, V Kuncak Lecture Notes in Computer Science 4905, 218-232, 2008 | 42 | 2008 |
| 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 | 40 | 2017 |
| Collections, cardinalities, and relations K Yessenov, R Piskac, V Kuncak Verification, Model Checking, and Abstract Interpretation: 11th …, 2010 | 34 | 2010 |
| Linear arithmetic with stars R Piskac, V Kuncak Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008 | 32 | 2008 |
| Probabilistic automated language learning for configuration files M Santolucito, E Zhai, R Piskac Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 30 | 2016 |
| 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 | 28 | 2013 |
| 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 | 23 | 2019 |
| 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 | 23 | 2015 |
| 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 | 21 | 2010 |
| Deciding effectively propositional logic with equality R Piskac, L de Moura, N Bjørner Technical Report MSR-TR-2008-181, Microsoft Research, 2008 | 20 | 2008 |
Viktor KunčakEPFLVerified email at epfl.ch
