| 2026 | SP | Concretely-Efficient Multi-Key Homomorphic Secret Sharing and Applications. | Kaiwen He, Sacha Servan-Schreiber, Geoffroy Couteau, Srinivas Devadas |
| 2026 | SP | Privacy-Conscious Algorithm Design Via PAC Privacy. | Mayuri Sridhar, Xiaochen Zhu, Srinivas Devadas |
| 2025 | CCS | One-Sided Bounded Noise: Theory, Optimization Algorithms and Applications. | Hanshen Xiao, Jun Wan, Elaine Shi, Srinivas Devadas |
| 2025 | HOTNETS | Remote Direct Code Execution. | Yibo Huang, Yiming Qiu, Daqian Ding, Patrick Tser Jern Kon, Yiwen Zhang, Yuzhou Mao, Archit Bhatnagar, Mosharaf Chowdhury, Srinivas Devadas, Jiarong Xing, Ang Chen |
| 2025 | SP | PAC-Private Algorithms. | Mayuri Sridhar, Hanshen Xiao, Srinivas Devadas |
| 2025 | TCC | Pseudorandom Correlation Functions for Garbled Circuits. | Geoffroy Couteau, Srinivas Devadas, Alexander Koch, Sacha Servan-Schreiber |
| 2024 | ASIACRYPT | QuietOT: Lightweight Oblivious Transfer with a Public-Key Setup. | Geoffroy Couteau, Lalita Devadas, Srinivas Devadas, Alexander Koch, Sacha Servan-Schreiber |
| 2024 | CCS | Formal Privacy Proof of Data Encoding: The Possibility and Impossibility of Learnable Encryption. | Hanshen Xiao, G. Edward Suh, Srinivas Devadas |
| 2024 | MICRO | Accelerating Zero-Knowledge Proofs Through Hardware-Algorithm Co-Design. | Nikola Samardzic, Simon Langowski, Srinivas Devadas, Daniel Snchez |
| 2023 | CCS | Geometry of Sensitivity: Twice Sampling and Hybrid Clipping in Differential Privacy with Optimal Gaussian Noise and Application to Deep Learning. | Hanshen Xiao, Jun Wan, Srinivas Devadas |
| 2023 | CRYPTO | PAC Privacy: Automatic Privacy Measurement and Control of Data Processing. | Hanshen Xiao, Srinivas Devadas |
| 2023 | NDSS | Trellis: Robust and Scalable Metadata-private Anonymous Broadcast. | Simon Langowski, Sacha Servan-Schreiber, Srinivas Devadas |
| 2023 | SP | A Theory to Instruct Differentially-Private Learning via Clipping Bias Reduction. | Hanshen Xiao, Zihang Xiang, Di Wang, Srinivas Devadas |
| 2022 | CCS | Designing Hardware for Cryptography and Cryptography for Hardware. | Srinivas Devadas, Simon Langowski, Nikola Samardzic, Sacha Servan-Schreiber, Daniel Snchez |
| 2022 | ISCA | CraterLake: a hardware accelerator for efficient unbounded computation on encrypted data. | Nikola Samardzic, Axel Feldmann, Aleksandar Krastev, Nathan Manohar, Nicholas Genise, Srinivas Devadas, Karim Eldefrawy, Chris Peikert, Daniel Snchez |
| 2022 | NSDI | Spectrum: High-bandwidth Anonymous Broadcast. | Zachary Newman, Sacha Servan-Schreiber, Srinivas Devadas |
| 2022 | SIGMOD | Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness. | Yu Xia, Xiangyao Yu, Matthew Butrovich, Andrew Pavlo, Srinivas Devadas |
| 2022 | SP | ShorTor: Improving Tor Network Latency via Multi-hop Overlay Routing. | Kyle Hogan, Sacha Servan-Schreiber, Zachary Newman, Ben Weintraub, Cristina Nita-Rotaru, Srinivas Devadas |
| 2022 | SP | Private Approximate Nearest Neighbor Search with Sublinear Communication. | Sacha Servan-Schreiber, Simon Langowski, Srinivas Devadas |
| 2021 | ASPLOS | Robomorphic computing: a design methodology for domain-specific accelerators parameterized by robot morphology. | Sabrina M. Neuman, Brian Plancher, Thomas Bourgeat, Thierry Tambe, Srinivas Devadas, Vijay Janapa Reddi |
| 2021 | MICRO | F1: A Fast and Programmable Accelerator for Fully Homomorphic Encryption. | Nikola Samardzic, Axel Feldmann, Aleksandar Krastev, Srinivas Devadas, Ronald G. Dreslinski, Christopher Peikert, Daniel Snchez |
| 2020 | ICML | On Differentially Private Stochastic Convex Optimization with Heavy-tailed Data. | Di Wang, Hanshen Xiao, Srinivas Devadas, Jinhui Xu |
| 2020 | NSDI | XRD: Scalable Messaging System with Cryptographic Privacy. | Albert Kwon, David Lu, Srinivas Devadas |
| 2020 | SP | Towards Scalable Threshold Cryptosystems. | Alin Tomescu, Robert Chen, Yiming Zheng, Ittai Abraham, Benny Pinkas, Guy Golan-Gueta, Srinivas Devadas |
| 2020 | TCC | Round-Efficient Byzantine Broadcast Under Strongly Adaptive and Majority Corruptions. | Jun Wan, Hanshen Xiao, Srinivas Devadas, Elaine Shi |
| 2020 | TCC | Expected Constant Round Byzantine Broadcast Under Dishonest Majority. | Jun Wan, Hanshen Xiao, Elaine Shi, Srinivas Devadas |
| 2019 | CCS | Transparency Logs via Append-Only Authenticated Dictionaries. | Alin Tomescu, Vivek Bhupatiraju, Dimitrios Papadopoulos, Charalampos Papamanthou, Nikos Triandopoulos, Srinivas Devadas |
| 2019 | DATE | Sanctorum: A lightweight security monitor for secure enclaves. | Ilia A. Lebedev, Kyle Hogan, Jules Drean, David Kohlbrenner, Dayeol Lee, Krste Asanovic, Dawn Song, Srinivas Devadas |
| 2019 | FC | Synchronous Byzantine Agreement with Expected O(1) Rounds, Expected O(n | Ittai Abraham, Srinivas Devadas, Danny Dolev, Kartik Nayak, Ling Ren |
| 2019 | IROS | Benchmarking and Workload Analysis of Robot Dynamics Algorithms. | Sabrina M. Neuman, Twan Koolen, Jules Drean, Jason E. Miller, Srinivas Devadas |
| 2019 | MICRO | MI6: Secure Enclaves in a Speculative Out-of-Order Processor. | Thomas Bourgeat, Ilia A. Lebedev, Andrew Wright, Sizhuo Zhang, Arvind, Srinivas Devadas |
| 2019 | PPoPP | LiTM: A Lightweight Deterministic Software Transactional Memory System. | Yu Xia, Xiangyao Yu, William S. Moses, Julian Shun, Srinivas Devadas |
| 2018 | MICRO | DAWG: A Defense Against Cache Timing Attacks in Speculative Execution Processors. | Vladimir Kiriansky, Ilia A. Lebedev, Saman P. Amarasinghe, Srinivas Devadas, Joel S. Emer |
| 2018 | QRS | Mission Assurance: Beyond Secure Processing. | Michael Vai, David Whelihan, Jacob Leemaster, Haley Whitman, Willahelm Wan, Yunsi Fei, Roger Khazan, Ilia A. Lebedev, Kyle Hogan, Srinivas Devadas |
| 2017 | CCS | Secure Hardware and Cryptography: Contrasts, Synergies and Challenges. | Srinivas Devadas |
| 2017 | CCS | A Formal Foundation for Secure Remote Execution of Enclaves. | Pramod Subramanyan, Rohit Sinha, Ilia A. Lebedev, Srinivas Devadas, Sanjit A. Seshia |
| 2017 | ICCD | Using Application-Level Thread Progress Information to Manage Power and Performance. | Sabrina M. Neuman, Jason E. Miller, Daniel Snchez, Srinivas Devadas |
| 2017 | MICRO | Banshee: bandwidth-efficient DRAM caching via software/hardware cooperation. | Xiangyao Yu, Christopher J. Hughes, Nadathur Satish, Onur Mutlu, Srinivas Devadas |
| 2017 | SP | Catena: Efficient Non-equivocation via Bitcoin. | Alin Tomescu, Srinivas Devadas |
| 2017 | SACMAT | Leveraging Hardware Isolation for Process Level Access Control & Authentication. | Syed Kamran Haider, Hamza Omar, Ilia A. Lebedev, Srinivas Devadas, Marten van Dijk |
| 2017 | SOSP | Atom: Horizontally Scaling Strong Anonymity. | Albert Kwon, Henry Corrigan-Gibbs, Srinivas Devadas, Bryan Ford |
| 2017 | TCC | Bandwidth Hard Functions for ASIC Resistance. | Ling Ren, Srinivas Devadas |
| 2017 | TCC | On Iterative Collision Search for LPN and Subset Sum. | Srinivas Devadas, Ling Ren, Hanshen Xiao |
| 2016 | SIGMOD | TicToc: Time Traveling Optimistic Concurrency Control. | Xiangyao Yu, Andrew Pavlo, Daniel Snchez, Srinivas Devadas |
| 2016 | TCC | Onion ORAM: A Constant Bandwidth Blowup Oblivious RAM. | Srinivas Devadas, Marten van Dijk, Christopher W. Fletcher, Ling Ren, Elaine Shi, Daniel Wichs |
| 2016 | TCC | Proof of Space from Stacked Expanders. | Ling Ren, Srinivas Devadas |
| 2015 | ASPLOS | Freecursive ORAM: [Nearly] Free Recursion and Integrity Verification for Position-based Oblivious RAM. | Christopher W. Fletcher, Ling Ren, Albert Kwon, Marten van Dijk, Srinivas Devadas |
| 2015 | FCCM | A Low-Latency, Low-Area Hardware Oblivious RAM Controller. | Christopher W. Fletcher, Ling Ren, Albert Kwon, Marten van Dijk, Emil Stefanov, Dimitrios N. Serpanos, Srinivas Devadas |
| 2015 | ISCA | PrORAM: dynamic prefetcher for oblivious RAM. | Xiangyao Yu, Syed Kamran Haider, Ling Ren, Christopher W. Fletcher, Albert Kwon, Marten van Dijk, Srinivas Devadas |
| 2015 | MICRO | IMP: indirect memory prefetcher. | Xiangyao Yu, Christopher J. Hughes, Nadathur Satish, Srinivas Devadas |
| 2014 | HPCA | Suppressing the Oblivious RAM timing channel while making information leakage and program efficiency trade-offs. | Christopher W. Fletcher, Ling Ren, Xiangyao Yu, Marten van Dijk, Omer Khan, Srinivas Devadas |
| 2014 | HPCA | Locality-aware data replication in the Last-Level Cache. | George Kurian, Srinivas Devadas, Omer Khan |
| 2014 | ICS | Author retrospective AEGIS: architecture for tamper-evident and tamper-resistant processing. | G. Edward Suh, Christopher W. Fletcher, Dwaine E. Clarke, Blaise Gassend, Marten van Dijk, Srinivas Devadas |
| 2014 | ICS | Author retrospective for analytical cache models with applications to cache partitioning. | G. Edward Suh, George Kurian, Srinivas Devadas, Larry Rudolph |
| 2014 | ISPASS | Power modeling and other new features in the Graphite simulator. | George Kurian, Sabrina M. Neuman, George Bezerra, Anthony Giovinazzo, Srinivas Devadas, Jason E. Miller |
| 2013 | CCS | Path ORAM: an extremely simple oblivious RAM protocol. | Emil Stefanov, Marten van Dijk, Elaine Shi, Christopher W. Fletcher, Ling Ren, Xiangyao Yu, Srinivas Devadas |
| 2013 | CCS | Authenticated storage using small trusted hardware. | Hsin-Jung Yang, Victor Costan, Nickolai Zeldovich, Srinivas Devadas |
| 2013 | CCS | Generalized external interaction with tamper-resistant hardware with bounded information leakage. | Xiangyao Yu, Christopher W. Fletcher, Ling Ren, Marten van Dijk, Srinivas Devadas |
| 2013 | DATE | MARTHA: architecture for control and emulation of power electronics and smart grid systems. | Michel A. Kinsy, Ivan Celanovic, Omer Khan, Srinivas Devadas |
| 2013 | FPGA | Heracles: a tool for fast RTL-based design space exploration of multicore processors. | Michel A. Kinsy, Michael Pellauer, Srinivas Devadas |
| 2013 | ICCD | Design tradeoffs for simplicity and efficient verification in the Execution Migration Machine. | Keun Sup Shim, Mieszko Lis, Myong Hyon Cho, Ilia A. Lebedev, Srinivas Devadas |
| 2013 | ISCA | The locality-aware adaptive cache coherence protocol. | George Kurian, Omer Khan, Srinivas Devadas |
| 2013 | ISCA | Design space exploration and optimization of path oblivious RAM in secure processors. | Ling Ren, Xiangyao Yu, Christopher W. Fletcher, Marten van Dijk, Srinivas Devadas |
| 2012 | CCS | Towards an interpreter for efficient encrypted computation. | Christopher W. Fletcher, Marten van Dijk, Srinivas Devadas |
| 2012 | DAC | Self-aware computing in the Angstrom processor. | Henry Hoffmann, Jim Holt, George Kurian, Eric Lau, Martina Maggio, Jason E. Miller, Sabrina M. Neuman, Mahmut E. Sinangil, Yildiz Sinangil, Anant Agarwal, Anantha P. Chandrakasan, Srinivas Devadas |
| 2012 | SP | Slender PUF Protocol: A Lightweight, Robust, and Secure Authentication by Substring Matching. | Mehrdad Majzoobi, Masoud Rostami, Farinaz Koushanfar, Dan S. Wallach, Srinivas Devadas |
| 2012 | SAT | Lynx: A Programmatic SAT Solver for the RNA-Folding Problem. | Vijay Ganesh, Charles W. O'Donnell, Mate Soos, Srinivas Devadas, Martin C. Rinard, Armando Solar-Lezama |
| 2011 | CHES | FPGA-Based True Random Number Generation Using Circuit Metastability with Adaptive Feedback Control. | Mehrdad Majzoobi, Farinaz Koushanfar, Srinivas Devadas |
| 2011 | CHES | Lightweight and Secure PUF Key Storage Using Limits of Machine Learning. | Meng-Day (Mandel) Yu, David M'Rahi, Richard Sowell, Srinivas Devadas |
| 2011 | FPL | Heracles: Fully Synthesizable Parameterized MIPS-Based Multicore System. | Michel A. Kinsy, Michael Pellauer, Srinivas Devadas |
| 2011 | ICCD | ARCc: A case for an architecturally redundant cache-coherence architecture for large multicores. | Omer Khan, Henry Hoffmann, Mieszko Lis, Farrukh Hijaz, Anant Agarwal, Srinivas Devadas |
| 2011 | ICCD | Memory coherence in the age of multicores. | Mieszko Lis, Keun Sup Shim, Myong Hyon Cho, Srinivas Devadas |
| 2011 | ISPASS | Scalable, accurate multicore simulation in the 1000-core era. | Mieszko Lis, Pengju Ren, Myong Hyon Cho, Keun Sup Shim, Christopher W. Fletcher, Omer Khan, Srinivas Devadas |
| 2011 | RECOMB | Efficient Traversal of Beta-Sheet Protein Folding Pathways Using Ensemble Models. | Solomon Shenker, Charles W. O'Donnell, Srinivas Devadas, Bonnie Berger, Jrme Waldisphl |
| 2011 | RTSS | Time-Predictable Computer Architecture for Cyber-Physical Systems: Digital Emulation of Power Electronics Systems. | Michel A. Kinsy, Omer Khan, Ivan Celanovic, Dusan Majstorovic, Nikola L. Celanovic, Srinivas Devadas |
| 2011 | SPAA | Brief announcement: distributed shared memory based on computation migration. | Mieszko Lis, Keun Sup Shim, Myong Hyon Cho, Christopher W. Fletcher, Michel A. Kinsy, Ilia A. Lebedev, Omer Khan, Srinivas Devadas |
| 2010 | CCS | Modeling attacks on physical unclonable functions. | Ulrich Rhrmair, Frank Sehnke, Jan Slter, Gideon Dror, Srinivas Devadas, Jrgen Schmidhuber |
| 2009 | ISCA | Application-aware deadlock-free oblivious routing. | Michel A. Kinsy, Myong Hyon Cho, Tina Wen, G. Edward Suh, Marten van Dijk, Srinivas Devadas |
| 2009 | MICRO | Path-based, randomized, oblivious, minimal routing. | Myong Hyon Cho, Mieszko Lis, Keun Sup Shim, Michel A. Kinsy, Srinivas Devadas |
| 2009 | RECOMB | Simultaneous Alignment and Folding of Protein Sequences. | Jrme Waldisphl, Charles W. O'Donnell, Sebastian Will, Srinivas Devadas, Rolf Backofen, Bonnie Berger |
| 2008 | CARDIS | The Trusted Execution Module: Commodity General-Purpose Trusted Computing. | Victor Costan, Luis F. G. Sarmenta, Marten van Dijk, Srinivas Devadas |
| 2008 | ICCAD | Diastolic arrays: throughput-driven reconfigurable computing. | Myong Hyon Cho, Chih-Chi Cheng, Michel A. Kinsy, G. Edward Suh, Srinivas Devadas |
| 2008 | SAC | Offline count-limited certificates. | Luis F. G. Sarmenta, Marten van Dijk, Jonathan Rhodes, Srinivas Devadas |
| 2007 | CCS | Offline untrusted storage with immediate detection of forking and replay attacks. | Marten van Dijk, Jonathan Rhodes, Luis F. G. Sarmenta, Srinivas Devadas |
| 2007 | DAC | Physical Unclonable Functions for Device Authentication and Secret Key Generation. | G. Edward Suh, Srinivas Devadas |
| 2006 | CCS | Virtual monotonic counters and count-limited objects using a TPM without a trusted OS. | Luis F. G. Sarmenta, Marten van Dijk, Charles W. O'Donnell, Jonathan Rhodes, Srinivas Devadas |
| 2005 | ISCA | Design and Implementation of the AEGIS Single-Chip Secure Processor Using Physical Random Functions. | G. Edward Suh, Charles W. O'Donnell, Ishan Sachdev, Srinivas Devadas |
| 2005 | SP | Towards Constant Bandwidth Overhead Integrity Checking of Untrusted Data. | Dwaine E. Clarke, G. Edward Suh, Blaise Gassend, Ajay Sudan, Marten van Dijk, Srinivas Devadas |
| 2004 | ASPLOS | Secure program execution via dynamic information flow tracking. | G. Edward Suh, Jae W. Lee, David Zhang, Srinivas Devadas |
| 2004 | INFOCOM | Rate Guarantees and Overload Protection in Input-Queued Switches. | Hari Balakrishnan, Srinivas Devadas, Douglas Ehlert, Arvind |
| 2003 | ASIACRYPT | Incremental Multiset Hash Functions and Their Application to Memory Integrity Checking. | Dwaine E. Clarke, Srinivas Devadas, Marten van Dijk, Blaise Gassend, G. Edward Suh |
| 2003 | DAC | Embedded intelligent SRAM. | Prabhat Jain, G. Edward Suh, Srinivas Devadas |
| 2003 | HPCA | Caches and Hash Trees for Efficient Memory Integrity Verification. | Blaise Gassend, G. Edward Suh, Dwaine E. Clarke, Marten van Dijk, Srinivas Devadas |
| 2003 | ICS | AEGIS: architecture for tamper-evident and tamper-resistant processing. | G. Edward Suh, Dwaine E. Clarke, Blaise Gassend, Marten van Dijk, Srinivas Devadas |
| 2003 | MICRO | Efficient Memory Integrity Verification and Encryption for Secure Processors. | G. Edward Suh, Dwaine E. Clarke, Blaise Gassend, Marten van Dijk, Srinivas Devadas |
| 2003 | SAC | Delay-Based Circuit Authentication and Applications. | Blaise Gassend, Dwaine E. Clarke, Marten van Dijk, Srinivas Devadas |
| 2003 | SAC | Access-Controlled Resource Discovery for Pervasive Networks. | Sanjay Raman, Dwaine E. Clarke, Matt Burnside, Srinivas Devadas, Ronald L. Rivest |
| 2002 | ACSAC | Controlled Physical Random Functions. | Blaise Gassend, Dwaine E. Clarke, Marten van Dijk, Srinivas Devadas |
| 2002 | CCS | Silicon physical random functions. | Blaise Gassend, Dwaine E. Clarke, Marten van Dijk, Srinivas Devadas |
| 2002 | HPCA | A New Memory Monitoring Scheme for Memory-Aware Scheduling and Partitioning. | G. Edward Suh, Srinivas Devadas, Larry Rudolph |
| 2002 | SAC | Proxy-based security protocols in networked mobile devices. | Matt Burnside, Dwaine E. Clarke, Todd Mills, Andrew Maywah, Srinivas Devadas, Ronald L. Rivest |
| 2001 | ICCAD | Software-Assisted Cache Replacement Mechanisms for Embedded Systems. | Prabhat Jain, Srinivas Devadas, Daniel W. Engels, Larry Rudolph |
| 2001 | ICS | Analytical cache models with applications to cache partitioning. | G. Edward Suh, Srinivas Devadas, Larry Rudolph |
| 2001 | JSSPP | Effects of Memory Performance on Parallel Job Scheduling. | G. Edward Suh, Larry Rudolph, Srinivas Devadas |
| 2000 | DAC | Application-specific memory management for embedded systems using software-controlled caches. | Derek Chiou, Prabhat Jain, Larry Rudolph, Srinivas Devadas |
| 2000 | ICCAD | Observability Analysis of Embedded Software for Coverage-Directed Validation. | Jos C. Costa, Srinivas Devadas, Jos Monteiro |
| 1999 | DAC | Simulation Vector Generation from HDL Descriptions for Observability-Enhanced Statement Coverage. | Farzan Fallah, Pranav Ashar, Srinivas Devadas |
| 1999 | DAC | A Methodology for Accurate Performance Evaluation in Architecture Exploration. | George Hadjiyiannis, Pietro Russo, Srinivas Devadas |
| 1999 | VLSID | CAD Techniques for Embedded System Design. | Srinivas Devadas, Sharad Malik, Jos Monteiro, Luciano Lavagno |
| 1998 | DAC | Functional Vector Generation for HDL Models Using Linear Programming and 3-Satisfiability. | Farzan Fallah, Srinivas Devadas, Kurt Keutzer |
| 1998 | DAC | OCCOM: Efficient Computation of Observability-Based Code Coverage Metrics for Functional Verification. | Farzan Fallah, Srinivas Devadas, Kurt Keutzer |
| 1998 | DAC | Instruction Selection, Resource Allocation, and Scheduling in the AVIV Retargetable Code Generator. | Silvina Hanono, Srinivas Devadas |
| 1998 | ITC | An algorithmic approach to optimizing fault coverage for BIST logic synthesis. | Srinivas Devadas, Kurt Keutzer |
| 1997 | DAC | ISDL: An Instruction Set Description Language for Retargetability. | George Hadjiyiannis, Silvina Hanono, Srinivas Devadas |
| 1997 | DAC | Solving Covering Problems Using LPR-Based Lower Bounds. | Stan Y. Liao, Srinivas Devadas |
| 1997 | DAC | Analysis and Evaluation of Address Arithmetic Capabilities in Custom DSP Architectures. | Ashok Sudarsanam, Stan Y. Liao, Srinivas Devadas |
| 1997 | ISLPED | Switching activity estimation using limited depth reconvergent path analysis. | Jos C. Costa, Jos C. Monteiro, Srinivas Devadas |
| 1996 | DAC | Scheduling Techniques to Enable Power Management. | Jos Monteiro, Srinivas Devadas, Pranav Ashar, Ashutosh Mauskar |
| 1996 | ICCAD | An observability-based code coverage metric for functional simulation. | Srinivas Devadas, Abhijit Ghosh, Kurt Keutzer |
| 1995 | DAC | A Survey of Optimization Techniques Targeting Low Power VLSI Circuits. | Srinivas Devadas, Sharad Malik |
| 1995 | DAC | Code Optimization Techniques for Embedded DSP Microprocessors. | Stan Y. Liao, Srinivas Devadas, Kurt Keutzer, Steven W. K. Tjiang, Albert R. Wang |
| 1995 | ICCAD | Instruction selection using binate covering for code size optimization. | Stan Y. Liao, Srinivas Devadas, Kurt Keutzer, Steven W. K. Tjiang |
| 1995 | ISLPED | Techniques for the power estimation of sequential logic circuits under user-specified input sequences and programs. | Jos Monteiro, Srinivas Devadas |
| 1995 | PLDI | Storage Assignment to Decrease Code Size. | Stan Y. Liao, Srinivas Devadas, Kurt Keutzer, Steven W. K. Tjiang, Albert R. Wang |
| 1994 | DAC | Automatic Verification of Pipelined Microprocessors. | Vishal Bhagwati, Srinivas Devadas |
| 1994 | DAC | A Methodology for Efficient Estimation of Switching Activity in Sequential Logic Circuits. | Jos Monteiro, Srinivas Devadas, Bill Lin |
| 1994 | ICCAD | Precomputation-based sequential logic optimization for low power. | Mazhar Alidina, Jos Monteiro, Srinivas Devadas, Abhijit Ghosh, Marios C. Papaefthymiou |
| 1994 | ICCAD | Synthesis of hazard-free multi-level logic under multiple-input changes from binary decision diagrams. | Bill Lin, Srinivas Devadas |
| 1994 | ICCAD | Performance-driven synthesis of asynchronous controllers. | Kenneth Y. Yun, Bill Lin, David L. Dill, Srinivas Devadas |
| 1994 | VLSID | Bitwise Encoding of Finite State Machines. | Jos Monteiro, James H. Kukula, Srinivas Devadas, Horcio C. Neto |
| 1993 | ICCAD | Boolean factorization using multiple-valued minimization. | Stan Y. Liao, Srinivas Devadas, Abhijit Ghosh |
| 1993 | ICCAD | Retiming sequential circuits for low power. | Jos Monteiro, Srinivas Devadas, Abhijit Ghosh |
| 1993 | ICCAD | Probabilistic construction and manipulation of free Boolean diagrams. | Amelia Shen, Srinivas Devadas, Abhijit Ghosh |
| 1992 | DAC | Certified Timing Verification and the Transition Delay of a Logic Circuit. | Srinivas Devadas, Kurt Keutzer, Sharad Malik, Albert R. Wang |
| 1992 | DAC | Estimation of Average Switching Activity in Combinational and Sequential Circuits. | Abhijit Ghosh, Srinivas Devadas, Kurt Keutzer, Jacob K. White |
| 1992 | ICCAD | Automatic generation and verification of sufficient correctness properties for synchronous processors. | Filip Van Aelten, Stan Y. Liao, Jonathan Allen, Srinivas Devadas |
| 1992 | ICCAD | Verification of asynchronous interface circuits with bounded wire delays. | Srinivas Devadas, Kurt Keutzer, Sharad Malik, Albert R. Wang |
| 1992 | ICCAD | On average power dissipation and random pattern testability of CMOS combinational logic networks. | Amelia Shen, Abhijit Ghosh, Srinivas Devadas, Kurt Keutzer |
| 1992 | ICCD | Statistical Timing Analysis of Combinational Circuits. | Srinivas Devadas, Horng-Fei Jyu, Kurt Keutzer, Sharad Malik |
| 1991 | DAC | Robust Delay-Fault Test Generation and Synthesis for Testability Under A Standard Scan Design Methodology. | Kwang-Ting Cheng, Srinivas Devadas, Kurt Keutzer |
| 1991 | DAC | A Synthesis-Based Test Generation and Compaction Algorithm for Multifaults. | Srinivas Devadas, Kurt Keutzer, Sharad Malik |
| 1991 | ICCAD | Verification of Relations Between Synchronous Machines. | Filip Van Aelten, Jonathan Allen, Srinivas Devadas |
| 1991 | ICCAD | Delay Computation in Combinational Logic Circuits: Theory and Algorithms. | Srinivas Devadas, Kurt Keutzer, Sharad Malik |
| 1991 | ICCAD | Finite State Machine Decomposition by Transition Pairing. | James H. Kukula, Srinivas Devadas |
| 1991 | ICCD | Boolean Satisfiability and Equivalence Checking Using General Binary Decision Diagrams. | Pranav Ashar, Abhijit Ghosh, Srinivas Devadas |
| 1991 | ICCD | Design Verfication and Reachability Analysis Using Algebraic Manipulation. | Srinivas Devadas, Kurt Keutzer, A. S. Krishnakumar |
| 1991 | ITC | Gate-Delay-Fault Testability Properties of Multiplexor-Based Networks. | Pranav Ashar, Srinivas Devadas, Kurt Keutzer |
| 1991 | ITC | A Partial Enhanced-Scan Approach to Robust Delay-Fault Test Generation for Sequential Circuits. | Kwang-Ting Cheng, Srinivas Devadas, Kurt Keutzer |
| 1991 | VTS | Recent progress in synthesis for testability. | Srinivas Devadas, Kurt Keutzer, Abhijit Ghosh |
| 1990 | DAC | A Unified Approach to the Decomposition and Re-Decomposition of Sequential Machines. | Pranav Ashar, Srinivas Devadas, A. Richard Newton |
| 1990 | DAC | Synthesis and Optimization Procedures for Robustly Delay-Fault Testable Combinational Logic Circuits. | Srinivas Devadas, Kurt Keutzer |
| 1990 | DAC | Verification of Interacting Sequential Circuits. | Abhijit Ghosh, Srinivas Devadas, A. Richard Newton |
| 1990 | DAC | Sequential Test Generation at the Register-Transfer and Logic Levels. | Abhijit Ghosh, Srinivas Devadas, A. Richard Newton |
| 1990 | ICCAD | Implicit State Transition Graphs: Applications to Sequential Logic Synthesis and Test. | Pranav Ashar, Abhijit Ghosh, Srinivas Devadas, A. Richard Newton |
| 1990 | ICCAD | Testability-Preserving Circuit Transformations. | Michael J. Bryan, Srinivas Devadas, Kurt Keutzer |
| 1990 | ICCAD | An Automata-Theoretic Approach to Behavioral Equivalence. | Srinivas Devadas, Kurt Keutzer |
| 1990 | ICCD | Testability driven synthesis of interacting finite state machines. | Pranav Ashar, Srinivas Devadas, A. Richard Newton |
| 1990 | ICCD | Heuristic minimization of Boolean relations using testing techniques. | Abhijit Ghosh, Srinivas Devadas, A. Richard Newton |
| 1990 | ITC | Design of integrated circuits fully testable for delay-faults and multifaults. | Srinivas Devadas, Kurt Keutzer |
| 1990 | ITC | Sequential logic synthesis for testability using register-transfer level descriptions. | Abhijit Ghosh, Srinivas Devadas, A. Richard Newton |
| 1989 | DAC | Approaches to Multi-level Sequential Logic Synthesis. | Srinivas Devadas |
| 1989 | DAC | General Decomposition of Sequential Machines: Relationships to State Assignment. | Srinivas Devadas |
| 1989 | ICCAD | Optimum and heuristic algorithms for finite state machine decomposition and partitioning. | Pranav Ashar, Srinivas Devadas, A. Richard Newton |
| 1989 | ICCAD | Optimal layout via Boolean satisfiability. | Srinivas Devadas |
| 1989 | ICCAD | Boolean minimization and algebraic factorization procedures for fully testable sequential machines. | Srinivas Devadas, Kurt Keutzer |
| 1989 | ICCAD | Test generation for highly sequential circuits. | Abhijit Ghosh, Srinivas Devadas, A. Richard Newton |
| 1989 | ITC | Delay Test Generation for Synchronous Sequential Circuits. | Srinivas Devadas |
| 1989 | ITC | Redundancies and Don't Cares in Sequential Logic Synthesis. | Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton |
| 1988 | ICCAD | Decomposition and factorization of sequential finite state machines. | Srinivas Devadas, A. Richard Newton |
| 1988 | ICCAD | Boolean decomposition in multi-level logic optimization. | Srinivas Devadas, Albert R. Wang, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli |
| 1988 | ITC | Synthesis and Optimization Procedures for Fully and Easily Testable Sequential Machines. | Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli |
| 1988 | ITC | An Incomplete Scan Design Approach to Test Generation for Sequential Machines. | Hi-Keung Tony Ma, A. Richard Newton, Srinivas Devadas, Alberto L. Sangiovanni-Vincentelli |
| 1987 | DAC | On the Verification of Sequential Machines at Differing Levels of Abstraction. | Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton |
| 1987 | DAC | Logic Verification Algorithms and Their Parallel Implementation. | Hi-Keung Tony Ma, Srinivas Devadas, Alberto L. Sangiovanni-Vincentelli, Ruey-Sing Wei |
| 1986 | DAC | Chameleon: a new multi-layer channel router. | Douglas Braun, Jeffrey L. Burns, Srinivas Devadas, Hi-Keung Tony Ma, Kartikeya Mayaram, Fabio Romeo, Alberto L. Sangiovanni-Vincentelli |
| 1986 | DAC | GENIE: a generalized array optimizer for VLSI synthesis. | Srinivas Devadas, A. Richard Newton |