A powerful, but limited, way to view software is as source code alone. Treating a program as
a sequence of instructions enables it to be formalized and makes it amenable to …

Source code is bimodal: it combines a formal, algorithmic channel and a natural language
channel of identifiers and comments. In this work, we model the bimodality of code with …

A major difficulty in debugging distributed systems lies in manually determining which of the
many available debugging tools to use and how to query that tool's logs. Our own study of a …

Program variables used in robotic and cyber-physical systems often have implicit physical
units that cannot be determined from their variable types. Inferring an abstract physical unit …

A robotic system continuously measures its own motions and the external world during
operation. Such measurements are with respect to some frame of reference, ie, a coordinate …

Despite advances in debugging tools, systems debugging today remains largely manual. A
developer typically follows an iterative and time-consuming process to move from a reported …

A major difficulty in debugging distributed systems lies in manually determining which of the
many available debugging tools to use and how to query its logs. Our own study of a …

Cloud computing is an integral part of today's world: it primarily enables individuals and
enterprises to provision and manage resources such as compute, storage, etc., for their …

Robot software risks the hazard of dimensional inconsistencies. These inconsistencies
occur when a program incorrectly manipulates values representing real-world quantities …