{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,25]],"date-time":"2025-12-25T07:21:05Z","timestamp":1766647265046},"reference-count":60,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2023,8]]},"DOI":"10.1007\/s10009-023-00717-y","type":"journal-article","created":{"date-parts":[[2023,11,2]],"date-time":"2023-11-02T13:02:13Z","timestamp":1698930133000},"page":"521-539","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs"],"prefix":"10.1007","volume":"25","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":[[2023,11,2]]},"reference":[{"key":"717_CR1","volume-title":"OOPSLA","author":"S. Achour","year":"2015","unstructured":"Achour, S., Rinard, M.: Energy efficient approximate computation with topaz. In: OOPSLA (2015)"},{"key":"717_CR2","volume-title":"IISWC","author":"M. Ahmad","year":"2015","unstructured":"Ahmad, M., Hijaz, F., Shi, Q., et al.: CRONO: a benchmark suite for multithreaded graph algorithms executing on futuristic multicores. In: IISWC (2015)"},{"key":"717_CR3","volume-title":"Proceedings of the Conference on Fairness, Accountability, and Transparency, FAT* \u201919","author":"A. Albarghouthi","year":"2019","unstructured":"Albarghouthi, A., Vinitsky, S.: Fairness-aware programming. In: Proceedings of the Conference on Fairness, Accountability, and Transparency, FAT* \u201919 (2019)"},{"key":"717_CR4","volume-title":"OOPSLA","author":"A. Bakst","year":"2017","unstructured":"Bakst, A., Kv, G., Kici, R.G., et al.: Verifying distributed programs via canonical sequentialization. In: OOPSLA (2017)"},{"key":"717_CR5","volume-title":"OOPSLA","author":"O. Bastani","year":"2019","unstructured":"Bastani, O., Zhang, X., Solar-Lezama, A.: Probabilistic verification of fairness properties via concentration. In: OOPSLA (2019)"},{"key":"717_CR6","volume-title":"ASPLOS","author":"J. Bornholt","year":"2014","unstructured":"Bornholt, J., Mytkowicz, T., McKinley, K.S.: Uncertain<T>: a first-order type for uncertain data. In: ASPLOS (2014)"},{"key":"717_CR7","volume-title":"OOPSLA","author":"B. Boston","year":"2015","unstructured":"Boston, B., Sampson, A., Grossman, D., et al.: Probability type inference for flexible approximate programming. In: OOPSLA (2015)"},{"key":"717_CR8","volume-title":"OOPSLA","author":"B. Boston","year":"2018","unstructured":"Boston, B., Gong, Z., Carbin, M.: Leto: verifying application-specific hardware fault tolerance with programmable execution models. In: OOPSLA (2018)"},{"key":"717_CR9","volume-title":"ISCA","author":"R. Boyapati","year":"2017","unstructured":"Boyapati, R., Huang, J., Majumder, P., et al.: APPROX-NoC: a data approximation framework for network-on-chip architectures. In: ISCA (2017)"},{"key":"717_CR10","volume-title":"PLDI","author":"M. Carbin","year":"2012","unstructured":"Carbin, M., Kim, D., Misailovic, S., et al.: Proving acceptability properties of relaxed nondeterministic approximate programs. In: PLDI (2012)"},{"key":"717_CR11","volume-title":"PEPM","author":"M. Carbin","year":"2013","unstructured":"Carbin, M., Kim, D., Misailovic, S., et al.: Verified integrity properties for safe approximate program transformations. In: PEPM (2013)"},{"key":"717_CR12","volume-title":"OOPSLA","author":"M. Carbin","year":"2013","unstructured":"Carbin, M., Misailovic, S., Rinard, M.: Verifying quantitative reliability for programs that execute on unreliable hardware. In: OOPSLA (2013)"},{"key":"717_CR13","doi-asserted-by":"crossref","unstructured":"Chen, Y., Louri, A.: An approximate communication framework for network-on-chips. IEEE Trans. Parallel Distrib. Syst. (2020)","DOI":"10.1109\/TPDS.2020.2968068"},{"key":"717_CR14","volume-title":"OOPSLA","author":"E. Darulova","year":"2011","unstructured":"Darulova, E., Kuncak, V.: Trustworthy numerical computation in scala. In: OOPSLA (2011)"},{"key":"717_CR15","volume-title":"RV","author":"E. Darulova","year":"2012","unstructured":"Darulova, E., Kuncak, V.: Certifying solutions for numerical constraints. In: RV (2012)"},{"key":"717_CR16","volume-title":"TACAS","author":"E. Darulova","year":"2018","unstructured":"Darulova, E., Izycheva, A., Nasir, F., et al.: Daisy-framework for analysis and optimization of numerical programs. In: TACAS (2018)"},{"key":"717_CR17","volume-title":"ISCA","author":"M. de Kruijf","year":"2010","unstructured":"de Kruijf, M., Nomura, S., Sankaralingam, K.: Relax: an architectural framework for software recovery of hardware faults. In: ISCA (2010)"},{"key":"717_CR18","volume-title":"OSDI","author":"J. Dean","year":"2004","unstructured":"Dean, J., Ghemawat, S.: MapReduce: simplified data processing on large clusters. In: OSDI (2004)"},{"key":"717_CR19","unstructured":"Fernando, V.: Programming systems for safe and accurate parallel programs in the face of uncertainty. PhD thesis, University of Illinois (2021) https:\/\/www.ideals.Illinois.edu\/items\/125369. Urbana-Champaign"},{"key":"717_CR20","volume-title":"ASPLOS","author":"V. Fernando","year":"2019","unstructured":"Fernando, V., Franques, A., Abadal, S., et al.: Replica: a wireless manycore for communication-intensive and approximate data. In: ASPLOS (2019)"},{"key":"717_CR21","volume-title":"OOPSLA","author":"V. Fernando","year":"2019","unstructured":"Fernando, V., Joshi, K., Misailovic, S.: Verifying safety and accuracy of approximate parallel programs via canonical sequentialization. In: OOPSLA (2019)"},{"key":"717_CR22","volume-title":"Runtime Verification","author":"V. Fernando","year":"2021","unstructured":"Fernando, V., Joshi, K., Laurel, J., et al.: Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs. In: Runtime Verification (2021)"},{"key":"717_CR23","doi-asserted-by":"crossref","unstructured":"Golubovic, N., Krintz, C., Wolski, R., et\u00a0al.: A scalable system for executing and scoring K-means clustering techniques and its impact on applications in agriculture. Int. J. Big Data Intell. 6 (2019)","DOI":"10.1504\/IJBDI.2019.10021277"},{"key":"717_CR24","doi-asserted-by":"crossref","unstructured":"Jaroszewicz, S., Korze\u0144, M.: Arithmetic operations on independent random variables: a numerical approach. SIAM J. Sci. Comput. 34 (2012)","DOI":"10.1137\/110839680"},{"key":"717_CR25","volume-title":"ICSE","author":"K. Joshi","year":"2019","unstructured":"Joshi, K., Fernando, V., Misailovic, S.: Statistical algorithmic profiling for randomized approximate programs. In: ICSE (2019)"},{"key":"717_CR26","volume-title":"CGO","author":"K. Joshi","year":"2020","unstructured":"Joshi, K., Fernando, V., Misailovic, S.: Aloe: verifying reliability of approximate programs in the presence of recovery mechanisms. In: CGO (2020)"},{"key":"717_CR27","unstructured":"Joshi, K., Hsieh, C., Mitra, S., et\u00a0al.: Gas: generating fast and accurate surrogate models for autonomous vehicle systems (2023). https:\/\/arxiv.org\/abs\/2208.02232"},{"issue":"3","key":"717_CR28","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1080\/19315775.2015.11721732","volume":"10","author":"T. Lafarge","year":"2015","unstructured":"Lafarge, T., Possolo, A.: The nist uncertainty machine. NCSLI Measure 10(3), 20\u201327 (2015)","journal-title":"NCSLI Measure"},{"key":"717_CR29","unstructured":"Lahiri, S., Haran, A., He, S., et\u00a0al.: Automated differential program verification for approximate computing (2015). Tech. Rep"},{"key":"717_CR30","volume-title":"ESOP","author":"J. Laurel","year":"2020","unstructured":"Laurel, J., Misailovic, S.: Continualization of probabilistic programs with correction. In: ESOP (2020)"},{"key":"717_CR31","volume-title":"Design Automation Conference (DAC), 2021","author":"J. Laurel","year":"2021","unstructured":"Laurel, J., Yang, R., Sehgal, A., et al.: Statheros: compiler for efficient low-precision probabilistic programming. In: Design Automation Conference (DAC), 2021 (2021)"},{"key":"717_CR32","volume-title":"POPL","author":"J. Laurel","year":"2022","unstructured":"Laurel, J., Yang, R., Singh, G., et al.: A dual number abstraction for static analysis of Clarke Jacobians. In: POPL (2022)"},{"key":"717_CR33","volume-title":"OOPSLA","author":"J. Laurel","year":"2022","unstructured":"Laurel, J., Yang, R., Ugare, S., et al.: A general construction for abstract interpretation of higher-order automatic differentiation. In: OOPSLA (2022)"},{"key":"717_CR34","unstructured":"Leskovec, J., Krevl, A.: SNAP Datasets: stanford large network dataset collection (roadnet-pa) (2014). http:\/\/snap.Stanford.edu\/data"},{"key":"717_CR35","unstructured":"Liu, T.: Datasheet for AM2302 Sensor (2020). https:\/\/cdn-shop.adafruit.com\/datasheets\/Digital+humidity+and+temperature+sensor+AM2302.pdf"},{"key":"717_CR36","volume-title":"RV","author":"B. Maderbacher","year":"2020","unstructured":"Maderbacher, B., Karl, A.F., Bloem, R.: Placement of runtime checks to counteract fault injections. In: RV (2020)"},{"key":"717_CR37","volume-title":"Proceedings of the ACM Symposium on Cloud Computing","author":"I. Manousakis","year":"2018","unstructured":"Manousakis, I., Goiri, \u00cd., Bianchini, R., et al.: Uncertainty propagation in data processing systems. In: Proceedings of the ACM Symposium on Cloud Computing (2018)"},{"key":"717_CR38","doi-asserted-by":"crossref","unstructured":"Misailovic, S.: Accuracy-aware optimization of approximate programs. PhD thesis, Massachusetts Institute of Technology (2015)","DOI":"10.1109\/CASES.2015.7324543"},{"key":"717_CR39","volume-title":"OOPSLA","author":"S. Misailovic","year":"2014","unstructured":"Misailovic, S., Carbin, M., Achour, S., et al.: Chisel: reliability- and accuracy-aware optimization of approximate computational kernels. In: OOPSLA (2014)"},{"key":"717_CR40","volume-title":"Design, Automation & Test in Europe Conference & Exhibition (DATE)","author":"A. Misra","year":"2023","unstructured":"Misra, A., Laurel, J., Misailovic, S.: Vix: analysis-driven compiler for efficient low-precision variational inference. In: Design, Automation & Test in Europe Conference & Exhibition (DATE) (2023)"},{"key":"717_CR41","unstructured":"Page, L., Brin, S., Motwani, R., et\u00a0al.: The PageRank citation ranking: bringing order to the web (1999). Tech. Rep"},{"key":"717_CR42","volume-title":"PLDI","author":"P. Panchekha","year":"2015","unstructured":"Panchekha, P., Sanchez-Stern, A., Wilcox, J.R., et al.: Automatically improving accuracy for floating point expressions. In: PLDI (2015)"},{"key":"717_CR43","doi-asserted-by":"crossref","unstructured":"Paradis, L., Han, Q.: A survey of fault management in wireless sensor networks. J. Netw. Syst. Manag. (2007)","DOI":"10.1007\/s10922-007-9062-0"},{"key":"717_CR44","volume-title":"DAC, 2015","author":"A. Ranjan","year":"2015","unstructured":"Ranjan, A., Venkataramani, S., Fong, X., et al.: Approximate storage for energy efficient spintronic memories. In: DAC, 2015 (2015)"},{"key":"717_CR45","volume-title":"Advances in Neural Information Processing Systems","author":"B. Recht","year":"2011","unstructured":"Recht, B., Re, C., Wright, S., et al.: Hogwild: a lock-free approach to parallelizing stochastic gradient descent. In: Advances in Neural Information Processing Systems (2011)"},{"key":"717_CR46","volume-title":"ASPLOS","author":"M. Ringenburg","year":"2015","unstructured":"Ringenburg, M., Sampson, A., Ackerman, I., et al.: Monitoring and debugging the quality of results in approximate programs. In: ASPLOS (2015)"},{"key":"717_CR47","volume-title":"SC","author":"C. Rubio-Gonz\u00e1lez","year":"2013","unstructured":"Rubio-Gonz\u00e1lez, C., Nguyen, C., Nguyen, H., et al.: Precimonious: tuning assistant for floating-point precision. In: SC (2013)"},{"key":"717_CR48","volume-title":"ASPLOS","author":"M. Samadi","year":"2014","unstructured":"Samadi, M., Jamshidi, D.A., Lee, J., et al.: Paraprox: pattern-based approximation for data parallel applications. In: ASPLOS (2014)"},{"key":"717_CR49","volume-title":"PLDI","author":"A. Sampson","year":"2011","unstructured":"Sampson, A., Dietl, W., Fortuna, E., et al.: EnerJ: approximate data types for safe and general low-power computation. In: PLDI (2011)"},{"key":"717_CR50","volume-title":"PLDI","author":"A. Sampson","year":"2014","unstructured":"Sampson, A., Panchekha, P., Mytkowicz, T., et al.: Expressing and verifying probabilistic assertions. In: PLDI (2014)"},{"key":"717_CR51","unstructured":"Sampson, A., Baixo, A., Ransford, B., et\u00a0al.: Accept: a programmer-guided compiler framework for practical approximate computing (2015). Tech. Rep"},{"key":"717_CR52","volume-title":"PLDI","author":"A. Sanchez-Stern","year":"2018","unstructured":"Sanchez-Stern, A., Panchekha, P., Lerner, S., et al.: Finding root causes of floating point error. In: PLDI (2018)"},{"key":"717_CR53","volume-title":"CAV","author":"K. Sen","year":"2004","unstructured":"Sen, K., Viswanathan, M., Agha, G.: Statistical model checking of black-box probabilistic systems. In: CAV (2004)"},{"key":"717_CR54","volume-title":"FSE","author":"S. Sidiroglou","year":"2011","unstructured":"Sidiroglou, S., Misailovic, S., Hoffmann, H., et al.: Managing performance vs. accuracy trade-offs with loop perforation. In: FSE (2011)"},{"key":"717_CR55","doi-asserted-by":"crossref","unstructured":"Stanley-Marbell, P., Alaghi, A., Carbin, M., et\u00a0al.: Exploiting errors for efficiency: a survey from circuits to applications. ACM Comput. Surv. (2020)","DOI":"10.1145\/3394898"},{"key":"717_CR56","volume-title":"ICCAD","author":"J.R. Stevens","year":"2018","unstructured":"Stevens, J.R., Ranjan, A., Raghunathan, A.: AxBA: an approximate bus architecture framework. In: ICCAD (2018)"},{"key":"717_CR57","doi-asserted-by":"publisher","unstructured":"TensorFlow Developers: (2021). Tensorflow. https:\/\/doi.org\/10.5281\/zenodo.5159865. https:\/\/www.tensorflow.org","DOI":"10.5281\/zenodo.5159865"},{"key":"717_CR58","volume-title":"MICRO, MICRO \u201921","author":"V. Tsoutsouras","year":"2021","unstructured":"Tsoutsouras, V., Kaparounakis, O., Bilgin, B., et al.: The Laplace microarchitecture for tracking data uncertainty and its implementation in a risc-v processor. In: MICRO, MICRO \u201921 (2021)"},{"key":"717_CR59","doi-asserted-by":"crossref","unstructured":"Yazdanbakhsh, A., Mahajan, D., Esmaeilzadeh, H., et\u00a0al.: AxBench: a multiplatform benchmark suite for approximate computing. IEEE Des. Test 34(2) (2017)","DOI":"10.1109\/MDAT.2016.2630270"},{"key":"717_CR60","volume-title":"WCSP","author":"W. Zhuang","year":"2009","unstructured":"Zhuang, W., Chen, X., Tan, J., et al.: An empirical analysis for evaluating the link quality of robotic sensor networks. In: WCSP (2009)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-023-00717-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-023-00717-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-023-00717-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,9]],"date-time":"2023-11-09T10:04:44Z","timestamp":1699524284000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-023-00717-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8]]},"references-count":60,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2023,8]]}},"alternative-id":["717"],"URL":"https:\/\/doi.org\/10.1007\/s10009-023-00717-y","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,8]]},"assertion":[{"value":"19 September 2023","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 November 2023","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing Interests"}}]}}