Publications by Prof. Timothy Sherwood and collaborators.

Conference and Journal Papers

• Citrus: Algebraic Reasoning About Superconductor Electronics. Harlan Kringen, Timothy Sherwood, Ben Hardekopf. Proceedings of the ACM on Programming Languages (ICFP), September 2026.
• Metallic Toxicity as a Consideration for Future Computing Paradigms. Pranjali Jain, Timothy Sherwood, Jonathan Balkind. npj Unconventional Computing, June 2026.
• Empowering E-Waste Recycling with Intelligent PCB Component Detection. Pranjali Jain, Madison Long, Claire Pemberton, Ivan Hernandez, Mariana Rosillo, Samantha West, Jonathan Balkind, Timothy Sherwood. ACM SIGCAS/SIGCHI Conference on Computing and Sustainable Societies (COMPASS), July 2025.
• Delay-Space Arithmetic and Architecture. Rhys Gretsch, Peiyang Song, Advait Madhavan, Jeremy Lau, Timothy Sherwood. IEEE Micro: Micro's Top Picks from Computer Architecture Conferences, July 2025. (IEEE Micro Top Pick)
• Single Spike Artificial Neural Networks. Rhys Gretsch, Michael Beyeler, Jeremy Lau, Timothy Sherwood. Annual International Symposium on Computer Architecture (ISCA), June 2025.
• Superconnectors: A Latency Insensitive Approach to SFQ Design. Rhys Gretsch, Timothy Sherwood. IEEE International Conference on Rebooting Computing (ICRC), December 2024.
• 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. International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), April 2024.
• Energy Efficient Convolutions with Temporal Arithmetic. Rhys Gretsch, Peiyang Song, Advait Madhavan, Jeremy Lau, Timothy Sherwood. International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), April 2024.
• Loop Rerolling for Hardware Decompilation. Zachary D Sisco, Jonathan Balkind, Timothy Sherwood, Ben Hardekopf. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), June 2023.
• Low-Cost Superconducting Fan-Out with Cell Ic Ranking. Jennifer Volk, Georgios Tzimpragos, Alex Wynn, Evan Golden, Timothy Sherwood. IEEE Transactions on Applied Superconductivity (TAS), March 2023.
• A Prediction System Service. Zhizhou Zhang, Alvin Glova, Timothy Sherwood, Jonathan Balkind. International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), March 2023.
• Addressable superconductor integrated circuit memory from delay lines. Jennifer Volk, Alex Wynn, Evan Golden, Timothy Sherwood, Georgios Tzimpragos. Scientific Reports, 2023.
• A systematic view of model leakage risks in deep neural network systems. Xing Hu, Ling Liang, Xiaobing Chen, Lei Deng, Yu Ji, Yufei Ding, Zidong Du, Qi Guo, Timothy Sherwood, Yuan Xie. IEEE Transactions on Computers, December 2022.
• Establishing Cooperative Computation with Hardware Embassies. Alvin Oliver Glova, Yukai Yang, Yiyao Wan, Zhizhou Zhang, George Michelogiannakis, Jonathan Balkind, Timothy Sherwood. IEEE International Symposium on Secure and Private Execution Environment Design (SEED), September 2022.
• CRISP: Critical Path Analysis of Large-scale Microservice Architectures. Zhizhou Zhang, Milind Chabbi, Murali Krishna Ramanathan, Prithvi Raj, Abhishek Parwal, Timothy Sherwood. USENIX Annual Technical Conference (USENIX ATC), July 2022.
• PyLSE: A Pulse-Transfer Level Language for Superconductor Electronics. Michael Christensen, Georgios Tzimpragos, Harlan Kringen, Jennifer Volk, Timothy Sherwood, Ben Hardekopf. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), June 2022.
• 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. The 32nd British Machine Vision Conference (BMVC), November 2021.
• Context-Aware Privacy-Optimizing Address Tracing. Deeksha Dangwal, Zhizhou Zhang, Jedidiah R Crandall, Timothy Sherwood. International Symposium on Secure and Private Execution Environment Design (SEED), September 2021.
• Optimistic Concurrency Control for Real-world Go Programs. Zhizhou Zhang, Milind Chabbi, Adam Welc, Timothy Sherwood. USENIX Annual Technical Conference (USENIX ATC), July 2021.
• Wire Sorts: A Language Abstraction for Safe Hardware Composition. Michael Christensen, Timothy Sherwood, Jonathan Balkind, Ben Hardekopf. International Conference on Programming Language Design and Implementation (PLDI), June 2021.
• Superconducting computing with alternating logic elements. Georgios Tzimpragos, Jennifer Volk, Alex Wynn, James E Smith, Timothy Sherwood. International Symposium on Computer Architecture (ISCA), June 2021.
• In-sensor classification with boosted race trees. Georgios Tzimpragos, Advait Madhavan, Dilip Vasudevan, Dmitri Strukov, Timothy Sherwood. Communications of the ACM (CACM), May 2021. (CACM Research Highlight)
• Temporal Computing with Superconductors. Georgios Tzimpragos, Jennifer Volk, Dilip Vasudevan, Nestan Tsiskaridze, George Michelogiannakis, Advait Madhavan, John Shalf, Timothy Sherwood. IEEE Micro: Micro's Top Picks from Computer Architecture Conferences, May 2021. (IEEE Micro Top Pick)
• Safe functional systems through integrity types and verified assembly. Michael Christensen, Joseph McMahan, Lawton Nichols, Jared Roesch, Sung-Yee Gu, Timothy Sherwood, Ben Hardekopf. Theoretical Computer Science, January 2021.
• Index Obfuscation for Oblivious Document Retrieval in a Trusted Execution Environment. Jinjin Shao, Shiyu Ji, Alvin Oliver Glova, Yifan Qiao, Tao Yang, Timothy Sherwood. 29th ACM International Conference on Information and Knowledge Management (CIKM), October 2020.
• Agile Hardware Development and Instrumentation With PyRTL. Deeksha Dangwal, Georgios Tzimpragos, Tim Sherwood. IEEE Micro, July 2020.
• Trace Wringing for Program Trace Privacy. Deeksha Dangwal, Weilong Cui, Joseph McMahan, Timothy Sherwood. IEEE Micro: Micro's Top Picks from Computer Architecture Conferences, May 2020. (IEEE Micro Top Pick)
• A Computational Temporal Logic for Superconducting Accelerators. Georgios Tzimpragos, Dilip Vasudevan, Nestan Tsiskaridze, George Michelogiannakis, Advait Madhavan, Jennifer Volk, John Shalf, Timothy Sherwood. International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), March 2020.
• A systematic view of model leakage risks in deep neural network systems. Xing Hu, Ling Liang, Shuangchen Li, Lei Deng, Pengfei Zuo, Yu Ji, Xinfeng Xie, Yufei Ding, Chang Liu, Timothy Sherwood, Yuan Xie. International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), March 2020.
• Efficient Uncertainty Modeling for System Design via Mixed Integer Programming. Zichang He, Weilong Cui, Chunfeng Cui, Timothy Sherwood, Zheng Zhang. International Conference On Computer Aided Design (ICCAD), November 2019.
• Language Support for Navigating Architecture Design in Closed Form. Weilong Cui, Georgios Tzimpragos, Yu Tao, Joseph McMahan, Deeksha Dangwal, Nestan Tsiskaridze, George Michelogiannakis, Dilip Vasudevan, Timothy Sherwood. ACM Journal on Emerging Technologies in Computing Systems (JETC), October 2019.
• Bouncer: Static Program Analysis in Hardware. Joseph McMahan, Michael Christensen, Kyle Dewey, Ben Hardekopf, Timothy Sherwood. International Symposium of Computer Architecture (ISCA), June 2019.
• Boosted Race Trees for Low Energy Classification. Georgios Tzimpragos, Advait Madhavan, Dilip Vasudevan, Dmitri Strukov, Timothy Sherwood. International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), April 2019. (Best Paper Award)
• Safer Program Behavior Sharing Through Trace Wringing. Deeksha Dangwal, Weilong Cui, Joseph McMahan, Timothy Sherwood. International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), April 2019.
• Protecting Page Tables from RowHammer Attacks using Monotonic Pointers in DRAM True-Cells. Xin-Chuan Wu, Yanjing Li, Timothy Sherwood, Frederic T. Chong. International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), April 2019.
• Information Leakage in Arbiter Protocols. Nestan Tsiskaridze, Lucas Bang, Joseph McMahan, Tevfik Bultan, Timothy Sherwood. International Symposium on Automated Technology for Verification and Analysis (ATVA), October 2018.
• 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. International Symposium on Computer Architecture (ISCA), June 2018.
• Hiding Intermittent Information Leakage with Architectural Support for Blinking. Alric Althoff, Joseph McMahan, Luis Vega, Scott Davidson, Timothy Sherwood, Michael B. Taylor, Ryan Kastner. International Symposium on Computer Architecture (ISCA), June 2018.
• High-Throughput Pattern Matching With CMOL FPGA Circuits: Case for Logic-in-Memory Computing. Advait Madhavan, Timothy Sherwood, Dmitri Strukov. IEEE Transactions on Very Large Scale Integration Systems (TVLSI), June 2018.
• An Architecture for Analysis. Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, Timothy Sherwood. IEEE Micro: Micro's Top Picks from Computer Architecture Conferences, May 2018. (IEEE Micro Top Pick)
• Architectural Risk. Weilong Cui, Timothy Sherwood. IEEE Micro: Micro's Top Picks from Computer Architecture Conferences, May 2018. (IEEE Micro Top Pick)
• Quantitative Analysis of Timing Channel Security in Cryptographic Hardware Design. Baolei Mao, Wei Hu, Alric Althoff, Janarbek Matai, Yu Tai, Dejun Mu, Timothy Sherwood, Ryan Kastner. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), January 2018.
• Estimating and Understanding Architectural Risk. Weilong Cui, Timothy Sherwood. IEEE/ACM International Symposium on Microarchitecture (MICRO), October 2017.
• Thermal-Aware, Heterogeneous Materials for Improved Energy and Reliability in 3D PCM Architectures. Heba Saadeldeen, Zhaoxia Deng, Timothy Sherwood, Frederic T. Chong. International Symposium on Memory Systems (MEMSYS), October 2017.
• A Pythonic Approach for Rapid Hardware Prototyping and Instrumentation. John Clow, Georgios Tzimpragos, Deeksha Dangwal, Sammy Guo, Joseph McMahan, Timothy Sherwood. International Conference on Field Programmable Logic and Applications (FPL), September 2017.
• Challenging On-Chip SRAM Security with Boot-State Statistics. Joseph McMahan, Weilong Cui, Liang Xia, Jeff Heckey, Frederic T. Chong, Timothy Sherwood. IEEE International Symposium on Hardware Oriented Security and Trust (HOST), May 2017.
• An Architecture Supporting Formal and Compositional Binary Analysis. Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, Timothy Sherwood. International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), April 2017.
• A 4-mm2 180-nm-CMOS 15-Giga-Cell-Updates-per-Second DNA Sequence Alignment Engine Based on Asynchronous Race Conditions. Advait Madhavan, Timothy Sherwood, Dmitri Strukov. IEEE Custom Integrated Circuits Conference (CICC), April 2017.
• Energy Efficient Computation with Asynchronous Races. Advait Madhavan, Timothy Sherwood, Dmitri Strukov. Design Automation Conference (DAC), June 2016.
• Hardware-Assisted Context Management for Accelerator Virtualization. Ying Gao, Timothy Sherwood. International Conference on Architecture of Computing Systems (ARCS), April 2016.
• Quantifying Timing-Based Information Flow in Cryptographic Hardware. Baolei Mao, Wei Hu, Alric Althoff, Janarbek Matai, Jason Oberg, Dejun Mu, Timothy Sherwood, Ryan Kastner. International Conference On Computer Aided Design (ICCAD), November 2015.
• Race Logic: Abusing Hardware Race Conditions to Perform Useful Computation. Advait Madhavan, Timothy Sherwood, Dmitri Strukov. IEEE Micro, March 2015.
• Leveraging Gate-Level Properties to Identify Hardware Timing Channels. Jason Oberg, Sarah Meiklejohn, Timothy Sherwood, Ryan Kastner. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), September 2014.
• Race Logic: A Hardware Acceleration for Dynamic Programming Algorithms. Advait Madhavan, Timothy Sherwood, Dmitri Strukov. International Symposium on Computer Architecture (ISCA), June 2014.
• 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. International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), March 2014.
• Networks on Chip with Provable Security Properties. Hassan M. G. Wassel, Ying Gao, Jason K. Oberg, Ted Huffmire, Ryan Kastner, Frederic T. Chong, Timothy Sherwood. IEEE Micro, March 2014.
• Gate-Level Information Flow Tracking for Security Lattices. Wei Hu, Dejun Mu, Jason Oberg, Baolei Mao, Mohit Tiwari, Timothy Sherwood, Ryan Kastner. ACM Transactions on Design Automation of Electronic Systems (TODAES), January 2014.
• 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. International Symposium on Computer Architecture (ISCA), June 2013.
• Memristors for Neural Branch Prediction: A Case Study in Strict Latency and Write Endurance Challenges. Heba Saadeldeen, Diana Franklin, Guoping Long, Charlotte Hill, Aisha Browne, Dmitri Strukov, Timothy Sherwood, Frederic T. Chong. ACM International Conference on Computing Frontiers (CF), May 2013.
• A 3-D Split Manufacturing Approach to Trustworthy System Development. Jonathan Valamehr, Timothy Sherwood, Ryan Kastner, David Marangoni-Simonsen, Ted Huffmire, Cynthia E. Irvine, Timothy E. Levin. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), April 2013.
• Inspection-Resistant Memory Architectures. Jonathan Valamehr, Melissa Chase, Seny Kamara, Andrew Putnam, Daniel Shumow, Vinod Vaikuntanathan, Timothy Sherwood. IEEE Micro, March 2013.
• A Practical Testing Framework for Isolating Hardware Timing Channels. Jason Oberg, Sarah Meiklejohn, Timothy Sherwood, Ryan Kastner. Design, Automation and Test in Europe Conference (DATE), March 2013.
• Eliminating Timing Information Flows in a Mix-Trusted System-on-Chip. Jason Oberg, Timothy Sherwood, Ryan Kastner. IEEE Design & Test, February 2013.
• Inspection Resistant Memory: Architectural Support for Security from Physical Examination. Jonathan Valamehr, Melissa Chase, Seny Kamara, Andrew Putnam, Daniel Shumow, Vinod Vaikuntanathan, Timothy Sherwood. International Symposium on Computer Architecture (ISCA), June 2012.
• Mobile Vision-Based Sketch Recognition with SPARK. Jeffrey Browne, Timothy Sherwood. Symposium on Sketch-Based Interfaces and Modeling (SBIM), June 2012.
• On the Complexity of Generating Gate Level Information Flow Tracking Logic. Wei Hu, Jason Oberg, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Dejun Mu, Ryan Kastner. IEEE Transactions on Information Forensics and Security (TIFS), March 2012.
• Opportunities and Challenges of Using Plasmonic Components in Nanophotonic Architectures. Hassan M. G. Wassel, Daoxin Dai, Mohit Tiwari, Jonathan Valamehr, Luke Theogarajan, Jennifer A. Dionne, Frederic T. Chong, Timothy Sherwood. IEEE Journal on Emerging and Selected Topics in Circuits and Systems (JETCAS), March 2012.
• Analysis of Performance Versus Security in Hardware Realizations of Small Elliptic Curves for Lightweight Applications. Vladimir Trujillo-Olaya, Timothy Sherwood, Cetin Kaya Koc. Journal of Cryptographic Engineering, March 2012.
• Dataflow Tomography: Information Flow Tracking for Understanding and Visualizing Full Systems. Bita Mazloom, Shashidhar Mysore, Mohit Tiwari, Banit Agrawal, Timothy Sherwood. ACM Transactions on Architecture and Code Optimization (TACO), January 2012.
• A Qualitative Security Analysis of a New Class of 3-D Integrated Crypto Co-processors. Jonathan Valamehr, Ted Huffmire, Cynthia E. Irvine, Ryan Kastner, Cetin Kaya Koc, Timothy E. Levin, Timothy Sherwood. Cryptography and Security: Essays Dedicated to Adi Shamir, January 2012.
• Preventing PCM Banks from Seizing Too Much Power. Andrew W. Hay, Karin Strauss, Timothy Sherwood, Gabriel H. Loh, Doug Burger. IEEE/ACM International Symposium on Microarchitecture (MICRO), December 2011.
• Data Analysis on Interactive Whiteboards through Sketch-Based Interaction. Jeffrey Browne, Bongshin Lee, Sheelagh Carpendale, Nathalie Henry Riche, Timothy Sherwood. ACM International Conference on Interactive Tabletops and Surfaces (ITS), November 2011.
• Theoretical Fundamentals of Gate Level Information Flow Tracking. Wei Hu, Jason Oberg, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Dejun Mu, Ryan Kastner. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), August 2011.
• 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. International Symposium on Computer Architecture (ISCA), June 2011.
• Caisson: A Hardware Description Language for Secure Information Flow. Xun Li, Mohit Tiwari, Jason Oberg, Vineeth Kashyap, Frederic T. Chong, Timothy Sherwood, Ben Hardekopf. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), June 2011.
• 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. International Symposium on Computer Architecture (ISCA), June 2011.
• Information Flow Isolation in I2C and USB. Jason Oberg, Wei Hu, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Ryan Kastner. Design Automation Conference (DAC), June 2011.
• Hybrid CMOS/Nanodevice Circuits for High Throughput Pattern Matching Applications. Fabien Alibart, Timothy Sherwood, Dmitri Strukov. NASA/ESA Conference on Adaptive Hardware and Systems (AHS), June 2011.
• Exploiting Data Similarity to Reduce Memory Footprints. Susmit Biswas, Bronis R. de Supinski, Martin Schulz, Diana Franklin, Timothy Sherwood, Frederic T. Chong. IEEE International Parallel and Distributed Processing Symposium (IPDPS), May 2011.
• 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. Annual Computer Security Applications Conference (ACSAC), December 2010.
• Theoretical Analysis of Gate Level Information Flow Tracking. Jason Oberg, Wei Hu, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Ryan Kastner. Design Automation Conference (DAC), June 2010.
• Security Primitives for Reconfigurable Hardware-Based Systems. Ted Huffmire, Timothy E. Levin, Thuy D. Nguyen, Cynthia E. Irvine, Brett Brotherton, Gang Wang, Timothy Sherwood, Ryan Kastner. ACM Transactions on Reconfigurable Technology and Systems (TRETS), February 2010.
• Gate-Level Information-Flow Tracking for Secure Architectures. Mohit Tiwari, Xun Li, Hassan M. G. Wassel, Bita Mazloom, Shashidhar Mysore, Frederic T. Chong, Timothy Sherwood. IEEE Micro, January 2010.
• VrtProf: Vertical Profiling for System Virtualization. Hussam Mousa, Kshitij A. Doshi, Timothy Sherwood, ElMoustapha Ould-Ahmed-Vall. Hawaii International Conference on System Sciences (HICSS), January 2010.
• Execution Leases: A Hardware-Supported Mechanism for Enforcing Strong Non-Interference. Mohit Tiwari, Xun Li, Hassan M. G. Wassel, Frederic T. Chong, Timothy Sherwood. IEEE/ACM International Symposium on Microarchitecture (MICRO), December 2009.
• Conflict-Avoidance in Multicore Caching for Data-Similar Executions. Susmit Biswas, Diana Franklin, Timothy Sherwood, Frederic T. Chong. International Symposium on Parallel Architectures, Algorithms, and Networks (ISPAN), December 2009.
• Quantifying the Potential of Program Analysis Peripherals. Mohit Tiwari, Shashidhar Mysore, Timothy Sherwood. International Conference on Parallel Architectures and Compilation Techniques (PACT), September 2009.
• Multi-Execution: Multicore Caching for Data-Similar Executions. Susmit Biswas, Diana Franklin, Alan Savage, Ryan Dixon, Timothy Sherwood, Frederic T. Chong. International Symposium on Computer Architecture (ISCA), June 2009.
• High-Bandwidth Network Memory System through Virtual Pipelines. Banit Agrawal, Timothy Sherwood. IEEE/ACM Transactions on Networking, April 2009.
• Analysis of Bit-Split Languages for Packet Scanning and Experiments with Wildcard Matching. Ryan Dixon, Omer Egecioglu, Timothy Sherwood. International Journal of Foundations of Computer Science, April 2009.
• Complete Information Flow Tracking from the Gates Up. Mohit Tiwari, Hassan M. G. Wassel, Bita Mazloom, Shashidhar Mysore, Frederic T. Chong, Timothy Sherwood. International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), March 2009.
• Metric Based Multi-Timescale Control for Reducing Power in Embedded Systems. Nitin Kataria, Forrest Brewer, Joao Pedro Hespanha, Timothy Sherwood. Journal of Low Power Electronics, March 2009.
• Metric Based Multi-Timescale Control for Reducing Power in Embedded Systems. Nitin Kataria, Forrest Brewer, Joao Pedro Hespanha, Timothy Sherwood. International Conference on VLSI Design, January 2009.
• 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. IEEE/ACM International Symposium on Microarchitecture (MICRO), November 2008.
• Managing Security in FPGA-Based Embedded Systems. Ted Huffmire, Brett Brotherton, Timothy Sherwood, Ryan Kastner, Timothy E. Levin, Thuy D. Nguyen, Cynthia E. Irvine. IEEE Design & Test of Computers, November 2008.
• Enforcing Memory Policy Specifications in Reconfigurable Hardware. Ted Huffmire, Timothy Sherwood, Ryan Kastner, Timothy E. Levin. Computers & Security, September 2008.
• Whiteboards That Compute: A Workload Analysis. Ryan Dixon, Timothy Sherwood. IEEE International Symposium on Workload Characterization (IISWC), September 2008.
• Automata-Theoretic Analysis of Bit-Split Languages for Packet Scanning. Ryan Dixon, Omer Egecioglu, Timothy Sherwood. International Conference on Implementation and Application of Automata (CIAA), July 2008.
• Trustworthy System Security through 3-D Integrated Hardware. Ted Huffmire, Jonathan Valamehr, Timothy Sherwood, Ryan Kastner, Timothy E. Levin, Thuy D. Nguyen, Cynthia E. Irvine. IEEE International Symposium on Hardware Oriented Security and Trust (HOST), June 2008.
• Formulating and Implementing Profiling over Adaptive Ranges. Shashidhar Mysore, Banit Agrawal, Rodolfo Neuber, Timothy Sherwood, Nisheeth Shrivastava, Subhash Suri. ACM Transactions on Architecture and Code Optimization (TACO), June 2008.
• Ternary CAM Power and Delay Model: Extensions and Uses. Banit Agrawal, Timothy Sherwood. IEEE Transactions on Very Large Scale Integration Systems (TVLSI), May 2008.
• Designing Secure Systems on Reconfigurable Hardware. Ted Huffmire, Brett Brotherton, Nick Callegari, Jonathan Valamehr, Jeff White, Ryan Kastner, Timothy Sherwood. ACM Transactions on Design Automation of Electronic Systems (TODAES), April 2008.
• Understanding and Visualizing Full Systems with Data Flow Tomography. Shashidhar Mysore, Bita Mazloom, Banit Agrawal, Timothy Sherwood. International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), March 2008.
• Structural Integrity: Safety in Miniature Technology. Greg Hoover, Forrest Brewer, Timothy Sherwood. ACM SIGBED Review, January 2008.
• Exploring the Processor and ISA Design for Wireless Sensor Network Applications. Shashidhar Mysore, Banit Agrawal, Frederic T. Chong, Timothy Sherwood. International Conference on VLSI Design, January 2008.
• Addressing the Challenges of Synchronization/Communication and Debugging Support in Hardware/Software Cosimulation. Banit Agrawal, Timothy Sherwood, Chulho Shin, Simon Yoon. International Conference on VLSI Design, January 2008.
• Towards Understanding Architectural Tradeoffs in MEMS Closed-Loop Feedback Control. Greg Hoover, Forrest Brewer, Timothy Sherwood. International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES), September 2007.
• 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. IEEE Symposium on Security and Privacy (S&P), May 2007.
• 3D Integration for Introspection. Shashidhar Mysore, Banit Agrawal, Navin Srivastava, Sheng-Chih Lin, Kaustav Banerjee, Timothy Sherwood. IEEE Micro, January 2007.
• Virtually Pipelined Network Memory. Banit Agrawal, Timothy Sherwood. IEEE/ACM International Symposium on Microarchitecture (MICRO), December 2006.
• Introspective 3D Chips. Shashidhar Mysore, Banit Agrawal, Navin Srivastava, Sheng-Chih Lin, Kaustav Banerjee, Timothy Sherwood. International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), October 2006.
• Extensible Control Architectures. Greg Hoover, Forrest Brewer, Timothy Sherwood. International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES), October 2006.
• A Case Study of Multi-Threading in the Embedded Space. Greg Hoover, Forrest Brewer, Timothy Sherwood. International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES), October 2006.
• Guiding Architectural SRAM Models. Banit Agrawal, Timothy Sherwood. International Conference on Computer Design (ICCD), October 2006.
• Improving the Performance and Power Efficiency of Shared Helpers in CMPs. Anahita Shayesteh, Glenn Reinman, Norman P. Jouppi, Timothy Sherwood, Suleyman Sair. International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES), October 2006.
• Wavelet-Based Phase Classification. Ted Huffmire, Timothy Sherwood. International Conference on Parallel Architectures and Compilation Techniques (PACT), September 2006.
• Policy-Driven Memory Protection for Reconfigurable Hardware. Ted Huffmire, Shreyas Prasad, Timothy Sherwood, Ryan Kastner. European Symposium on Research in Computer Security (ESORICS), September 2006.
• An Evaluation of Deeply Decoupled Cores. Eren Kursun, Anahita Shayesteh, Suleyman Sair, Timothy Sherwood, Glenn Reinman. Journal of Instruction-Level Parallelism (JILP), August 2006.
• Using Machine Learning to Guide Architecture Simulation. Greg Hamerly, Erez Perelman, Jeremy Lau, Brad Calder, Timothy Sherwood. Journal of Machine Learning Research (JMLR), July 2006.
• Leakage Power Reduction of Embedded Memories on FPGAs through Location Assignment. Yan Meng, Timothy Sherwood, Ryan Kastner. Design Automation Conference (DAC), June 2006.
• 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. Design Automation Conference (DAC), June 2006.
• Bit-Split String-Matching Engines for Intrusion Detection and Prevention. Lin Tan, Brett Brotherton, Timothy Sherwood. ACM Transactions on Architecture and Code Optimization (TACO), March 2006.
• Efficient Remote Profiling for Resource-Constrained Devices. Priya Nagpurkar, Hussam Mousa, Chandra Krintz, Timothy Sherwood. ACM Transactions on Architecture and Code Optimization (TACO), March 2006.
• Profiling over Adaptive Ranges. Shashidhar Mysore, Banit Agrawal, Timothy Sherwood, Nisheeth Shrivastava, Subhash Suri. International Symposium on Code Generation and Optimization (CGO), March 2006.
• Modeling TCAM Power for Next Generation Network Devices. Banit Agrawal, Timothy Sherwood. IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), March 2006.
• Architectures for Bit-Split String Scanning in Intrusion Detection. Lin Tan, Timothy Sherwood. IEEE Micro, January 2006.
• Reducing the Latency and Area Cost of Core Swapping through Shared Helper Engines. Anahita Shayesteh, Eren Kursun, Timothy Sherwood, Suleyman Sair, Glenn Reinman. International Conference on Computer Design (ICCD), October 2005.
• Algorithm/Architecture Co-Exploration for Designing Energy Efficient Wireless Channel Estimator. Yan Meng, Wenrui Gong, Ryan Kastner, Timothy Sherwood. Journal of Low Power Electronics, September 2005.
• A High Throughput String Matching Architecture for Intrusion Detection and Prevention. Lin Tan, Timothy Sherwood. International Symposium on Computer Architecture (ISCA), June 2005.
• Exploring the Limits of Leakage Power Reduction in Caches. Yan Meng, Timothy Sherwood, Ryan Kastner. ACM Transactions on Architecture and Code Optimization (TACO), June 2005.
• 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. Design Automation Conference (DAC), June 2005.
• Project VIRGO: Creation of a Surrogate Companion for the Elderly. Timothy Sherwood, Farilee Mintz, Miroslava Vomela. ACM CHI Conference on Human Factors in Computing Systems (Extended Abstracts), April 2005.
• Motivation for Variable Length Intervals and Hierarchical Phase Behavior. Jeremy Lau, Erez Perelman, Greg Hamerly, Timothy Sherwood, Brad Calder. IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), March 2005.
• Phase-Aware Remote Profiling. Priya Nagpurkar, Chandra Krintz, Timothy Sherwood. International Symposium on Code Generation and Optimization (CGO), March 2005.
• On the Limits of Leakage Power Reduction in Caches. Yan Meng, Timothy Sherwood, Ryan Kastner. IEEE International Symposium on High Performance Computer Architecture (HPCA), February 2005.
• Balancing Design Options with Sherpa. Timothy Sherwood, Mark Oskin, Brad Calder. International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES), September 2004.
• Deterministic Memory-Efficient String Matching Algorithms for Intrusion Detection. Nathan Tuck, Timothy Sherwood, Brad Calder, George Varghese. IEEE International Conference on Computer Communications (INFOCOM), March 2004.
• A Co-Phase Matrix to Guide Simultaneous Multithreading Simulation. Michael Van Biesbrouck, Timothy Sherwood, Brad Calder. IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), March 2004.
• Discovering and Exploiting Program Phases. Timothy Sherwood, Erez Perelman, Greg Hamerly, Suleyman Sair, Brad Calder. IEEE Micro, November 2003.
• Reducing Code Size with Echo Instructions. Jeremy Lau, Stefan Schoenmackers, Timothy Sherwood, Brad Calder. International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES), October 2003.
• Phase Tracking and Prediction. Timothy Sherwood, Suleyman Sair, Brad Calder. International Symposium on Computer Architecture (ISCA), June 2003.
• A Pipelined Memory Architecture for High Throughput Network Processors. Timothy Sherwood, George Varghese, Brad Calder. International Symposium on Computer Architecture (ISCA), June 2003.
• A Decoupled Predictor-Directed Stream Prefetching Architecture. Suleyman Sair, Timothy Sherwood, Brad Calder. IEEE Transactions on Computers, February 2003.
• Catching Accurate Profiles in Hardware. Satish Narayanasamy, Timothy Sherwood, Suleyman Sair, Brad Calder, George Varghese. IEEE International Symposium on High Performance Computer Architecture (HPCA), February 2003.
• Automatically Characterizing Large Scale Program Behavior. Timothy Sherwood, Erez Perelman, Greg Hamerly, Brad Calder. International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), October 2002.
• Quantifying Load Stream Behavior. Suleyman Sair, Timothy Sherwood, Brad Calder. IEEE International Symposium on High Performance Computer Architecture (HPCA), February 2002.
• Patchable Instruction ROM Architecture. Timothy Sherwood, Brad Calder. International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES), November 2001.
• Bitwidth Cognizant Architecture Synthesis of Custom Hardware Accelerators. Scott A. Mahlke, Rajiv A. Ravindran, Michael S. Schlansker, Robert Schreiber, Timothy Sherwood. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), November 2001.
• Basic Block Distribution Analysis to Find Periodic Behavior and Simulation Points in Applications. Timothy Sherwood, Erez Perelman, Brad Calder. International Conference on Parallel Architectures and Compilation Techniques (PACT), September 2001.
• Automated Design of Finite State Machine Predictors for Customized Processors. Timothy Sherwood, Brad Calder. International Symposium on Computer Architecture (ISCA), June 2001.
• Predictor-Directed Stream Buffers. Timothy Sherwood, Suleyman Sair, Brad Calder. IEEE/ACM International Symposium on Microarchitecture (MICRO), November 2000.
• ToolBlocks: An Infrastructure for the Construction of Memory Hierarchy Analysis Tools. Timothy Sherwood, Brad Calder. Euro-Par: European Conference on Parallel Processing, August 2000.
• Loop Termination Prediction. Timothy Sherwood, Brad Calder. International Symposium on High Performance Computing (ISHPC), May 2000.
• ActiveOS: Virtualizing Intelligent Memory. Mark Oskin, Frederic T. Chong, Timothy Sherwood. International Conference on Computer Design (ICCD), October 1999.
• Time Varying Behavior of Programs. Timothy Sherwood, Brad Calder. UC San Diego Technical Report UCSD-CS99-630, August 1999.
• Reducing Cache Misses Using Hardware and Software Page Placement. Timothy Sherwood, Brad Calder, Joel S. Emer. International Conference on Supercomputing (ICS), June 1999.
• Active Pages: A Computation Model for Intelligent Memory. Mark Oskin, Frederic T. Chong, Timothy Sherwood. International Symposium on Computer Architecture (ISCA), June 1998.

Invited and Workshop Papers

• Quantifying the Computing Energy Efficiency Paradox. Pranjali Jain, Jonathan Balkind, Timothy Sherwood. Workshop on Sustainable Computer Systems (HotCarbon), July 2026.
• Tracing the Computer System Supply Chain. Pranjali Jain, Pranav Gunhal, Jonathan Balkind, Timothy Sherwood. Workshop on Ethical Systems and Architecture Design (HotEthics), June 2026.
• Security, Synapses, Sustainability, and Superconducting: A Look at Possible Futures for the FPGA. Timothy Sherwood. ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA), February 2024.
• Semi-Automated Translation of a Formal ISA Specification to Hardware. Harlan Kringen, Zachary D. Sisco, Jonathan Balkind, Timothy Sherwood, Ben Hardekopf. Workshop on Programming Languages and Computer Architecture (PLARCH), June 2023.
• A Position on Program Synthesis for Processor Development. Zachary D. Sisco, Jonathan Balkind, Timothy Sherwood, Ben Hardekopf. Workshop on Languages, Tools, and Techniques for Accelerator Design (LATTE), March 2022.
• Technical perspective: A Recipe for Protecting Against Speculation Attacks. Timothy Sherwood. Communications of the ACM (CACM), November 2021.
• From Arbitrary Functions to Space-Time Implementations. Georgios Tzimpragos, Nestan Tsiskaridze, Kylie Huch, Advait Madhavan, Timothy Sherwood. Workshop on Unary Computing (Unary) held in conjunction with ISCA, June 2019.
• PyRTL in Early Undergraduate Research. Diba Mirza, Deeksha Dangwal, Timothy Sherwood. Workshop on Computer Architecture Education (WCAE) held in conjunction with ISCA, June 2019.
• PyRTLMatrix: An Object-Oriented Hardware Design Pattern for Prototyping ML Accelerators. Dawit Aboye, Dylan Kupsh, Maggie Lim, Jacqueline Mai, Deeksha Dangwal, Diba Mirza, Timothy Sherwood. Workshop on Energy Efficient Machine Learning and Cognitive Computing for Embedded Applications (EMC2) held in conjunction with ISCA, June 2019.
• Report on the NSF Workshop on Formal Methods for Security. Stephen Chong, Joshua Guttman, Anupam Datta, Andrew Myers, Benjamin Pierce, Patrick Schaumont, Timothy Sherwood, Nickolai Zeldovich. NSF Workshop Findings, August 2016.
• 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. ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS), June 2013.
• 3-D Extensions for Trustworthy Systems. Ted Huffmire, Timothy E. Levin, Cynthia E. Irvine, Ryan Kastner, Timothy Sherwood. International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA), July 2011.
• State Semantics of Erasure in Sketch Applications. Jeffrey Browne, Andre Sayre, Timothy Sherwood. IUI Sketch Recognition Workshop, February 2011.
• Towards Chip-Scale Plasmonic Interconnects. Hassan M. G. Wassel, Mohit Tiwari, Jonathan Valamehr, Luke Theogarajan, Jennifer A. Dionne, Frederic T. Chong, Timothy Sherwood. Workshop on the Interaction between Nanophotonic Devices and Systems (WINDS), December 2010.
• 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. Workshop on Embedded Systems Security (WESS), October 2010.
• Function Flattening for Lease-Based, Information-Leak-Free Systems. Xun Li, Mohit Tiwari, Timothy Sherwood, Frederic T. Chong. IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP), July 2010.
• 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. ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS), June 2010.
• Sketch-Based Recognition System for General Articulated Skeletal Figures. Shane Zamora, Timothy Sherwood. Eurographics Workshop on Sketch-Based Interfaces and Modeling (SBIM), June 2010.
• Developer Paradigms and User Interaction in Sketch-Based Systems. Shane Zamora, Jeffrey Browne, Andre Sayre, Timothy Sherwood. CHI Workshop on Designing Sketch Recognition Interfaces (DSRI), April 2010.
• PSMalloc: Content Based Memory Management for MPI Applications. Susmit Biswas, Diana Franklin, Timothy Sherwood, Frederic T. Chong, Bronis R. de Supinski, Martin Schulz. Workshop on Memory Performance (MEDEA), September 2009.
• Preliminary Experiments on Similar Executions with Reduced Off-Chip Accesses in Multi-core Processors. Susmit Biswas, Frederic T. Chong, Diana Franklin, Timothy Sherwood. Workshop on Parallel Execution of Sequential Programs on Multi-core Architectures (ISCA Workshop), June 2008.
• Whiteboards That Compute: Goals and Challenges for System Designers. Ryan Dixon, Timothy Sherwood. Wild and Crazy Ideas (WACI) at ASPLOS, March 2008.
• Nano-Enhanced Architectures: Using Carbon Nanotube Interconnects in Cache Design. Banit Agrawal, Navin Srivastava, Frederic T. Chong, Kaustav Banerjee, Timothy Sherwood. Workshop on Non-Silicon Computing (ISCA Workshop), June 2007.
• Efficient Storage of Defect Maps for Nanoscale Memory. Susmit Biswas, Tzvetan S. Metodi, Frederic T. Chong, Ryan Kastner, Timothy Sherwood. Workshop on Non-Silicon Computing (ISCA Workshop), June 2007.
• Algorithm/Architecture Co-Exploration for Designing Energy Efficient Wireless Channel Estimator. Yan Meng, Ryan Kastner, Timothy Sherwood. Mobile Computing Hardware Architectures: Design and Implementation (MOCHA), January 2006.
• Dynamically Configurable Shared CMP Helper Engines for Improved Performance. Anahita Shayesteh, Glenn Reinman, Norman P. Jouppi, Suleyman Sair, Timothy Sherwood. ACM SIGARCH Computer Architecture News, June 2005.
• Data Partitioning and Optimizations for Reconfigurable Architectures. Wenrui Gong, Yan Meng, Gang Wang, Ryan Kastner, Timothy Sherwood. International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA), June 2005.
• Low-Overhead Core Swapping for Thermal Management. Eren Kursun, Glenn Reinman, Suleyman Sair, Anahita Shayesteh, Timothy Sherwood. Power-Aware Computer Systems (PACS), December 2004.
• Using SimPoint for Accurate and Efficient Simulation. Erez Perelman, Greg Hamerly, Michael Van Biesbrouck, Timothy Sherwood, Brad Calder. ACM SIGMETRICS, June 2003.
• Low Power Design of Page-Based Intelligent Memory. Mark Oskin, Frederic T. Chong, Aamir Farooqui, Timothy Sherwood, Justin Hensley. Workshop on Power-Driven Microarchitecture (ISCA Workshop), June 1998.
• Sharing Data in Page-Based Intelligent Memory. Mark Oskin, Timothy Sherwood, Justin Hensley, Sinclair Yeh, Frederic T. Chong. Workshop on Scalable Shared-Memory Multiprocessors (ISCA Workshop), June 1998.