| 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 | 946 | 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 | 205 | 2016 |
| Complete functional synthesis V Kuncak, M Mayer, R Piskac, P Suter ACM Sigplan Notices 45 (6), 316-329, 2010 | 182 | 2010 |
| 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 | 166 | 2017 |
| Satisfiability modulo recursive programs P Suter, AS Köksal, V Kuncak International Static Analysis Symposium, 298-315, 2011 | 145 | 2011 |
| Synthesis modulo recursive functions E Kneuss, I Kuraj, V Kuncak, P Suter Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013 | 136 | 2013 |
| Decision procedures for algebraic data types with abstractions P Suter, M Dotta, V Kuncak Acm Sigplan Notices 45 (1), 199-210, 2010 | 130 | 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 | 103 | 2013 |
| Stream-enabled spreadsheet as a circuit MJ Hirzel, R Rabbah, P Suter, OLJ Tardieu, M Vaziri US Patent 9,569,418, 2017 | 93 | 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 | 91 | 2016 |
| Constraints as control AS Köksal, V Kuncak, P Suter ACM SIGPLAN Notices 47 (1), 151-164, 2012 | 82 | 2012 |
| Software synthesis procedures V Kuncak, M Mayer, R Piskac, P Suter Communications of the ACM 55 (2), 103-111, 2012 | 52 | 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 | 51 | 2011 |
| Stream processing with a spreadsheet M Vaziri, O Tardieu, R Rabbah, P Suter, M Hirzel ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014 | 47 | 2014 |
| Sets with cardinality constraints in satisfiability modulo theories P Suter, R Steiger, V Kuncak International Workshop on Verification, Model Checking, and Abstract …, 2011 | 39 | 2011 |
| Phantm: PHP analyzer for type mismatch E Kneuss, P Suter, V Kuncak Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 31 | 2010 |
| 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 | 28 | 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 | 28 | 2013 |
| Inferring web API descriptions from usage data P Suter, E Wittern 2015 Third IEEE Workshop on Hot Topics in Web Systems and Technologies …, 2015 | 24 | 2015 |
| Comfusy: A Tool for Complete Functional Synthesis: (Tool Presentation) V Kuncak, M Mayer, R Piskac, P Suter Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010 | 23 | 2010 |
Viktor KunčakEPFLVerified email at epfl.ch
