Author of the publication

ArChiVED: Architectural checking via event digests for high performance validation.

, , , , and . DATE, page 1-6. European Design and Automation Association, (2014)

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

Dynamo: Facebook's Data Center-Wide Power Management System., , , , , , , , and . ISCA, page 469-480. IEEE Computer Society, (2016)Verifying Curve25519 Software., , , , , , , and . CCS, page 299-309. ACM, (2014)ArChiVED: Architectural checking via event digests for high performance validation., , , , and . DATE, page 1-6. European Design and Automation Association, (2014)Adrenaline: Pinpointing and reining in tail queries with quick voltage boosting., , , , , , , and . HPCA, page 271-282. IEEE Computer Society, (2015)Thermal time shifting: leveraging phase change materials to reduce cooling costs in warehouse-scale computers., , , , , , and . ISCA, page 439-449. ACM, (2015)Towards Power- and Energy-Efficient Datacenters.. University of Michigan, USA, (2018)Formal deadlock checking on high-level SystemC designs., , , and . ICCAD, page 794-799. IEEE, (2010)Reining in Long Tails in Warehouse-Scale Computers with Quick Voltage Boosting Using Adrenaline., , , , , , , and . ACM Trans. Comput. Syst., 35 (1): 2:1-2:33 (2017)DeftNN: addressing bottlenecks for DNN execution on GPUs via synapse vector elimination and near-compute data fission., , , , , , , , and . MICRO, page 786-799. ACM, (2017)The Architectural Implications of Autonomous Driving: Constraints and Acceleration., , , , , , and . ASPLOS, page 751-766. ACM, (2018)