supplementary materials (source code and raw experimental results) for the paper Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Programs

This is the supplementary materials (source code and raw experimental results) for the paper Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems. Please contact Duong Nguyen ([e-mail]) for any questions. Content: <pre><code>TPDS-Precision-Recall-Upload | +- program: source code | +- aws-experiment: source code for running programs and monitors on Amazon Web Service (AWS) | +- interval-based | +- lib: relevant libraries for compiling code | +- wcp-process: source code of programs | +- wcp_process_compile_and_export_jar.sh: script for compiling program | +- simulations: source code for simulations | +- data: experiment and simulation results</code></pre>