Phys: probabilistic physical unit assignment and inconsistency detection-Reference-Cited by-同舟云学术

Phys: probabilistic physical unit assignment and inconsistency detection

Published:2018-10-26 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Kate Sayali¹,Ore John-Paul²,Zhang Xiangyu¹,Elbaum Sebastian³,Xu Zhaogui⁴

Affiliation:

1. Purdue University, USA

2. University of Nebraska-Lincoln, USA

3. University on Nebraska-Lincoln, USA

4. Nanjing University, China

Funder

National Science Foundation

Office of Naval Research

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3236024.3236035

Reference36 articles.

1. The Fortress language specification;Allen Eric;Sun Microsystems,2005

2. BIPM. 2006. Le Système international d’unités / The International System of Units (‘The SI Brochure’) (eighth ed.). Bureau international des poids et mesures. http: //www.bipm.org/en/si/si_brochure/ BIPM. 2006. Le Système international d’unités / The International System of Units (‘The SI Brochure’) (eighth ed.). Bureau international des poids et mesures. http: //www.bipm.org/en/si/si_brochure/

3. Percy Williams Bridgman. 1922. Dimensional Analysis. Yale University Press. Percy Williams Bridgman. 1922. Dimensional Analysis. Yale University Press.

4. Anthony Cozzie Frank Stratton Hui Xue and Samuel T. King. 2008. Digging for Data Structures. In 8th USENIX Symposium on Operating Systems Design and Implementation OSDI 2008 December 8-10 2008 San Diego California USA Proceedings Richard Draves and Robbert van Renesse (Eds.). USENIX Association 255–266. http://www.usenix.org/events/osdi08/tech/full_papers/cozzie/cozzie. pdf Anthony Cozzie Frank Stratton Hui Xue and Samuel T. King. 2008. Digging for Data Structures. In 8th USENIX Symposium on Operating Systems Design and Implementation OSDI 2008 December 8-10 2008 San Diego California USA Proceedings Richard Draves and Robbert van Renesse (Eds.). USENIX Association 255–266. http://www.usenix.org/events/osdi08/tech/full_papers/cozzie/cozzie. pdf

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Is it a Bug? Understanding Physical Unit Mismatches in Robot Software;2024 IEEE International Conference on Robotics and Automation (ICRA);2024-05-13

2. ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

3. Towards Finding Accounting Errors in Smart Contracts;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

4. ROBUST: 221 bugs in the Robot Operating System;Empirical Software Engineering;2024-03-23

5. SA4U: Practical Static Analysis for Unit Type Error Detection;Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering;2022-10-10