| Complete functional synthesis V Kuncak, M Mayer, R Piskac, P Suter ACM Sigplan Notices 45 (6), 316-329, 2010 | 161 | 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 | 146 | 2013 |
| Automating separation logic using SMT R Piskac, T Wies, D Zufferey International Conference on Computer Aided Verification, 773-789, 2013 | 133 | 2013 |
| 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 | 84 | 2010 |
| Automating separation logic with trees and data R Piskac, T Wies, D Zufferey International Conference on Computer Aided Verification, 711-728, 2014 | 79 | 2014 |
| GRASShopper R Piskac, T Wies, D Zufferey International Conference on Tools and Algorithms for the Construction and …, 2014 | 76 | 2014 |
| Interactive synthesis of code snippets T Gvero, V Kuncak, R Piskac International Conference on Computer Aided Verification, 418-423, 2011 | 60 | 2011 |
| Incremental, inductive coverability J Kloos, R Majumdar, F Niksic, R Piskac International Conference on Computer Aided Verification, 158-173, 2013 | 48 | 2013 |
| Software synthesis procedures V Kuncak, M Mayer, R Piskac, P Suter Communications of the ACM 55 (2), 103-111, 2012 | 46 | 2012 |
| Combining theories with shared set operations T Wies, R Piskac, V Kuncak International Symposium on Frontiers of Combining Systems, 366-382, 2009 | 46 | 2009 |
| Decision procedures for multisets with cardinality constraints R Piskac, V Kuncak International Workshop on Verification, Model Checking, and Abstract …, 2008 | 43 | 2008 |
| Collections, cardinalities, and relations K Yessenov, R Piskac, V Kuncak International Workshop on Verification, Model Checking, and Abstract …, 2010 | 33 | 2010 |
| Linear arithmetic with stars R Piskac, V Kuncak International Conference on Computer Aided Verification, 268-280, 2008 | 31 | 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 | 29 | 2017 |
| 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 | 29 | 2013 |
| Probabilistic automated language learning for configuration files M Santolucito, E Zhai, R Piskac International Conference on Computer Aided Verification, 80-87, 2016 | 26 | 2016 |
| 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 | 22 | 2015 |
| Ordered sets in the calculus of data structures V Kuncak, R Piskac, P Suter International Workshop on Computer Science Logic, 34-48, 2010 | 21 | 2010 |
| Building a calculus of data structures V Kuncak, R Piskac, P Suter, T Wies International Workshop on Verification, Model Checking, and Abstract …, 2010 | 19 | 2010 |
| Comfusy: A tool for complete functional synthesis V Kuncak, M Mayer, R Piskac, P Suter International Conference on Computer Aided Verification, 430-433, 2010 | 18 | 2010 |
Viktor KunčakEPFLVerified email at epfl.ch
