Write a Blog >>
Mon 10 Jul 2017 14:35 - 14:37 at Bren 1414 - Lightning Talks Chair(s): Neha Rungta, Yuriy Brun
Tue 11 Jul 2017 15:00 - 16:00 at Bren 1424 - Demonstrations 2

Systems that interact with the physical world use software that represents and manipulates physical quantities. To operate correctly, these systems must obey the rules of how quantities with physical units can be combined, compared, and manipulated. Incorrectly manipulating physical quantities can cause faults that go undetected by the type system, likely manifesting later as incorrect behavior. Existing approaches for inconsistency detection require code annotation, physical unit libraries, or specialized programming languages. We introduce Phriky-Units, a static analysis tool that detects physical unit inconsistencies in robotic software without developer annotations. It does so by capitalizing on existing shared libraries that handle standardized physical units, common in the cyber-physical domain, to link class attributes of shared libraries to physical units. In this work, we describe how Phriky-Units works, provide details of the implementation, and explain how Phriky-Units can be used. Finally we present a summary of an empirical evaluation showing it has an 87% true positive rate for a class of inconsistencies we detect with high-confidence.

Mon 10 Jul

issta-2017-demos
14:35 - 15:05: Demonstrations - Lightning Talks at Bren 1414
Chair(s): Neha RungtaAmazon Web Services, Yuriy BrunUniversity of Massachusetts, Amherst
issta-2017-demos14:35 - 14:37
Demonstration
John-Paul OreUniversity of Nebraska-Lincoln, USA, Carrick DetweilerUniversity of Nebraska-Lincoln, USA, Sebastian ElbaumUniversity of Nebraska-Lincoln, USA
DOI
issta-2017-demos14:37 - 14:39
Demonstration
Josie HolmesPennsylvania State University, USA, Alex GroceNorthern Arizona University
DOI
issta-2017-demos14:39 - 14:41
Demonstration
Thomas WalshUniversity of Sheffield, UK, Gregory KapfhammerAllegheny College, USA, Phil McMinnUniversity of Sheffield
DOI
issta-2017-demos14:41 - 14:43
Demonstration
Alessio GambiSaarland University, Germany, Sebastian KapplerSaarland University, Germany, Johannes LampelSaarland University, Germany, Andreas ZellerSaarland University
DOI
issta-2017-demos14:43 - 14:45
Demonstration
Sonal MahajanUniversity of Southern California, USA, Abdulmajeed AlameerUniversity of Southern California, USA, Phil McMinnUniversity of Sheffield, William G.J. HalfondUniversity of Southern California
DOI
issta-2017-demos14:45 - 14:47
Demonstration
Antoine El-HokayemGrenoble Alpes University, France / Inria, France / CNRS, France, Yliès FalconeUniv. Grenoble Alpes, Inria
DOI
issta-2017-demos14:47 - 14:49
Demonstration
Xuan-Bach D. LeSingapore Management University, Singapore, Duc-Hiep ChuNational University of Singapore, David LoSingapore Management University, Claire Le GouesCarnegie Mellon University, Willem VisserStellenbosch University
DOI
issta-2017-demos14:49 - 14:52
Demonstration
Ben SpencerUniversity of Oxford, Michael BenediktUniversity of Oxford, UK, Anders MøllerAarhus University, Franck van BreugelYork University, Canada
DOI
issta-2017-demos14:52 - 14:54
Demonstration
Vanya YanevaUniversity of Edinburgh, UK, Ajitha RajanUniversity of Edinburgh, UK, Christophe DubachUniversity of Edinburgh
DOI
issta-2017-demos14:54 - 14:56
Demonstration
Lennon ChavesFederal University of Amazonas, Brazil, Iury BessaFederal University of Amazonas, Brazil, Lucas C. CordeiroUniversity of Oxford, UK, Eddie LimaSamsung Electronics, Brazil, Daniel KroeningUniversity of Oxford
DOI
issta-2017-demos14:56 - 14:58
Demonstration
Sylvain HalléUniversité du Québec à Chicoutimi, Canada, Raphael KhouryUniversité du Québec à Chicoutimi, Canada
DOI
issta-2017-demos14:58 - 15:00
Demonstration
Casey CasalnuovoUniversity of California at Davis, USA, Yagnik SuchakUniversity of California at Davis, USA, Baishakhi Ray, Cindy Rubio-GonzalezUniversity of California, Davis
DOI
issta-2017-demos15:00 - 15:02
Demonstration
Dmitry NurmuradovUniversity of North Texas, USA, Renee BryceUniversity of North Texas
DOI
issta-2017-demos15:02 - 15:04
Demonstration
Sylvain HalléUniversité du Québec à Chicoutimi, Canada
DOI

Tue 11 Jul

issta-2017-demos
15:00 - 16:00: Demonstrations - Demonstrations 2 at Bren 1424
issta-2017-demos15:00 - 16:00
Demonstration
Sylvain HalléUniversité du Québec à Chicoutimi, Canada, Raphael KhouryUniversité du Québec à Chicoutimi, Canada
DOI
issta-2017-demos15:00 - 16:00
Demonstration
Sonal MahajanUniversity of Southern California, USA, Abdulmajeed AlameerUniversity of Southern California, USA, Phil McMinnUniversity of Sheffield, William G.J. HalfondUniversity of Southern California
DOI
issta-2017-demos15:00 - 16:00
Demonstration
John-Paul OreUniversity of Nebraska-Lincoln, USA, Carrick DetweilerUniversity of Nebraska-Lincoln, USA, Sebastian ElbaumUniversity of Nebraska-Lincoln, USA
DOI
issta-2017-demos15:00 - 16:00
Demonstration
Vanya YanevaUniversity of Edinburgh, UK, Ajitha RajanUniversity of Edinburgh, UK, Christophe DubachUniversity of Edinburgh
DOI
issta-2017-demos15:00 - 16:00
Demonstration
Antoine El-HokayemGrenoble Alpes University, France / Inria, France / CNRS, France, Yliès FalconeUniv. Grenoble Alpes, Inria
DOI
issta-2017-demos15:00 - 16:00
Demonstration
Lennon ChavesFederal University of Amazonas, Brazil, Iury BessaFederal University of Amazonas, Brazil, Lucas C. CordeiroUniversity of Oxford, UK, Eddie LimaSamsung Electronics, Brazil, Daniel KroeningUniversity of Oxford
DOI
issta-2017-demos15:00 - 16:00
Demonstration
Thomas WalshUniversity of Sheffield, UK, Gregory KapfhammerAllegheny College, USA, Phil McMinnUniversity of Sheffield
DOI