Timothy Sherwood
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
88
Venues
27
Active years
1998–2025
Best venue rank
A*
Where they publish
- A*ISCA16 papers
- A*ASPLOS14 papers
- Journal PublishedCASES8 papers
- A*MICRO6 papers
- A*DAC6 papers
- A*PLDI5 papers
- NationalVLSID3 papers
- CICCD3 papers
- BISPASS3 papers
- A*HPCA3 papers
- AUSENIX2 papers
- AICCAD2 papers
- ACGO2 papers
- A*CHI2 papers
- AFPGA1 paper
- ABMVC1 paper
- NationalWCAE1 paper
- BATVA1 paper
- BFPL1 paper
- ADATE1 paper
- AACSAC1 paper
- A*SP1 paper
- AESORICS1 paper
- A*INFOCOM1 paper
- A*SIGMETRICS1 paper
- BEuroPar1 paper
- AICS1 paper
Papers
88 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ISCA | Single Spike Artificial Neural Networks. | Rhys Gretsch, Michael Beyeler, Jeremy Lau, Timothy Sherwood |
| 2024 | ASPLOS | Energy Efficient Convolutions with Temporal Arithmetic. | Rhys Gretsch, Peiyang Song, Advait Madhavan, Jeremy Lau, Timothy Sherwood |
| 2024 | ASPLOS | Control Logic Synthesis: Drawing the Rest of the OWL. | Zachary D. Sisco, Andrew David Alex, Zechen Ma, Yeganeh Aghamohammadi, Boming Kong, Benjamin Darnell, Timothy Sherwood, Ben Hardekopf, Jonathan Balkind |
| 2024 | FPGA | Security, Synapses, Sustainability, and Superconducting: A Look at Possible Futures for the FPGA. | Timothy Sherwood |
| 2023 | ASPLOS | A Prediction System Service. | Zhizhou Zhang, Alvin Oliver Glova, Timothy Sherwood, Jonathan Balkind |
| 2022 | PLDI | PyLSE: a pulse-transfer level language for superconductor electronics. | Michael Christensen, Georgios Tzimpragos, Harlan Kringen, Jennifer Volk, Timothy Sherwood, Ben Hardekopf |
| 2022 | USENIX | CRISP: Critical Path Analysis of Large-Scale Microservice Architectures. | Zhizhou Zhang, Murali Krishna Ramanathan, Prithvi Raj, Abhishek Parwal, Timothy Sherwood, Milind Chabbi |
| 2021 | BMVC | Mitigating Reverse Engineering Attacks on Local Feature Descriptors. | Deeksha Dangwal, Vincent T. Lee, Hyo Jin Kim, Tianwei Shen, Meghan Cowan, Rajvi Shah, Caroline Trippel, Brandon Reagen, Timothy Sherwood, Vasileios Balntas, Armin Alaghi, Eddy Ilg |
| 2021 | ISCA | Superconducting Computing with Alternating Logic Elements. | Georgios Tzimpragos, Jennifer Volk, Alex Wynn, James E. Smith, Timothy Sherwood |
| 2021 | PLDI | Wire sorts: a language abstraction for safe hardware composition. | Michael Christensen, Timothy Sherwood, Jonathan Balkind, Ben Hardekopf |
| 2021 | USENIX | Optimistic Concurrency Control for Real-world Go Programs. | Zhizhou Zhang, Milind Chabbi, Adam Welc, Timothy Sherwood |
| 2020 | ASPLOS | DeepSniffer: A DNN Model Extraction Framework Based on Learning Architectural Hints. | Xing Hu, Ling Liang, Shuangchen Li, Lei Deng, Pengfei Zuo, Yu Ji, Xinfeng Xie, Yufei Ding, Chang Liu, Timothy Sherwood, Yuan Xie |
| 2020 | ASPLOS | A Computational Temporal Logic for Superconducting Accelerators. | Georgios Tzimpragos, Dilip Vasudevan, Nestan Tsiskaridze, George Michelogiannakis, Advait Madhavan, Jennifer Volk, John Shalf, Timothy Sherwood |
| 2019 | ASPLOS | Safer Program Behavior Sharing Through Trace Wringing. | Deeksha Dangwal, Weilong Cui, Joseph McMahan, Timothy Sherwood |
| 2019 | ASPLOS | Boosted Race Trees for Low Energy Classification. | Georgios Tzimpragos, Advait Madhavan, Dilip Vasudevan, Dmitri B. Strukov, Timothy Sherwood |
| 2019 | ASPLOS | Protecting Page Tables from RowHammer Attacks using Monotonic Pointers in DRAM True-Cells. | Xin-Chuan Wu, Timothy Sherwood, Frederic T. Chong, Yanjing Li |
| 2019 | ICCAD | Efficient Uncertainty Modeling for System Design via Mixed Integer Programming. | Zichang He, Weilong Cui, Chunfeng Cui, Timothy Sherwood, Zheng Zhang |
| 2019 | ISCA | Bouncer: static program analysis in hardware. | Joseph McMahan, Michael Christensen, Kyle Dewey, Ben Hardekopf, Timothy Sherwood |
| 2019 | WCAE | PyRTL in Early Undergraduate Research. | Diba Mirza, Deeksha Dangwal, Timothy Sherwood |
| 2018 | ATVA | Information Leakage in Arbiter Protocols. | Nestan Tsiskaridze, Lucas Bang, Joseph McMahan, Tevfik Bultan, Timothy Sherwood |
| 2018 | ISCA | Hiding Intermittent Information Leakage with Architectural Support for Blinking. | Alric Althoff, Joseph McMahan, Luis Vega, Scott Davidson, Timothy Sherwood, Michael B. Taylor, Ryan Kastner |
| 2018 | ISCA | Charm: A Language for Closed-Form High-Level Architecture Modeling. | Weilong Cui, Yongshan Ding, Deeksha Dangwal, Adam Holmes, Joseph McMahan, Ali Javadi-Abhari, Georgios Tzimpragos, Frederic T. Chong, Timothy Sherwood |
| 2017 | ASPLOS | An Architecture Supporting Formal and Compositional Binary Analysis. | Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, Timothy Sherwood |
| 2017 | FPL | A pythonic approach for rapid hardware prototyping and instrumentation. | John Clow, Georgios Tzimpragos, Deeksha Dangwal, Sammy Guo, Joseph McMahan, Timothy Sherwood |
| 2017 | MICRO | Estimating and understanding architectural risk. | Weilong Cui, Timothy Sherwood |
| 2016 | DAC | Energy efficient computation with asynchronous races. | Advait Madhavan, Timothy Sherwood, Dmitri B. Strukov |
| 2015 | ICCAD | Quantifying Timing-Based Information Flow in Cryptographic Hardware. | Baolei Mao, Wei Hu, Alric Althoff, Janarbek Matai, Jason Oberg, Dejun Mu, Timothy Sherwood, Ryan Kastner |
| 2014 | ASPLOS | Sapper: a language for hardware-level security policy enforcement. | Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong |
| 2014 | ISCA | Race Logic: A hardware acceleration for dynamic programming algorithms. | Advait Madhavan, Timothy Sherwood, Dmitri B. Strukov |
| 2013 | DATE | A practical testing framework for isolating hardware timing channels. | Jason Oberg, Sarah Meiklejohn, Timothy Sherwood, Ryan Kastner |
| 2013 | ISCA | SurfNoC: a low latency and provably non-interfering approach to secure networks-on-chip. | Hassan M. G. Wassel, Ying Gao, Jason Oberg, Ted Huffmire, Ryan Kastner, Frederic T. Chong, Timothy Sherwood |
| 2013 | PLDI | Position paper: Sapper - a language for provable hardware policy enforcement. | Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong |
| 2012 | ISCA | Inspection resistant memory: Architectural support for security from physical examination. | Jonathan Valamehr, Melissa Chase, Seny Kamara, Andrew Putnam, Daniel Shumow, Vinod Vaikuntanathan, Timothy Sherwood |
| 2011 | DAC | Information flow isolation in I2C and USB. | Jason Oberg, Wei Hu, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Ryan Kastner |
| 2011 | ISCA | Fighting fire with fire: modeling the datacenter-scale effects of targeted superlattice thermal management. | Susmit Biswas, Mohit Tiwari, Timothy Sherwood, Luke Theogarajan, Frederic T. Chong |
| 2011 | ISCA | Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security. | Mohit Tiwari, Jason Oberg, Xun Li, Jonathan Valamehr, Timothy E. Levin, Ben Hardekopf, Ryan Kastner, Frederic T. Chong, Timothy Sherwood |
| 2011 | MICRO | Preventing PCM banks from seizing too much power. | Andrew W. Hay, Karin Strauss, Timothy Sherwood, Gabriel H. Loh, Doug Burger |
| 2011 | PLDI | Caisson: a hardware description language for secure information flow. | Xun Li, Mohit Tiwari, Jason Oberg, Vineeth Kashyap, Frederic T. Chong, Timothy Sherwood, Ben Hardekopf |
| 2010 | ACSAC | Hardware assistance for trustworthy systems through 3-D integration. | Jonathan Valamehr, Mohit Tiwari, Timothy Sherwood, Ryan Kastner, Ted Huffmire, Cynthia E. Irvine, Timothy E. Levin |
| 2010 | CASES | Hardware trust implications of 3-D integration. | Ted Huffmire, Timothy E. Levin, Michael Bilzor, Cynthia E. Irvine, Jonathan Valamehr, Mohit Tiwari, Timothy Sherwood, Ryan Kastner |
| 2010 | DAC | Theoretical analysis of gate level information flow tracking. | Jason Oberg, Wei Hu, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Ryan Kastner |
| 2010 | PLDI | Secure information flow analysis for hardware design: using the right abstraction for the job. | Xun Li, Mohit Tiwari, Ben Hardekopf, Timothy Sherwood, Frederic T. Chong |
| 2009 | ASPLOS | Complete information flow tracking from the gates up. | Mohit Tiwari, Hassan M. G. Wassel, Bita Mazloom, Shashidhar Mysore, Frederic T. Chong, Timothy Sherwood |
| 2009 | ISCA | Multi-execution: multicore caching for data-similar executions. | Susmit Biswas, Diana Franklin, Alan Savage, Ryan Dixon, Timothy Sherwood, Frederic T. Chong |
| 2009 | MICRO | Execution leases: a hardware-supported mechanism for enforcing strong non-interference. | Mohit Tiwari, Xun Li, Hassan M. G. Wassel, Frederic T. Chong, Timothy Sherwood |
| 2009 | VLSID | Metric Based Multi-Timescale Control for Reducing Power in Embedded Systems. | Nitin Kataria, Forrest Brewer, Joo Pedro Hespanha, Timothy Sherwood |
| 2008 | ASPLOS | Understanding and visualizing full systems with data flow tomography. | Shashidhar Mysore, Bita Mazloom, Banit Agrawal, Timothy Sherwood |
| 2008 | MICRO | A small cache of large ranges: Hardware methods for efficiently searching, storing, and updating big dataflow tags. | Mohit Tiwari, Banit Agrawal, Shashidhar Mysore, Jonathan Valamehr, Timothy Sherwood |
| 2008 | VLSID | Addressing the Challenges of Synchronization/Communication and Debugging Support in Hardware/Software Cosimulation. | Banit Agrawal, Timothy Sherwood, Chulho Shin, Simon Yoon |
| 2008 | VLSID | Exploring the Processor and ISA Design for Wireless Sensor Network Applications. | Shashidhar Mysore, Banit Agrawal, Frederic T. Chong, Timothy Sherwood |
| 2007 | CASES | Towards understanding architectural tradeoffs in MEMS closed-loop feedback control. | Greg Hoover, Forrest Brewer, Timothy Sherwood |
| 2007 | SP | Moats and Drawbridges: An Isolation Primitive for Reconfigurable Hardware Based Systems. | Ted Huffmire, Brett Brotherton, Gang Wang, Timothy Sherwood, Ryan Kastner, Timothy E. Levin, Thuy D. Nguyen, Cynthia E. Irvine |
| 2006 | ASPLOS | Introspective 3D chips. | Shashidhar Mysore, Banit Agrawal, Navin Srivastava, Sheng-Chih Lin, Kaustav Banerjee, Timothy Sherwood |
| 2006 | CASES | Extensible control architectures. | Greg Hoover, Forrest Brewer, Timothy Sherwood |
| 2006 | CASES | A case study of multi-threading in the embedded space. | Greg Hoover, Forrest Brewer, Timothy Sherwood |
| 2006 | CASES | Improving the performance and power efficiency of shared helpers in CMPs. | Anahita Shayesteh, Glenn Reinman, Norman P. Jouppi, Timothy Sherwood, Suleyman Sair |
| 2006 | CGO | Profiling over Adaptive Ranges. | Shashidhar Mysore, Banit Agrawal, Timothy Sherwood, Nisheeth Shrivastava, Subhash Suri |
| 2006 | DAC | A thermally-aware performance analysis of vertically integrated (3-D) processor-memory hierarchy. | Gian Luca Loi, Banit Agrawal, Navin Srivastava, Sheng-Chih Lin, Timothy Sherwood, Kaustav Banerjee |
| 2006 | DAC | Leakage power reduction of embedded memories on FPGAs through location assignment. | Yan Meng, Timothy Sherwood, Ryan Kastner |
| 2006 | ESORICS | Policy-Driven Memory Protection for Reconfigurable Hardware. | Ted Huffmire, Shreyas Prasad, Timothy Sherwood, Ryan Kastner |
| 2006 | ICCD | Guiding Architectural SRAM Models. | Banit Agrawal, Timothy Sherwood |
| 2006 | ISPASS | Modeling TCAM power for next generation network devices. | Banit Agrawal, Timothy Sherwood |
| 2006 | MICRO | Virtually Pipelined Network Memory. | Banit Agrawal, Timothy Sherwood |
| 2005 | CGO | Phase-Aware Remote Profiling. | Priya Nagpurkar, Chandra Krintz, Timothy Sherwood |
| 2005 | CHI | Project VIRGO: creation of a surrogate companion for the elderly. | Timothy Sherwood, Farilee Mintz, Miroslava Vomela |
| 2005 | DAC | MP core: algorithm and design techniques for efficient channel estimation in wireless applications. | Yan Meng, Andrew P. Brown, Ronald A. Iltis, Timothy Sherwood, Hua Lee, Ryan Kastner |
| 2005 | HPCA | On the Limits of Leakage Power Reduction in Caches. | Yan Meng, Timothy Sherwood, Ryan Kastner |
| 2005 | ICCD | Reducing the Latency and Area Cost of Core Swapping through Shared Helper Engines. | Anahita Shayesteh, Eren Kursun, Timothy Sherwood, Suleyman Sair, Glenn Reinman |
| 2005 | ISCA | A High Throughput String Matching Architecture for Intrusion Detection and Prevention. | Lin Tan, Timothy Sherwood |
| 2005 | ISPASS | Motivation for Variable Length Intervals and Hierarchical Phase Behavior. | Jeremy Lau, Erez Perelman, Greg Hamerly, Timothy Sherwood, Brad Calder |
| 2004 | CASES | Balancing design options with Sherpa. | Timothy Sherwood, Mark Oskin, Brad Calder |
| 2004 | CHI | Development of an Olympic audience judging system. | Mathew Mason, Timothy Sherwood, Mohammad Rahman, Miroslava Vomela |
| 2004 | INFOCOM | Deterministic Memory-Efficient String Matching Algorithms for Intrusion Detection. | Nathan Tuck, Timothy Sherwood, Brad Calder, George Varghese |
| 2004 | ISPASS | A co-phase matrix to guide simultaneous multithreading simulation. | Michael Van Biesbrouck, Timothy Sherwood, Brad Calder |
| 2003 | CASES | Reducing code size with echo instructions. | Jeremy Lau, Stefan Schoenmackers, Timothy Sherwood, Brad Calder |
| 2003 | HPCA | Catching Accurate Profiles in Hardwar. | Satish Narayanasamy, Timothy Sherwood, Suleyman Sair, Brad Calder, George Varghese |
| 2003 | ISCA | Phase Tracking and Prediction. | Timothy Sherwood, Suleyman Sair, Brad Calder |
| 2003 | ISCA | A Pipelined Memory Architecture for High Throughput Network Processors. | Timothy Sherwood, George Varghese, Brad Calder |
| 2003 | SIGMETRICS | Using SimPoint for accurate and efficient simulation. | Erez Perelman, Greg Hamerly, Michael Van Biesbrouck, Timothy Sherwood, Brad Calder |
| 2002 | ASPLOS | Automatically characterizing large scale program behavior. | Timothy Sherwood, Erez Perelman, Greg Hamerly, Brad Calder |
| 2002 | HPCA | Quantifying Load Stream Behavior. | Suleyman Sair, Timothy Sherwood, Brad Calder |
| 2001 | CASES | Patchable instruction ROM architecture. | Timothy Sherwood, Brad Calder |
| 2001 | ISCA | Automated design of finite state machine predictors for customized processors. | Timothy Sherwood, Brad Calder |
| 2000 | EuroPar | ToolBlocks: An Infrastructure for the Construction of Memory Hierarchy Analysis Tools (Research Note). | Timothy Sherwood, Brad Calder |
| 2000 | MICRO | Predictor-directed stream buffers. | Timothy Sherwood, Suleyman Sair, Brad Calder |
| 1999 | ICCD | ActiveOS: Virtualizing Intelligent Memory. | Mark Oskin, Frederic T. Chong, Timothy Sherwood |
| 1999 | ICS | Reducing cache misses using hardware and software page placement. | Timothy Sherwood, Brad Calder, Joel S. Emer |
| 1998 | ISCA | Active Pages: A Computation Model for Intelligent Memory. | Mark Oskin, Frederic T. Chong, Timothy Sherwood |