S
Srinivas Devadas
Researcher at Massachusetts Institute of Technology
Publications - 498
Citations - 35003
Srinivas Devadas is an academic researcher from Massachusetts Institute of Technology. The author has contributed to research in topics: Sequential logic & Combinational logic. The author has an hindex of 88, co-authored 480 publications receiving 31897 citations. Previous affiliations of Srinivas Devadas include University of California, Berkeley & Cornell University.
Papers
More filters
Proceedings ArticleDOI
LiTM: A Lightweight Deterministic Software Transactional Memory System
TL;DR: L LiTM is presented, a new deterministic STM system that achieves both simplicity and efficiency at the same time and outperforms the state-of-the-art framework Galois by up to 5.8× on a 40-core machine.
BookDOI
VLSI: Systems on a Chip
TL;DR: This paper addresses RF mixer design issues from an optimization and statistical point of view, and derived the noise equation based on a simple noise model of the Gilbert-cell mixer.
Proceedings ArticleDOI
Analysis and design of regular structures for robust dynamic fault testability
TL;DR: In the process of design modification to produce fully robustly testable structures, the authors derive a number of new composition rules that allow cascading individual modules while maintaining robust testability under dynamic fault models.
Posted Content
Catena: Preventing Lies with Bitcoin.
Alin Tomescu,Srinivas Devadas +1 more
TL;DR: Catena implements a log as an OP_RETURN transaction chain and prevents forks in the log by leveraging Bitcoin’s security against double spends, and can be used to secure many systems today such as public-key directories, Tor directory servers or software transparency schemes.
Proceedings ArticleDOI
A New Approach to Solving the Hardware-Software Partitioning Problem in Embedded System Design
TL;DR: Experimental results indicate that the simplicity and effective solution techniques of the approach make it ideally suited as an automated design analysis tool in embedded system design.