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 | 479 | 2017 |

Complete functional synthesis V Kuncak, M Mayer, R Piskac, P Suter ACM Sigplan Notices 45 (6), 316-329, 2010 | 159 | 2010 |

Decision procedures for algebraic data types with abstractions P Suter, M Dotta, V Kuncak Acm Sigplan Notices 45 (1), 199-210, 2010 | 117 | 2010 |

Satisfiability modulo recursive programs P Suter, AS Köksal, V Kuncak International Static Analysis Symposium, 298-315, 2011 | 116 | 2011 |

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 | 113 | 2016 |

Synthesis modulo recursive functions E Kneuss, I Kuraj, V Kuncak, P Suter Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013 | 106 | 2013 |

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 | 77 | 2013 |

Constraints as control AS Köksal, V Kuncak, P Suter ACM SIGPLAN Notices 47 (1), 151-164, 2012 | 74 | 2012 |

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 | 72 | 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 | 58 | 2016 |

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 | 46 | 2011 |

Software synthesis procedures V Kuncak, M Mayer, R Piskac, P Suter Communications of the ACM 55 (2), 103-111, 2012 | 43 | 2012 |

Stream processing with a spreadsheet M Vaziri, O Tardieu, R Rabbah, P Suter, M Hirzel European Conference on Object-Oriented Programming, 360-384, 2014 | 40 | 2014 |

Sets with cardinality constraints in satisfiability modulo theories P Suter, R Steiger, V Kuncak International Workshop on Verification, Model Checking, and Abstract …, 2011 | 35 | 2011 |

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 |

Phantm: PHP analyzer for type mismatch E Kneuss, P Suter, V Kuncak Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 28 | 2010 |

Stream-enabled spreadsheet as a circuit MJ Hirzel, R Rabbah, P Suter, OLJ Tardieu, M Vaziri US Patent 9,569,418, 2017 | 21 | 2017 |

Ordered sets in the calculus of data structures V Kuncak, R Piskac, P Suter International Workshop on Computer Science Logic, 34-48, 2010 | 20 | 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 | 19 | 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 |