DAC 2018 - Speakers/Authors

Anshul .

EDA Engineer at IBM

Magdy Abadir

Ali Abbasinasab

Agenda
- 68.3 - RAIN: A Tool for Reliability Assessment of Interconnect Networks—Physics to Software

Andreas Abele

Agenda
- 22.1 - Semi-automatic Safety Analysis and Optimization

Jaume Abella

Vincent Abikhattar

Agenda
- 42.4 - Fight Fire with Formal Verification

Srini Addepalli

Lead Software Architect - NFV Security at Intel Security

Agenda
- 60.1 - Securing Edges and Fogs using Hardware and Software Technologies

Ramesh Agarwal

Agenda
- 123.17 - Power and Reliability Analysis for Next Generation InFO & CoWoS Style Designs

Lily Aggarwal

Sr. Design Engineer at Microsoft Corporation

Agenda
- 123.21 - Static Timing Analysis Using NanoTime for Custom Circuits

Anthony Agnesina

Gopinath Agrahara

Qazi Faheem Ahmed

Agenda
- 123.8 - Identifying and Fixing Power Leaks

Tutu Ajayi

Agenda
- 35.6 - ACAI: Arm Coherent Accelerator Interface

Homayoon Akhiani

NVIDIA Corporation

Agenda
- Session 42: Novel Applications of Formal Verification

Vahideh Akhlaghi

University of California, San Diego

Rieko Akimoto

Agenda
- 1.5 - Extended CPS Simulation for EMC Compliance of Automotive IC Chip Developments

Olivier Alavoine

Agenda
- 58.5 - SARA: Self-Aware Resource Allocation for Heterogeneous MPSoCs

George Alexy

Agenda
- Can We Use Blockchain to Secure Everything? Should We?

Mohammad Al Faruque

University of California, Irvine

Agenda
- Workshop 1: The Third International Workshop on Design Automation for Cyber-Physical Systems (DACPS)

Muhammad Ali

Agenda