Author:
Alvaro Peter,Bailis Peter,Conway Neil,Hellerstein Joseph M.
Funder
Division of Graduate Education
Hortonworks
Samsung
VMware
Cloudera
Google
Nippon Telegraph and Telephone
Amazon
Oracle
Division of Information and Intelligent Systems
Division of Computer and Network Systems
Cisco Systems
Microsoft
Division of Computing and Communication Foundations
SAP America
Air Force Office of Scientific Research
Natural Sciences and Engineering Research Council of Canada
Ericsson
Facebook
Clearstory Data
NetApp
Yahoo!
Defense Advanced Research Projects Agency
EMC
FitWave
General Electric
Intel Corporation
Splunk
Reference60 articles.
1. Garbage collecting the Internet
2. Boom analytics
3. P. Alvaro N. Conway J. M. Hellerstein and D. Maier. Blazes: coordination analysis for distributed programs. http://arxiv.org/abs/1309.3324 2013. In submission. P. Alvaro N. Conway J. M. Hellerstein and D. Maier. Blazes: coordination analysis for distributed programs. http://arxiv.org/abs/1309.3324 2013. In submission.
4. P.
Alvaro W. R.
Marczak N.
Conway J. M.
Hellerstein D.
Maier and
R.
Sears
.
Dedalus: Datalog in time and space. In O. de Moor G. Gottlob T. Furche and A. Sellers editors Datalog Reloaded volume
6702
of
Lecture Notes in Computer Science pages
262
--
281
.
Springer Berlin / Heidelberg 2011
. 10.1007/978-3-642-24206-9_16 P. Alvaro W. R. Marczak N. Conway J. M. Hellerstein D. Maier and R. Sears. Dedalus: Datalog in time and space. In O. de Moor G. Gottlob T. Furche and A. Sellers editors Datalog Reloaded volume 6702 of Lecture Notes in Computer Science pages 262--281. Springer Berlin / Heidelberg 2011. 10.1007/978-3-642-24206-9_16
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Using reactive links to propagate changes across engineering models;Software and Systems Modeling;2024-06-10
2. Efficient linearizability checking for actor‐based systems;Software: Practice and Experience;2023-08-22
3. Reactive links across multi-domain engineering models;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems;2022-10-23
4. Data Storage Management in Cloud Environments;ACM Computing Surveys;2018-11-30
5. Safe replication through bounded concurrency verification;Proceedings of the ACM on Programming Languages;2018-10-24