Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Learning Semantic Representations to Verify Hardware Designs., , , , , , and . NeurIPS, page 23491-23504. (2021)A Survey on Human-AI Teaming with Large Pre-Trained Models., , , , , , , , , and 13 other author(s). CoRR, (2024)A graph placement methodology for fast chip design., , , , , , , , , and 10 other author(s). Nat., 594 (7862): 207-212 (2021)Chip Placement with Deep Reinforcement Learning., , , , , , , , , and 12 other author(s). CoRR, (2020)Anton, a Special-purpose Machine for Molecular Dynamics Simulation, , , , , , , , , and 17 other author(s). Commun. ACM, 51 (7): 91--97 (July 2008)Warehouse-scale video acceleration: co-design and deployment in the wild., , , , , , , , , and 42 other author(s). ASPLOS, page 600-615. ACM, (2021)Anton, a special-purpose machine for molecular dynamics simulation., , , , , , , , , and 17 other author(s). ISCA, page 1-12. ACM, (2007)Architecture Validation for Processors., , , and . ISCA, page 404-413. ACM, (1995)Hierarchical simulation-based verification of Anton, a special-purpose parallel machine., , , , , , , , , and 5 other author(s). ICCD, page 340-347. IEEE Computer Society, (2008)Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic., , , , , and . DAC, page 268-271. ACM, (2008)