Missier P and Cala J.
(2019). Efficient Re-Computation of Big Data Analytics Processes in the Presence of Changes: Computational Framework, Reference Architecture, and Applications 2019 IEEE International Congress on Big Data (BigData Congress). 10.1109/BigDataCongress.2019.00017. 978-1-7281-2772-9. (24-34).
Cała J and Missier P.
(2018). Selective and Recurring Re-computation of Big Data Analytics Tasks: Insights from a Genomics Case Study. Big Data Research. 10.1016/j.bdr.2018.06.001. 13. (76-94). Online publication date: 1-Sep-2018.
Thalheim J, Bhatotia P and Fetzer C.
(2016). INSPECTOR: Data Provenance Using Intel Processor Trace (PT) 2016 IEEE 36th International Conference on Distributed Computing Systems (ICDCS). 10.1109/ICDCS.2016.86. 978-1-5090-1483-5. (25-34).
Wang Z, Pailoor S, Prakash A, Wang Y and Dillig I.
(2024). From Batch to Stream: Automatic Generation of Online Algorithms. Proceedings of the ACM on Programming Languages. 8:PLDI. (1014-1039). Online publication date: 20-Jun-2024.
Anderson D, Blelloch G, Baweja A and Acar U. Efficient Parallel Self-Adjusting Computation. Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures. (59-70).
Ahmad A, Lee S, Fonseca P and Lee B. Kard: lightweight data race detection with per-thread memory protection. Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. (647-660).
Bhatotia P, Acar U, Junqueira F and Rodrigues R.
(2019). Incremental Sliding Window Analytics. Encyclopedia of Big Data Technologies. 10.1007/978-3-319-77525-8_156. (1007-1015).
Quoc D, Chen R, Bhatotia P, Fetzer C, Hilt V and Strufe T.
(2019). Approximate Computing for Stream Analytics. Encyclopedia of Big Data Technologies. 10.1007/978-3-319-77525-8_153. (90-97).
Quoc D, Beck M, Bhatotia P, Chen R, Fetzer C and Strufe T.
(2019). Privacy-Preserving Data Analytics. Encyclopedia of Big Data Technologies. 10.1007/978-3-319-77525-8_152. (1292-1300).
Quoc D, Krishnan D, Bhatotia P, Fetzer C and Rodrigues R.
(2019). Incremental Approximate Computing. Encyclopedia of Big Data Technologies. 10.1007/978-3-319-77525-8_151. (1000-1007).
Liu B and Huang J.
(2018). D4: fast concurrency debugging with parallel differential analysis. ACM SIGPLAN Notices. 53:4. (359-373). Online publication date: 2-Dec-2018.
Axenie C, Tudoran R, Bortoli S, Al Hajj Hassan M, Foroni D and Brasche G.
(2018). STARLORD: Sliding Window Temporal Accumulate-Retract Learning for Online Reasoning on Datastreams 2018 17th IEEE International Conference on Machine Learning and Applications (ICMLA). 10.1109/ICMLA.2018.00181. 978-1-5386-6805-4. (1115-1122).
Drechsler J, Mogk R, Salvaneschi G and Mezini M.
(2018). Thread-safe reactive programming. Proceedings of the ACM on Programming Languages. 2:OOPSLA. (1-30). Online publication date: 24-Oct-2018.
Wen Z, Quoc D, Bhatotia P, Chen R and Lee M.
(2018). ApproxIoT: Approximate Analytics for Edge Computing 2018 IEEE 38th International Conference on Distributed Computing Systems (ICDCS). 10.1109/ICDCS.2018.00048. 978-1-5386-6871-9. (411-421).
Liu B and Huang J. D4: fast concurrency debugging with parallel differential analysis. Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation. (359-373).
Bhatotia P, Acar U, Junqueira F and Rodrigues R.
(2018). Incremental Sliding Window Analytics. Encyclopedia of Big Data Technologies. 10.1007/978-3-319-63962-8_156-1. (1-8).
Le Quoc D, Chen R, Bhatotia P, Fetzer C, Hilt V and Strufe T.
(2018). Approximate Computing for Stream Analytics. Encyclopedia of Big Data Technologies. 10.1007/978-3-319-63962-8_153-1. (1-8).
Quoc D, Beck M, Bhatotia P, Chen R, Fetzer C and Strufe T.
(2018). Privacy-Preserving Data Analytics. Encyclopedia of Big Data Technologies. 10.1007/978-3-319-63962-8_152-1. (1-8).
Tan C, Yu L, Leners J and Walfish M. The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web. Proceedings of the 26th Symposium on Operating Systems Principles. (546-564).
Hammer M, Chang B and Van Horn D.
(2016). A vision for online verification-validation. ACM SIGPLAN Notices. 52:3. (190-201). Online publication date: 12-May-2017.
Hammer M, Chang B and Van Horn D. A vision for online verification-validation. Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. (190-201).
Hammer M, Dunfield J, Headley K, Labich N, Foster J, Hicks M and Van Horn D. Incremental computation with names. Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. (748-766).