64 citations · 73 across the 3 of their papers we have counts for
3 papers
cs.DC2017★ 64 cited
Serverless Computing: Current Trends and Open Problems
Ioana Baldini, Paul Castro, Kerry Chang +8
Serverless computing has emerged as a new compelling paradigm for the deployment of applications and services. It represents an evolution of cloud programming models, abstractions,…
cs.SE2015★ 3 cited
Spreadsheets for Stream Partitions and Windows
Martin Hirzel, Rodric Rabbah, Philippe Suter +2
We discuss the suitability of spreadsheet processors as tools for programming streaming systems. We argue that, while spreadsheets can function as powerful models for stream operat…
cs.PL2013★ 6 cited
On Integrating Deductive Synthesis and Verification Systems
Etienne Kneuss, Viktor Kuncak, Ivan Kuraj +1
We describe techniques for synthesis and verification of recursive functional programs over unbounded domains. Our techniques build on top of an algorithm for satisfiability modulo…