25 citations · 66 across the 8 of their papers we have counts for
9 papers
Manticore: Hardware-Accelerated RTL Simulation with Static Bulk-Synchronous Parallelism
Mahyar Emami, Sahand Kashani, Keisuke Kamahori +3
The demise of Moore's Law and Dennard Scaling has revived interest in specialized computer architectures and accelerators. Verification and testing of this hardware depend heavily…
Statistical Program Slicing: a Hybrid Slicing Technique for Analyzing Deployed Software
Bogdan Alexandru Stoica, Swarup K. Sahoo, James R. Larus +1
Dynamic program slicing can significantly reduce the code developers need to inspect by narrowing it down to only a subset of relevant program statements. However, despite an exten…
StreamBlocks: A compiler for heterogeneous dataflow computing (technical report)
Endri Bezati, Mahyar Emami, Jörn Janneck +1
To increase performance and efficiency, systems use FPGAs as reconfigurable accelerators. A key challenge in designing these systems is partitioning computation between processors…
Decentralized Privacy-Preserving Proximity Tracing
Carmela Troncoso, Mathias Payer, Jean-Pierre Hubaux +31
This document describes and analyzes a system for secure and privacy-preserving proximity tracing at large scale. This system, referred to as DP3T, provides a technological foundat…
Parallel and Scalable Precise Clustering for Homologous Protein Discovery
Stuart Byma, Akash Dhasade, Adrian Altenhoff +2
This paper presents a new, parallel implementation of clustering and demonstrates its utility in greatly speeding up the process of identifying homologous proteins. Clustering is a…
Extending TensorFlow's Semantics with Pipelined Execution
Sam Whitlock, James Larus, Edouard Bugnion
TensorFlow is a popular cloud computing framework that targets machine learning applications. It separates the specification of application logic (in a dataflow graph) from the exe…