DAC 2018 - Speakers/Authors

Anshul .

EDA Engineer at IBM

Agenda
- 7.6 - Graph Databases to Enable High Performance Microprocessor Design

Magdy Abadir

Agenda
- Session 78: Is It About Time to Take Inductance and Electromagnetic Effects on SoC Seriously?

Ali Abbasinasab

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

Agenda
- 75.5 - LEMAX: Learning-based Energy Consumption Minimization in Approximate Computing with Quality Guarantee

Rieko Akimoto

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