[4] Almeida, P.S., Baquero, C., & Fonte, V. (2008). Interval tree clocks. In Proceedings of the International Conference on Principles of Distributed Systems (OPODIS).

[5] Barham, P., Donnelly, A., Isaacs, R., & Mortier, R. (2004). Using Magpie for request extraction and workload modelling. In Proceedings of the Symposium on Operating Systems Design & Implementation (OSDI).

[6] Becker, D., Rabenseifner, R., Wolf, F., & Linford, J.C. (2011). Scalable timestamp synchronization for event traces of message-passing applications. Parallel Computing, 37(11), 753-767.

[7] Benomar, O., Sahraoui, H., & Poulin, P. (2010). Visualizing software dynamicities with heat maps. In Proceedings of the IEEE Working Conference on Software Visualization (VISSOFT).

[8] Bernstein, P.A., Hadzilacos, V., & Goodman, N. (1987). Concurrency Control and Recovery in Database Systems.

[9] Beschastnikh, I., Brun, Y., Abrahamson, J., Ernst, M.D., & Krishnamurthy, A. (2011). Using declarative specification to improve the understanding, extensibility and comparison of model-inference algorithms. IEEE Transactions on Software Engineering.

[10] Beschastnikh, I., Brun, Y., Ernst, M.D., & Krishnamurthy A. (2014). Inferring models of concurrent systems from logs of their behavior with CSight. In Proceedings of the International Conference on Software Engineering (ICSE).

[11] Beschastnikh, I., Brun, Y., Ernst, M.D., Krishnamurthy, A., & Anderson, T.E. (2015). Mining temporal invariants from partially ordered logs. SIGOPS Operating Systems Review, 49(1), 53-66.

[12] Beschastnikh, I., Brun, Y., Schneider, S., Sloan, M., & Ernst, M.D. (2016). Leveraging existing instrumentation to automatically infer invariant-constrained models. In Proceedings of the ACM SIGSOFT Conference on the Foundations of Software Engineering (FSE).

[13] Beschastnikh, I., Liu, P., Xing, A., Wang, P., Brun, Y., & Ernst, M.D. Shviz evaluation details. Retrieved from http://bestchai.bitbucket.io/shiviz-evaluation/.

[14] Beschastnikh, I., Wang, P., Brun, Y., & Ernst, M.D. (2014). Debugging distributed systems. Communications of the ACMPractices in Java-based open source software projects: A replication study in Apache Software Foundation. Empirical Software Engineering, (Feb.), DOI: https://doi.org/10.1007/s10664-018-9653-7 [1]

Mariano C. Consens, Masum Z. Hasan, and Alberto O. Mendelzon. Debugging distributed programs by visualizing and querying event traces. In Proceedings of the Conference on Applications of Databases, Vol. [2]

Jonathan E. Cook and Alexander L. Wolf. Discovering models of software processes from event-based data. ACM Transactions on Software Engineering Methodology, (Oct.), DOI: https://doi.org/10.1145/3304221 [3]

Charlie Curtsinger and Emery D. Berger. Coz: Finding code that counts with causal profiling. In Proceedings of the Symposium on Operating Systems Principles (SOSP), DOI: https://doi.org/10.1145/2815400.2815409 [4]

Wim De Pauw and Henrique Andrade. Visualizing large-scale streaming applications. Information Visualization, (Apr.), DOI: https://doi.org/10.1057/ivs.2008.29 [5]

Wim De Pauw, Henrique Andrade, and Lisa Amini. Streaight: A visualization tool for large-scale streaming applications. In Proceedings of the International Symposium on Software Visualization (SoftVis), DOI: https://doi.org/10.1145/1599476.1599493 [6]

Wim De Pauw and Steve Heisig. Visual and algorithmic tooling for system trace analysis: A case study. Operating Systems Review, (Oct.), DOI: https://doi.org/10.1145/1073970.1073973 [7]

Wim De Pauw and Steve Heisig. Zinsight: A visual and analytic environment for exploring large event traces. In Proceedings of the International Symposium on Software Visualization (SoftVis), DOI: https://doi.org/10.1145/1599476.1599498 [8]

Wim De Pauw, Sophia Krasikov, and John F. Morar. Execution patterns for visualizing web services. In Proceedings of the International Symposium on Software Visualization (SoftVis), DOI: https://doi.org/10.1145/1599476.1599496 [9]

Wim De Pauw, Mihai Letia, Bugra Gedik, Henrique Andrade, Andy Frenkiel, Michael Pfeifer, and Daby M. Sow. Visual debugging for stream processing applications. In Proceedings of the International Conference on Runtime Verification (RV), DOI: https://doi.org/10.1007/978-3-540-87406-3_20 [10]

Wim De Pauw and John M. Vlissides. Visualizing object-oriented programs with Jinsight. In Proceedings of the Workshop Ion on Object-Oriented Technology. [11]

Wim De Pauw, Joel L. Wolf, and Andrey Balmin. Visualizing jobs with shared resources in distributed environments. In Proceedings of the IEEE Working Conference on Software Visualization (VISSOFT), DOI: https://doi.org/10.1109/VISSOFT.2008.4655319 [12]

Travis Desell, Harihar Narasimha Iyer, Carlos Varela, and Abe Stephens. Overview: A framework for generic online visualization of distributed systems. Electronic Notes Theoretical Computer Science (Eclipse Technol. Exch.: X Eclipse Phenom.), DOI: https://doi.org/10.1016/j.entcs.2014.07.014 [13]

Charlie Curtsinger and Emery D. Berger. Coz: Finding code that counts with causal profiling. In Proceedings of the Symposium on Operating Systems Principles (SOSP), DOI: https://doi.org/10.1145/2815400.2815409 [14]

Wim De Pauw and Henrique Andrade. Visualizing large-scale streaming applications. Information Visualization, (Apr.), DOI: https://doi.org/10.1057/ivs.2008.29 [15]