Programming efficient asynchronous systems is challenging because it can often be hard to express the design declaratively, or to defend against interleaving-dependent bugs such as data races and ...

Abstract: In recent years, the development of advanced driving assistance systems (ADAS) has grown significantly within the transportation industry to assist drivers for making safe maneuvers. A major ...

President Trump said Thursday evening he is granting a pardon to Tina Peters, a former Colorado county clerk who is serving a nine-year state sentence for allowing unauthorized access to voting ...

Abstract: Machine learning (ML) is ever more frequently used as a tool to aid decision making. The need to understand the decisions made by ML algorithms has sparked a renewed interest in explainable ...