| Serverless computing: Current trends and open problems I Baldini, P Castro, K Chang, P Cheng, S Fink, V Ishakian, N Mitchell, ... Research advances in cloud computing, 1-20, 2017 | 1169 | 2017 |
| A look at the dynamics of the JavaScript package ecosystem E Wittern, P Suter, S Rajagopalan Proceedings of the 13th international conference on mining software …, 2016 | 242 | 2016 |
| The serverless trilemma: Function composition for serverless computing I Baldini, P Cheng, SJ Fink, N Mitchell, V Muthusamy, R Rabbah, P Suter, ... Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas …, 2017 | 207 | 2017 |
| Complete functional synthesis V Kuncak, M Mayer, R Piskac, P Suter ACM Sigplan Notices 45 (6), 316-329, 2010 | 195 | 2010 |
| Satisfiability modulo recursive programs P Suter, AS Köksal, V Kuncak International Static Analysis Symposium, 298-315, 2011 | 153 | 2011 |
| Synthesis modulo recursive functions E Kneuss, I Kuraj, V Kuncak, P Suter Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013 | 148 | 2013 |
| Decision procedures for algebraic data types with abstractions P Suter, M Dotta, V Kuncak Acm Sigplan Notices 45 (1), 199-210, 2010 | 134 | 2010 |
| An overview of the Leon verification system: Verification by translation to recursive functions R Blanc, V Kuncak, E Kneuss, P Suter Proceedings of the 4th Workshop on Scala, 1-10, 2013 | 108 | 2013 |
| Stream-enabled spreadsheet as a circuit MJ Hirzel, R Rabbah, P Suter, OLJ Tardieu, M Vaziri US Patent 9,569,418, 2017 | 106 | 2017 |
| Cloud-native, event-based programming for mobile applications I Baldini, P Castro, P Cheng, S Fink, V Ishakian, N Mitchell, V Muthusamy, ... Proceedings of the International Conference on Mobile Software Engineering …, 2016 | 93 | 2016 |
| Constraints as control AS Köksal, V Kuncak, P Suter ACM SIGPLAN Notices 47 (1), 151-164, 2012 | 83 | 2012 |
| Software synthesis procedures V Kuncak, M Mayer, R Piskac, P Suter Communications of the ACM 55 (2), 103-111, 2012 | 58 | 2012 |
| Scala to the Power of Z3: Integrating SMT and Programming AS Köksal, V Kuncak, P Suter International Conference on Automated Deduction, 400-406, 2011 | 52 | 2011 |
| Stream processing with a spreadsheet M Vaziri, O Tardieu, R Rabbah, P Suter, M Hirzel European Conference on Object-Oriented Programming, 360-384, 2014 | 48 | 2014 |
| Sets with cardinality constraints in satisfiability modulo theories P Suter, R Steiger, V Kuncak International Workshop on Verification, Model Checking, and Abstract …, 2011 | 41 | 2011 |
| Phantm: PHP analyzer for type mismatch E Kneuss, P Suter, V Kuncak Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 30 | 2010 |
| 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 |
| Who you gonna call? analyzing web requests in android applications M Rapoport, P Suter, E Wittern, O Lhótak, J Dolby 2017 IEEE/ACM 14th International Conference on Mining Software Repositories …, 2017 | 27 | 2017 |
| Ordered sets in the calculus of data structures V Kuncak, R Piskac, P Suter International Workshop on Computer Science Logic, 34-48, 2010 | 25 | 2010 |
| Comfusy: A Tool for Complete Functional Synthesis: (Tool Presentation) V Kuncak, M Mayer, R Piskac, P Suter International Conference on Computer Aided Verification, 430-433, 2010 | 25 | 2010 |
Viktor KunčakEPFLVerified email at epfl.ch
