Search Results - "McMahan, Joseph"

LastLayer: Toward Hardware and Software Continuous Integration by Vega, Luis, Roesch, Jared, McMahan, Joseph, Ceze, Luis

“…This article presents LastLayer, an open-source tool that enables hardware and software continuous integration and simulation. Compared to traditional testing…”
Get full text

Trace Wringing for Program Trace Privacy by Dangwal, Deeksha, Cui, Weilong, McMahan, Joseph, Sherwood, Timothy

“…A quantitative approach to optimizing computer systems requires a good understanding of how applications exercise a machine, and real program traces from…”
Get full text

Safe functional systems through integrity types and verified assembly by Christensen, Michael, McMahan, Joseph, Nichols, Lawton, Roesch, Jared, Sherwood, Timothy, Hardekopf, Ben

“…•Zarf is a lambda calculus-based instruction set architecture for program analysis.•We formally describe the ISA's syntax and semantics and prove its…”
Get full text

Bouncer: Static Program Analysis in Hardware by McMahan, Joseph, Christensen, Michael, Dewey, Kyle, Hardekopf, Ben, Sherwood, Timothy

“…When discussing safety and security for embedded systems, we typically divide the world into software checks (which are either static or dynamic) or hardware…”
Get full text

An Architecture for Analysis by McMahan, Joseph, Christensen, Michael, Nichols, Lawton, Roesch, Jared, Guo, Sung-Yee, Hardekopf, Ben, Sherwood, Timothy

“…We propose an architecture controlled by a thin computational layer designed to tightly correspond with the lambda calculus, drawing on principles of…”
Get full text

The ZARF Architecture for Recursive Functions by McMahan, Joseph Earl

“…For highly critical workloads, the legitimate fear of catastrophic failure leads to both highly conservative design practices and excessive assurance costs…”
Get full text

Hiding Intermittent Information Leakage with Architectural Support for Blinking by Althoff, Alric, McMahan, Joseph, Vega, Luis, Davidson, Scott, Sherwood, Timothy, Taylor, Michael, Kastner, Ryan

“…As demonstrated by numerous practical attacks, the physical act of computation emits unintended and damaging information through infinitesimal variations in…”
Get full text

To Catch a Joke Thief, or Copyrighting Vaudeville Acts in the New York Clipper Registry by McMahan, Matthew Joseph

“…In the early part of the twentieth century, the trade publication the New York Clipper created a way for vaudeville artists to claim priority over acts, songs,…”
Get full text

Charm: A Language for Closed-Form High-Level Architecture Modeling by Cui, Weilong, Ding, Yongshan, Dangwal, Deeksha, Holmes, Adam, McMahan, Joseph, Javadi-Abhari, Ali, Tzimpragos, Georgios, Chong, Frederic, Sherwood, Timothy

“…As computer architecture continues to expand beyond software-agnostic microarchitecture to data center organization, reconfigurable logic, heterogeneous…”
Get full text

A pythonic approach for rapid hardware prototyping and instrumentation by Clow, John, Tzimpragos, Georgios, Dangwal, Deeksha, Guo, Sammy, McMahan, Joseph, Sherwood, Timothy

“…We introduce PyRTL, a Python embedded hardware design language that helps concisely and precisely describe digital hardware structures. Rather than attempt to…”
Get full text

Pure Tensor Program Rewriting via Access Patterns (Representation Pearl) by Smith, Gus Henry, Liu, Andrew, Lyubomirsky, Steven, Davidson, Scott, McMahan, Joseph, Taylor, Michael, Ceze, Luis, Tatlock, Zachary

“…Tensor kernels in machine learning (ML) often correspond to pure mathematical expressions, making term rewriting an attractive strategy for optimization and…”
Get full text

Challenging on-chip SRAM security with boot-state statistics by McMahan, Joseph, Weilong Cui, Liang Xia, Heckey, Jeff, Chong, Frederic T., Sherwood, Timothy

“…On-chip memory is regarded by most secure system designers as a safe memory space, beyond the eyes of all but the most sophisticated attackers. Once a value is…”
Get full text

Perineal lipoma simulating perineal hernia by McMAHAN, J N, BLASIOLE, R S

Get more information