{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T23:29:24Z","timestamp":1759879764833,"version":"3.40.3"},"publisher-location":"Cham","reference-count":45,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030884932"},{"type":"electronic","value":"9783030884949"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-88494-9_10","type":"book-chapter","created":{"date-parts":[[2021,10,5]],"date-time":"2021-10-05T17:23:18Z","timestamp":1633454598000},"page":"184-206","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Diamont: Dynamic Monitoring of\u00a0Uncertainty for Distributed Asynchronous Programs"],"prefix":"10.1007","author":[{"given":"Vimuth","family":"Fernando","sequence":"first","affiliation":[]},{"given":"Keyur","family":"Joshi","sequence":"additional","affiliation":[]},{"given":"Jacob","family":"Laurel","sequence":"additional","affiliation":[]},{"given":"Sasa","family":"Misailovic","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,10,6]]},"reference":[{"key":"10_CR1","unstructured":"Achour, S., Rinard, M.: Energy efficient approximate computation with Topaz. In: OOPSLA (2015)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Ahmad, M., Hijaz, F., Shi, Q., Khan, O.: CRONO: a benchmark suite for multithreaded graph algorithms executing on futuristic multicores. In: IISWC (2015)","DOI":"10.1109\/IISWC.2015.11"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Bakst, A., Gleissenthall, K.v., Kici, R.G., Jhala, R.: Verifying distributed programs via canonical sequentialization. In: OOPSLA (2017)","DOI":"10.1145\/3133934"},{"key":"10_CR4","unstructured":"Bornholt, J., Mytkowicz, T., McKinley, K.S.: Uncertain $$<$$T$$>$$: a first-order type for uncertain data. In: ASPLOS (2014)"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Boston, B., Gong, Z., Carbin, M.: Leto: verifying application-specific hardware fault tolerance with programmable execution models. In: OOPSLA (2018)","DOI":"10.1145\/3276533"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Boston, B., Sampson, A., Grossman, D., Ceze, L.: Probability type inference for flexible approximate programming. In: OOPSLA (2015)","DOI":"10.1145\/2814270.2814301"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Boyapati, R., Huang, J., Majumder, P., Yum, K.H., Kim, E.J.: APPROX-NoC: a data approximation framework for network-on-chip architectures. In: ISCA (2017)","DOI":"10.1145\/3079856.3080241"},{"key":"10_CR8","first-page":"169","volume":"47","author":"M Carbin","year":"2012","unstructured":"Carbin, M., Kim, D., Misailovic, S., Rinard, M.: Proving acceptability properties of relaxed nondeterministic approximate programs. PLDI 47, 169\u2013180 (2012)","journal-title":"PLDI"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Carbin, M., Kim, D., Misailovic, S., Rinard, M.: Verified integrity properties for safe approximate program transformations. In: PEPM (2013)","DOI":"10.1145\/2426890.2426901"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Carbin, M., Misailovic, S., Rinard, M.: Verifying quantitative reliability for programs that execute on unreliable hardware. In: OOPSLA (2013)","DOI":"10.1145\/2509136.2509546"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"1434","DOI":"10.1109\/TPDS.2020.2968068","volume":"31","author":"Y Chen","year":"2020","unstructured":"Chen, Y., Louri, A.: An approximate communication framework for network-on-chips. IEEE Trans. Parallel Distrib. Syst. 31, 1434\u20131446 (2020)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Darulova, E., Izycheva, A., Nasir, F., Ritter, F., Becker, H., Bastian, R.: Daisy-framework for analysis and optimization of numerical programs. In: TACAS (2018)","DOI":"10.1007\/978-3-319-89960-2_15"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Darulova, E., Kuncak, V.: Trustworthy numerical computation in Scala. In: OOPSLA (2011)","DOI":"10.1145\/2048066.2048094"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/978-3-642-35632-2_27","volume-title":"Runtime Verification","author":"E Darulova","year":"2013","unstructured":"Darulova, E., Kuncak, V.: Certifying solutions for numerical constraints. In: Qadeer, S., Tasiran, S. (eds.) RV 2012. LNCS, vol. 7687, pp. 277\u2013291. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35632-2_27"},{"key":"10_CR15","first-page":"497","volume":"38","author":"M de Kruijf","year":"2010","unstructured":"de Kruijf, M., Nomura, S., Sankaralingam, K.: Relax: an architectural framework for software recovery of hardware faults. ISCA 38, 497\u2013508 (2010)","journal-title":"ISCA"},{"key":"10_CR16","unstructured":"Dean, J., Ghemawat, S.: MapReduce: simplified data processing on large clusters. OSDI (2004)"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Fernando, V., Franques, A., Abadal, S., Misailovic, S., Torrellas, J.: Replica: a wireless manycore for communication-intensive and approximate data. In: ASPLOS (2019)","DOI":"10.1145\/3297858.3304033"},{"key":"10_CR18","unstructured":"Fernando, V., Joshi, K., Laurel, J., Misailovic, S.: Appendix to Diamont (2021). https:\/\/vimuth.github.io\/diamont\/appendix.pdf"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Fernando, V., Joshi, K., Misailovic, S.: Verifying safety and accuracy of approximate parallel programs via canonical sequentialization. In: OOPSLA (2019)","DOI":"10.1145\/3360545"},{"key":"10_CR20","first-page":"163","volume":"6","author":"N Golubovic","year":"2019","unstructured":"Golubovic, N., Krintz, C., Wolski, R., Sethuramasamyraja, B., Liu, B.: A scalable system for executing and scoring K-means clustering techniques and its impact on applications in agriculture. Int. J. Big Data Intell. 6, 163\u2013175 (2019)","journal-title":"Int. J. Big Data Intell."},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Joshi, K., Fernando, V., Misailovic, S.: Statistical algorithmic profiling for randomized approximate programs. In: ICSE (2019)","DOI":"10.1109\/ICSE.2019.00071"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Joshi, K., Fernando, V., Misailovic, S.: Aloe: verifying reliability of approximate programs in the presence of recovery mechanisms. In: CGO (2020)","DOI":"10.1145\/3368826.3377924"},{"key":"10_CR23","unstructured":"Lahiri, S., Haran, A., He, S., Rakamaric, Z.: Automated differential program verification for approximate computing. Technical report (2015)"},{"key":"10_CR24","unstructured":"Liu, T.: Datasheet for AM2302 Sensor (2020). https:\/\/cdn-shop.adafruit.com\/datasheets\/Digital+humidity+and+temperature+sensor+AM2302.pdf"},{"key":"10_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-030-60508-7_13","volume-title":"Runtime Verification","author":"B Maderbacher","year":"2020","unstructured":"Maderbacher, B., Karl, A.F., Bloem, R.: Placement of runtime checks to counteract fault injections. In: Deshmukh, J., Ni\u010dkovi\u0107, D. (eds.) RV 2020. LNCS, vol. 12399, pp. 241\u2013258. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-60508-7_13"},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"Misailovic, S., Carbin, M., Achour, S., Qi, Z., Rinard, M.: Chisel: reliability- and accuracy-aware optimization of approximate computational kernels. In: OOPSLA (2014)","DOI":"10.1145\/2660193.2660231"},{"key":"10_CR27","unstructured":"Page, L., Brin, S., Motwani, R., Winograd, T.: The PageRank citation ranking: bringing order to the web. Technical report (1999)"},{"key":"10_CR28","doi-asserted-by":"crossref","unstructured":"Panchekha, P., Sanchez-Stern, A., Wilcox, J.R., Tatlock, Z.: Automatically improving accuracy for floating point expressions. In: PLDI (2015)","DOI":"10.1145\/2737924.2737959"},{"key":"10_CR29","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/s10922-007-9062-0","volume":"15","author":"L Paradis","year":"2007","unstructured":"Paradis, L., Han, Q.: A survey of fault management in wireless sensor networks. J. Netw. Syst. Manag. 15, 171\u2013190 (2007). https:\/\/doi.org\/10.1007\/s10922-007-9062-0","journal-title":"J. Netw. Syst. Manag."},{"key":"10_CR30","doi-asserted-by":"crossref","unstructured":"Ranjan, A., Venkataramani, S., Fong, X., Roy, K., Raghunathan, A.: Approximate storage for energy efficient spintronic memories. In: DAC 2015 (2015)","DOI":"10.1145\/2744769.2744799"},{"key":"10_CR31","unstructured":"Recht, B., Re, C., Wright, S., Niu, F.: HOGWILD: a lock-free approach to parallelizing stochastic gradient descent. In: Advances in Neural Information Processing Systems (2011)"},{"key":"10_CR32","doi-asserted-by":"crossref","unstructured":"Ringenburg, M., Sampson, A., Ackerman, I., Ceze, L., Grossman, D.: Monitoring and debugging the quality of results in approximate programs. In: ASPLOS (2015)","DOI":"10.1145\/2694344.2694365"},{"key":"10_CR33","doi-asserted-by":"crossref","unstructured":"Rubio-Gonz\u00e1lez, C., et al.: Precimonious: tuning assistant for floating-point precision. In: SC (2013)","DOI":"10.1145\/2503210.2503296"},{"key":"10_CR34","doi-asserted-by":"crossref","unstructured":"Samadi, M., Jamshidi, D.A., Lee, J., Mahlke, S.: Paraprox: pattern-based approximation for data parallel applications. In: ASPLOS (2014)","DOI":"10.1145\/2541940.2541948"},{"key":"10_CR35","unstructured":"Sampson, A., et al.: Accept: a programmer-guided compiler framework for practical approximate computing. Technical report (2015)"},{"key":"10_CR36","doi-asserted-by":"crossref","unstructured":"Sampson, A., Panchekha, P., Mytkowicz, T., McKinley, K., Grossman, D., Ceze, L.: Expressing and verifying probabilistic assertions. In: PLDI (2014)","DOI":"10.1145\/2594291.2594294"},{"key":"10_CR37","doi-asserted-by":"crossref","unstructured":"Sampson, A., Dietl, W., Fortuna, E., Gnanapragasam, D., Ceze, L., Grossman, D.: EnerJ: approximate data types for safe and general low-power computation. In: PLDI (2011)","DOI":"10.1145\/1993498.1993518"},{"key":"10_CR38","doi-asserted-by":"crossref","unstructured":"Sanchez-Stern, A., Panchekha, P., Lerner, S., Tatlock, Z.: Finding root causes of floating point error. In: PLDI (2018)","DOI":"10.1145\/3192366.3192411"},{"key":"10_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-540-27813-9_16","volume-title":"Computer Aided Verification","author":"K Sen","year":"2004","unstructured":"Sen, K., Viswanathan, M., Agha, G.: Statistical model checking of black-box probabilistic systems. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 202\u2013215. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-27813-9_16"},{"key":"10_CR40","unstructured":"Sidiroglou, S., Misailovic, S., Hoffmann, H., Rinard, M.: Managing performance vs. accuracy trade-offs with loop perforation. In: FSE (2011)"},{"key":"10_CR41","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3394898","volume":"53","author":"P Stanley-Marbell","year":"2020","unstructured":"Stanley-Marbell, P., et al.: Exploiting errors for efficiency: a survey from circuits to applications. ACM Comput. Surv. J. 53, 1\u201339 (2020)","journal-title":"ACM Comput. Surv. J."},{"key":"10_CR42","doi-asserted-by":"crossref","unstructured":"Stevens, J.R., Ranjan, A., Raghunathan, A.: AxBA: an approximate bus architecture framework. In: ICCAD (2018)","DOI":"10.1145\/3240765.3240782"},{"key":"10_CR43","doi-asserted-by":"publisher","unstructured":"TensorFlow Developers: Tensorflow (2021). https:\/\/doi.org\/10.5281\/zenodo.5159865. https:\/\/www.tensorflow.org","DOI":"10.5281\/zenodo.5159865"},{"issue":"2","key":"10_CR44","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1109\/MDAT.2016.2630270","volume":"34","author":"A Yazdanbakhsh","year":"2017","unstructured":"Yazdanbakhsh, A., Mahajan, D., Esmaeilzadeh, H., Lotfi-Kamran, P.: AxBench: a multiplatform benchmark suite for approximate computing. IEEE Design Test 34(2), 60\u201368 (2017)","journal-title":"IEEE Design Test"},{"key":"10_CR45","doi-asserted-by":"crossref","unstructured":"Zhuang, W., Chen, X., Tan, J., Song, A.: An empirical analysis for evaluating the link quality of robotic sensor networks. In: WCSP (2009)","DOI":"10.1109\/WCSP.2009.5371588"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-88494-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,5]],"date-time":"2021-10-05T18:10:25Z","timestamp":1633457425000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-88494-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030884932","9783030884949"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-88494-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"6 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Runtime Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 October 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 October 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rv2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/uva-mcps-lab.github.io\/RV21\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"40","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"11","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"28% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.5","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}