Timothy Sherwood

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 51

Top Venues

Publications

Rhys Gretsch, Peiyang Song, Advait Madhavan, Jeremy Lau, Timothy Sherwood
Energy Efficient Convolutions with Temporal Arithmetic. ASPLOS (2) (2024)
Timothy Sherwood
Security, Synapses, Sustainability, and Superconducting: A Look at Possible Futures for the FPGA. FPGA (2024)
Zhizhou Zhang, Alvin Oliver Glova, Timothy Sherwood, Jonathan Balkind
A Prediction System Service. ASPLOS (2) (2023)
Zachary D. Sisco, Jonathan Balkind, Timothy Sherwood, Ben Hardekopf
Loop Rerolling for Hardware Decompilation. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Zhizhou Zhang, Murali Krishna Ramanathan, Prithvi Raj, Abhishek Parwal, Timothy Sherwood, Milind Chabbi
CRISP: Critical Path Analysis of Large-Scale Microservice Architectures. USENIX Annual Technical Conference (2022)
Georgios Tzimpragos, Jennifer Volk, Alex Wynn, Evan Golden, Timothy Sherwood
Pulsar: A Superconducting Delay-Line Memory. CoRR (2022)
Alvin Oliver Glova, Yukai Yang, Yiyao Wan, Zhizhou Zhang, George Michelogiannakis, Jonathan Balkind, Timothy Sherwood
Establishing Cooperative Computation with Hardware Embassies. SEED (2022)
Jennifer Volk, George Tzimpragos, Alex Wynn, Evan Golden, Timothy Sherwood
Low-Cost Superconducting Fan-Out with Repurposed Josephson Junctions. CoRR (2022)
Michael Christensen, Georgios Tzimpragos, Harlan Kringen, Jennifer Volk, Timothy Sherwood, Ben Hardekopf
PyLSE: a pulse-transfer level language for superconductor electronics. PLDI (2022)
Xing Hu, Ling Liang, Xiaobing Chen, Lei Deng, Yu Ji, Yufei Ding, Zidong Du, Qi Guo, Timothy Sherwood, Yuan Xie
A Systematic View of Model Leakage Risks in Deep Neural Network Systems. IEEE Trans. Computers 71 (12) (2022)
Timothy Sherwood
Technical perspective: A recipe for protecting against speculation attacks. Commun. ACM 64 (12) (2021)
Michael Christensen, Joseph McMahan, Lawton Nichols, Jared Roesch, Timothy Sherwood, Ben Hardekopf
Safe functional systems through integrity types and verified assembly. Theor. Comput. Sci. 851 (2021)
Georgios Tzimpragos, Jennifer Volk, Dilip Vasudevan, Nestan Tsiskaridze, George Michelogiannakis, Advait Madhavan, John Shalf, Timothy Sherwood
Temporal Computing With Superconductors. IEEE Micro 41 (3) (2021)
Deeksha Dangwal, Zhizhou Zhang, Jedidiah R. Crandall, Timothy Sherwood
Context-Aware Privacy-Optimizing Address Tracing. SEED (2021)
Michael Christensen, Timothy Sherwood, Jonathan Balkind, Ben Hardekopf
Wire sorts: a language abstraction for safe hardware composition. PLDI (2021)
Zhizhou Zhang, Milind Chabbi, Adam Welc, Timothy Sherwood
Optimistic Concurrency Control for Real-world Go Programs. USENIX Annual Technical Conference (2021)
Georgios Tzimpragos, Advait Madhavan, Dilip Vasudevan, Dmitri B. Strukov, Timothy Sherwood
In-sensor classification with boosted race trees. Commun. ACM 64 (6) (2021)
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
Mitigating Reverse Engineering Attacks on Local Feature Descriptors. BMVC (2021)
Georgios Tzimpragos, Jennifer Volk, Alex Wynn, James E. Smith, Timothy Sherwood
Superconducting Computing with Alternating Logic Elements. ISCA (2021)
Zhizhou Zhang, Milind Chabbi, Adam Welc, Timothy Sherwood
Optimistic Concurrency Control for Real-world Go Programs (Extended Version with Appendix). CoRR (2021)
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
Analysis and Mitigations of Reverse Engineering Attacks on Local Feature Descriptors. CoRR (2021)
Xing Hu, Ling Liang, Shuangchen Li, Lei Deng, Pengfei Zuo, Yu Ji, Xinfeng Xie, Yufei Ding, Chang Liu, Timothy Sherwood, Yuan Xie
DeepSniffer: A DNN Model Extraction Framework Based on Learning Architectural Hints. ASPLOS (2020)
Georgios Tzimpragos, Dilip Vasudevan, Nestan Tsiskaridze, George Michelogiannakis, Advait Madhavan, Jennifer Volk, John Shalf, Timothy Sherwood
A Computational Temporal Logic for Superconducting Accelerators. ASPLOS (2020)
Weilong Cui, Georgios Tzimpragos, Yu Tao, Joseph McMahan, Deeksha Dangwal, Nestan Tsiskaridze, George Michelogiannakis, Dilip P. Vasudevan, Timothy Sherwood
Language Support for Navigating Architecture Design in Closed Form. ACM J. Emerg. Technol. Comput. Syst. 16 (1) (2020)
Deeksha Dangwal, Georgios Tzimpragos, Timothy Sherwood
Agile Hardware Development and Instrumentation With PyRTL. IEEE Micro 40 (4) (2020)
Deeksha Dangwal, Weilong Cui, Joseph McMahan, Timothy Sherwood
Trace Wringing for Program Trace Privacy. IEEE Micro 40 (3) (2020)
Xin-Chuan Wu, Timothy Sherwood, Frederic T. Chong, Yanjing Li
Protecting Page Tables from RowHammer Attacks using Monotonic Pointers in DRAM True-Cells. ASPLOS (2019)
Xing Hu, Ling Liang, Lei Deng, Shuangchen Li, Xinfeng Xie, Yu Ji, Yufei Ding, Chang Liu, Timothy Sherwood, Yuan Xie
Neural Network Model Extraction Attacks in Edge Devices by Hearing Architectural Hints. CoRR (2019)
Joseph McMahan, Michael Christensen, Kyle Dewey, Ben Hardekopf, Timothy Sherwood
Bouncer: static program analysis in hardware. ISCA (2019)
Dawit Aboye, Dylan Kupsh, Maggie Lim, Jacqueline Mai, Deeksha Dangwal, Diba Mirza, Timothy Sherwood
PyRTLMatrix: An Object-Oriented Hardware Design Pattern for Prototyping ML Accelerators. EMC2@HPCA/CVPR/ISCA (2019)
Georgios Tzimpragos, Advait Madhavan, Dilip Vasudevan, Dmitri B. Strukov, Timothy Sherwood
Boosted Race Trees for Low Energy Classification. ASPLOS (2019)
Zichang He, Weilong Cui, Chunfeng Cui, Timothy Sherwood, Zheng Zhang
Efficient Uncertainty Modeling for System Design via Mixed Integer Programming. CoRR (2019)
Zichang He, Weilong Cui, Chunfeng Cui, Timothy Sherwood, Zheng Zhang
Efficient Uncertainty Modeling for System Design via Mixed Integer Programming. ICCAD (2019)
Deeksha Dangwal, Weilong Cui, Joseph McMahan, Timothy Sherwood
Safer Program Behavior Sharing Through Trace Wringing. ASPLOS (2019)
Diba Mirza, Deeksha Dangwal, Timothy Sherwood
PyRTL in Early Undergraduate Research. WCAE@ISCA (2019)
Baolei Mao, Wei Hu, Alric Althoff, Janarbek Matai, Yu Tai, Dejun Mu, Timothy Sherwood, Ryan Kastner
Quantitative Analysis of Timing Channel Security in Cryptographic Hardware Design. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (9) (2018)
Weilong Cui, Yongshan Ding, Deeksha Dangwal, Adam Holmes, Joseph McMahan, Ali JavadiAbhari, Georgios Tzimpragos, Frederic T. Chong, Timothy Sherwood
Charm: A Language for Closed-Form High-Level Architecture Modeling. ISCA (2018)
Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, Timothy Sherwood
An Architecture for Analysis. IEEE Micro 38 (3) (2018)
Weilong Cui, Timothy Sherwood
Architectural Risk. IEEE Micro 38 (3) (2018)
Nestan Tsiskaridze, Lucas Bang, Joseph McMahan, Tevfik Bultan, Timothy Sherwood
Information Leakage in Arbiter Protocols. ATVA (2018)
Alric Althoff, Joseph McMahan, Luis Vega, Scott Davidson, Timothy Sherwood, Michael B. Taylor, Ryan Kastner
Hiding Intermittent Information Leakage with Architectural Support for Blinking. ISCA (2018)
Heba Saadeldeen, Zhaoxia Deng, Timothy Sherwood, Frederic T. Chong
Thermal-aware, heterogeneous materials for improved energy and reliability in 3D PCM architectures. MEMSYS (2017)
Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, Timothy Sherwood
An Architecture Supporting Formal and Compositional Binary Analysis. ASPLOS (2017)
Weilong Cui, Timothy Sherwood
Estimating and understanding architectural risk. MICRO (2017)
John Clow, Georgios Tzimpragos, Deeksha Dangwal, Sammy Guo, Joseph McMahan, Timothy Sherwood
A pythonic approach for rapid hardware prototyping and instrumentation. FPL (2017)
Advait Madhavan, Timothy Sherwood, Dmitri B. Strukov
180-nm-CMOS 15-Giga-cell-updates-per-second DNA sequence alignment engine based on asynchronous race conditions. CICC (2017)
Joseph McMahan, Weilong Cui, Liang Xia, Jeff Heckey, Frederic T. Chong, Timothy Sherwood
Challenging on-chip SRAM security with boot-state statistics. HOST (2017)
Advait Madhavan, Timothy Sherwood, Dmitri B. Strukov
Energy efficient computation with asynchronous races. DAC (2016)
Ying Gao, Timothy Sherwood
Hardware-Assisted Context Management for Accelerator Virtualization: A Case Study with RSA. ARCS (2016)
Advait Madhavan, Timothy Sherwood, Dmitri B. Strukov
Race Logic: Abusing Hardware Race Conditions to Perform Useful Computation. IEEE Micro 35 (3) (2015)
Baolei Mao, Wei Hu, Alric Althoff, Janarbek Matai, Jason Oberg, Dejun Mu, Timothy Sherwood, Ryan Kastner
Quantifying Timing-Based Information Flow in Cryptographic Hardware. ICCAD (2015)
Wei Hu, Dejun Mu, Jason Oberg, Baolei Mao, Mohit Tiwari, Timothy Sherwood, Ryan Kastner
Gate-Level Information Flow Tracking for Security Lattices. ACM Trans. Design Autom. Electr. Syst. 20 (1) (2014)
Hassan M. G. Wassel, Ying Gao, Jason K. Oberg, Ted Huffmire, Ryan Kastner, Frederic T. Chong, Timothy Sherwood
Networks on Chip with Provable Security Properties. IEEE Micro 34 (3) (2014)
Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong
Sapper: a language for hardware-level security policy enforcement. ASPLOS (2014)
Advait Madhavan, Timothy Sherwood, Dmitri B. Strukov
Race Logic: A hardware acceleration for dynamic programming algorithms. ISCA (2014)
Jason Oberg, Sarah Meiklejohn, Timothy Sherwood, Ryan Kastner
Leveraging Gate-Level Properties to Identify Hardware Timing Channels. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 33 (9) (2014)
Jonathan Kaveh Valamehr, Melissa Chase, Seny Kamara, Andrew Putnam, Daniel Shumow, Vinod Vaikuntanathan, Timothy Sherwood
Inspection-Resistant Memory Architectures. IEEE Micro 33 (3) (2013)
Jonathan Valamehr, Timothy Sherwood, Ryan Kastner, David Marangoni-Simonsen, Ted Huffmire, Cynthia E. Irvine, Timothy E. Levin
A 3-D Split Manufacturing Approach to Trustworthy System Development. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32 (4) (2013)
Hebatallah Saadeldeen, Diana Franklin, Guoping Long, Charlotte Hill, Aisha Browne, Dmitri B. Strukov, Timothy Sherwood, Frederic T. Chong
Memristors for neural branch prediction: a case study in strict latency and write endurance challenges. Conf. Computing Frontiers (2013)
Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong
Position paper: Sapper - a language for provable hardware policy enforcement. PLAS (2013)
Hassan M. G. Wassel, Ying Gao, Jason Oberg, Ted Huffmire, Ryan Kastner, Frederic T. Chong, Timothy Sherwood
SurfNoC: a low latency and provably non-interfering approach to secure networks-on-chip. ISCA (2013)
Jason Oberg, Sarah Meiklejohn, Timothy Sherwood, Ryan Kastner
A practical testing framework for isolating hardware timing channels. DATE (2013)
Jason Oberg, Timothy Sherwood, Ryan Kastner
Eliminating Timing Information Flows in a Mix-Trusted System-on-Chip. IEEE Des. Test 30 (2) (2013)
Jonathan Valamehr, Melissa Chase, Seny Kamara, Andrew Putnam, Daniel Shumow, Vinod Vaikuntanathan, Timothy Sherwood
Inspection resistant memory: Architectural support for security from physical examination. ISCA (2012)
Hassan M. G. Wassel, Daoxin Dai, Mohit Tiwari, Jonathan Valamehr, Luke Theogarajan, Jennifer A. Dionne, Frederic T. Chong, Timothy Sherwood
Opportunities and Challenges of Using Plasmonic Components in Nanophotonic Architectures. IEEE J. Emerg. Sel. Topics Circuits Syst. 2 (2) (2012)
Wei Hu, Jason Oberg, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Dejun Mu, Ryan Kastner
On the Complexity of Generating Gate Level Information Flow Tracking Logic. IEEE Trans. Inf. Forensics Secur. 7 (3) (2012)
Bita Mazloom, Shashidhar Mysore, Mohit Tiwari, Banit Agrawal, Timothy Sherwood
Dataflow Tomography: Information Flow Tracking For Understanding and Visualizing Full Systems. ACM Trans. Archit. Code Optim. 9 (1) (2012)
Vladimir Trujillo-Olaya, Timothy Sherwood, Çetin Kaya Koç
Analysis of performance versus security in hardware realizations of small elliptic curves for lightweight applications. J. Cryptogr. Eng. 2 (3) (2012)
Jeffrey Browne, Timothy Sherwood
Mobile Vision-Based Sketch Recognition with SPARK. SBIM@Expressive (2012)
Jonathan Valamehr, Ted Huffmire, Cynthia E. Irvine, Ryan Kastner, Çetin Kaya Koç, Timothy E. Levin, Timothy Sherwood
A Qualitative Security Analysis of a New Class of 3-D Integrated Crypto Co-processors. Cryptography and Security (2012)
Susmit Biswas, Mohit Tiwari, Timothy Sherwood, Luke Theogarajan, Frederic T. Chong
Fighting fire with fire: modeling the datacenter-scale effects of targeted superlattice thermal management. ISCA (2011)
Fabien Alibart, Timothy Sherwood, Dmitri B. Strukov
Hybrid CMOS/nanodevice circuits for high throughput pattern matching applications. AHS (2011)
Susmit Biswas, Bronis R. de Supinski, Martin Schulz, Diana Franklin, Timothy Sherwood, Frederic T. Chong
Exploiting Data Similarity to Reduce Memory Footprints. IPDPS (2011)
Wei Hu, Jason Oberg, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Dejun Mu, Ryan Kastner
Theoretical Fundamentals of Gate Level Information Flow Tracking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 30 (8) (2011)
Andrew W. Hay, Karin Strauss, Timothy Sherwood, Gabriel H. Loh, Doug Burger
Preventing PCM banks from seizing too much power. MICRO (2011)
Jason Oberg, Wei Hu, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Ryan Kastner
Information flow isolation in I2C and USB. DAC (2011)
Xun Li, Mohit Tiwari, Jason Oberg, Vineeth Kashyap, Frederic T. Chong, Timothy Sherwood, Ben Hardekopf
Caisson: a hardware description language for secure information flow. PLDI (2011)
Mohit Tiwari, Jason Oberg, Xun Li, Jonathan Valamehr, Timothy E. Levin, Ben Hardekopf, Ryan Kastner, Frederic T. Chong, Timothy Sherwood
Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security. ISCA (2011)
Jeffrey Browne, Bongshin Lee, Sheelagh Carpendale, Nathalie Henry Riche, Timothy Sherwood
Data analysis on interactive whiteboards through sketch-based interaction. ITS (2011)
Xun Li, Mohit Tiwari, Ben Hardekopf, Timothy Sherwood, Frederic T. Chong
Secure information flow analysis for hardware design: using the right abstraction for the job. PLAS (2010)
Ted Huffmire, Timothy E. Levin, Michael Bilzor, Cynthia E. Irvine, Jonathan Valamehr, Mohit Tiwari, Timothy Sherwood, Ryan Kastner
Hardware trust implications of 3-D integration. WESS (2010)
Hussam Mousa, Kshitij A. Doshi, Timothy Sherwood, ElMoustapha Ould-Ahmed-Vall
VrtProf: Vertical Profiling for System Virtualization. HICSS (2010)
Mohit Tiwari, Xun Li, Hassan M. G. Wassel, Bita Mazloom, Shashidhar Mysore, Frederic T. Chong, Timothy Sherwood
Gate-Level Information-Flow Tracking for Secure Architectures. IEEE Micro 30 (1) (2010)
Jason Oberg, Wei Hu, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Ryan Kastner
Theoretical analysis of gate level information flow tracking. DAC (2010)
Shane Zamora, Timothy Sherwood
Sketch-Based Recognition System for General Articulated Skeletal Figures. SBIM (2010)
Jonathan Valamehr, Mohit Tiwari, Timothy Sherwood, Ryan Kastner, Ted Huffmire, Cynthia E. Irvine, Timothy E. Levin
Hardware assistance for trustworthy systems through 3-D integration. ACSAC (2010)
Xun Li, Mohit Tiwari, Timothy Sherwood, Frederic T. Chong
Function flattening for lease-based, information-leak-free systems. ASAP (2010)
Ted Huffmire, Timothy E. Levin, Thuy D. Nguyen, Cynthia E. Irvine, Brett Brotherton, Gang Wang, Timothy Sherwood, Ryan Kastner
Security Primitives for Reconfigurable Hardware-Based Systems. ACM Trans. Reconfigurable Technol. Syst. 3 (2) (2010)
Susmit Biswas, Diana Franklin, Timothy Sherwood, Frederic T. Chong
Conflict-Avoidance in Multicore Caching for Data-Similar Executions. ISPAN (2009)
Nitin Kataria, Forrest Brewer, João Pedro Hespanha, Timothy Sherwood
Metric Based Multi-Timescale Control for Reducing Power in Embedded Systems. J. Low Power Electron. 5 (3) (2009)
Banit Agrawal, Timothy Sherwood
High-bandwidth network memory system through virtual pipelines. IEEE/ACM Trans. Netw. 17 (4) (2009)
Nitin Kataria, Forrest Brewer, João Pedro Hespanha, Timothy Sherwood
Metric Based Multi-Timescale Control for Reducing Power in Embedded Systems. VLSI Design (2009)
Susmit Biswas, Diana Franklin, Alan Savage, Ryan Dixon, Timothy Sherwood, Frederic T. Chong
Multi-execution: multicore caching for data-similar executions. ISCA (2009)
Ryan Dixon, Ömer Egecioglu, Timothy Sherwood
Analysis of Bit-Split Languages for Packet Scanning and Experiments with Wildcard Matching. Int. J. Found. Comput. Sci. 20 (4) (2009)
Mohit Tiwari, Hassan M. G. Wassel, Bita Mazloom, Shashidhar Mysore, Frederic T. Chong, Timothy Sherwood
Complete information flow tracking from the gates up. ASPLOS (2009)
Mohit Tiwari, Shashidhar Mysore, Timothy Sherwood
Quantifying the Potential of Program Analysis Peripherals. PACT (2009)
Susmit Biswas, Diana Franklin, Timothy Sherwood, Frederic T. Chong, Bronis R. de Supinski, Martin Schulz
PSMalloc: content based memory management for MPI applications. MEDEA@PACT (2009)
Mohit Tiwari, Xun Li, Hassan M. G. Wassel, Frederic T. Chong, Timothy Sherwood
Execution leases: a hardware-supported mechanism for enforcing strong non-interference. MICRO (2009)
Ted Huffmire, Timothy Sherwood, Ryan Kastner, Timothy E. Levin
Enforcing memory policy specifications in reconfigurable hardware. Comput. Secur. 27 (5-6) (2008)
Ted Huffmire, Jonathan Valamehr, Timothy Sherwood, Ryan Kastner, Timothy E. Levin, Thuy D. Nguyen, Cynthia E. Irvine
Trustworthy System Security through 3-D Integrated Hardware. HOST (2008)

Timothy Sherwood.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Timothy Sherwood