W03 4th Workshop on Design Automation for Understanding Hardware Designs DUHDe 2017

Printer-friendly versionPDF version

Agenda

TimeLabelSession
08:30W03.1Welcome
08:35W03.2Invited Talk: Dr. Barbara Jobstmann EPFL, Lausanne, Switzerland, "Reactive Program Synthesis and Repair"

Reactive Synthesis aims to automatically construct a reactive program from a temporal specification that describes the desired functional behavior of the system. Often one does not need or want to construct a system from scratch but extend or repair a given system, which makes program repair an interesting alternative. In this talk I will first give a short introduction to Reactive Synthesis. Then, I will present an approach to repair reactive programs using reactive synthesis. This approach aims to produce for a repaired program that satisfies the specification and is syntactically close to the faulty program. Finally, I will present an extension of this approach that produces a program that is also semantically close to the original program by enforcing that a subset of the original traces is preserved. Intuitively, the faulty program is considered to be a part of the specification, which enables us to synthesize meaningful repairs, even for incomplete specifications.

08:35W03.2.1Title: Reactive Program Synthesis and Repair
Barbara Jobstmann, EPFL, CH

09:35W03.3Research Session 1
09:35W03.3.1ELVE: An Interactive and Extensible Visualisation Tool for Logic Circuits
Gregoire Hirt1, Ana Petkovska1 and Paolo Ienne2
1EPFL, CH; 2EPFL I&C LAP, CH

10:00W03.4Coffee Break
10:30W03.5Invited Talk: Dr. Martin Monperrus University of Lille & INRIA, France, "When and how to automatically repair bugs?"

I will talk about automatic repair of software bugs. I will describe the different use cases of automatic software repair, and the readiness level of each use case according to the latest advances of the research community. At the end of the talk, I will sketch the vision of "antifragile software", software that does not wait for bugs to naturally happen before doing something.

10:30W03.5.1Title: When and how to automatically repair bugs?
Martin Montperrus, University of Lille & INRIA, FR

11:30W03.6Research Session 2
11:30W03.6.1Mining Latency Guarantees for RT-level Designs
Jan Malburg1, Heinz Riener2 and Goerschwin Fey3
1German Aerospace Center, DE; 2DLR, DE; 3Univ. of Bremen, DE

12:00W03.7Lunch Break
13:00W03.8Research Session 3
13:00W03.8.1Verilog2GEXF Dynamic Large Scale Circuit Visualization
Kenneth Schmitz1, Jannis Stoppe2 and Rolf Drechsler3
1University of Bremen, DE; 2Universität Bremen, DE; 3Department of Mathematics and Computer Science, University of Bremen, GermanyCyber-Physical Systems, DFKI GmbH, Bremen, Germany, DE

13:25W03.8.2Computing Exact Fault Candidates Incrementally
Heinz Riener1 and Goerschwin Fey2
1DLR, DE; 2Univ. of Bremen, DE

13:50W03.8.3A Human-Centered Approach to Routing for Digital Microfluidic Biochip
Oliver Keszöcze1, Andre Pols2 and Rolf Drechsler3
1University of Bremen, DE; 2University of Bremen, AD; 3Department of Mathematics and Computer Science, University of Bremen, GermanyCyber-Physical Systems, DFKI GmbH, Bremen, Germany, DE

14:15W03.8.4Making Waveforms Great Again
Jannis Stoppe1 and Rolf Drechsler2
1Universität Bremen, DE; 2Department of Mathematics and Computer Science, University of Bremen, GermanyCyber-Physical Systems, DFKI GmbH, Bremen, Germany, DE

14:40W03.9Coffee Break
15:00W03.10Research Session 4
15:00W03.10.1A Natural Language Interface to Design Cyber-Physical Systems
Sophia Balkovski1 and Ian Harris2
1University of California Irvine, US; 2University of Californa Irvine, US

15:25W03.10.2On Identifying Functional Primitives in Hardware Description Language (HDL) Specifications
Christian Krieg1, Martin Mosbeck2, Clifford Wolf2 and Axel Jantsch3
1Institute of Computer Technology, Vienna University of Technology, AT; 2TU Wien, AT; 3Technische Universität Wien, AT

15:50W03.11Closing