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

Verifying Curve25519 Software., , , , , , , and . CCS, page 299-309. ACM, (2014)Dynamo: Facebook's Data Center-Wide Power Management System., , , , , , , , and . ISCA, page 469-480. IEEE Computer Society, (2016)ArChiVED: Architectural checking via event digests for high performance validation., , , , and . DATE, page 1-6. European Design and Automation Association, (2014)Thermal time shifting: leveraging phase change materials to reduce cooling costs in warehouse-scale computers., , , , , , and . ISCA, page 439-449. ACM, (2015)Adrenaline: Pinpointing and reining in tail queries with quick voltage boosting., , , , , , , and . HPCA, page 271-282. IEEE Computer Society, (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)The Architectural Implications of Autonomous Driving: Constraints and Acceleration., , , , , , and . ASPLOS, page 751-766. ACM, (2018)SmoothOperator: Reducing Power Fragmentation and Improving Power Utilization in Large-scale Datacenters., , , and . ASPLOS, page 535-548. ACM, (2018)