Affiliation:
1. University of Pennsylvania, USA
Funder
National Science Foundation
Publisher
Association for Computing Machinery (ACM)
Subject
Safety, Risk, Reliability and Quality,Software
Reference64 articles.
1. Parosh Abdulla Stavros Aronis Bengt Jonsson and Konstantinos Sagonas. 2014. Optimal dynamic partial order reduction. ACM SIGPLAN Notices 49 1 ( 2014 ) 373-384. Parosh Abdulla Stavros Aronis Bengt Jonsson and Konstantinos Sagonas. 2014. Optimal dynamic partial order reduction. ACM SIGPLAN Notices 49 1 ( 2014 ) 373-384.
2. Line-up
3. Replicated data types
4. Paris Carbone Asterios Katsifodimos Stephan Ewen Volker Markl Seif Haridi and Kostas Tzoumas. 2015. Apache flink: Stream and batch processing in a single engine. Bulletin of the IEEE Computer Society Technical Committee on Data Engineering 36 4 ( 2015 ). Paris Carbone Asterios Katsifodimos Stephan Ewen Volker Markl Seif Haridi and Kostas Tzoumas. 2015. Apache flink: Stream and batch processing in a single engine. Bulletin of the IEEE Computer Society Technical Committee on Data Engineering 36 4 ( 2015 ).
5. Formal Verification of Multi-Paxos for Distributed Consensus
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Stream Types;Proceedings of the ACM on Programming Languages;2024-06-20
2. Perfce: Performance Debugging on Databases with Chaos Engineering-Enhanced Causality Analysis;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
3. A Grey Literature Review on Data Stream Processing applications testing;Journal of Systems and Software;2023-09
4. Testing Graph Database Engines via Query Partitioning;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
5. Fast Prototyping of Distributed Stream Processing Applications with stream2gym;2023 IEEE 43rd International Conference on Distributed Computing Systems (ICDCS);2023-07