Joseph McMahan

17 papers A* 6B 2Journal 6Unranked 2

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	Pure Tensor Program Rewriting via Access Patterns (Representation Pearl). CoRR Gus Henry Smith, Andrew Liu, Steven Lyubomirsky, Scott Davidson, Joseph McMahan, Michael B. Taylor, Luis Ceze, Zachary Tatlock
2021	—	`conf`	Pure tensor program rewriting via access patterns (representation pearl). MAPS@PLDI Gus Henry Smith, Andrew Liu, Steven Lyubomirsky, Scott Davidson, Joseph McMahan, Michael B. Taylor, Luis Ceze, Zachary Tatlock
2021	A*	`conf`	Reticle: a virtual machine for programming modern FPGAs. PLDI Luis Vega, Joseph McMahan, Adrian Sampson, Dan Grossman, Luis Ceze
2021	J	`jnl`	Safe functional systems through integrity types and verified assembly. Theor. Comput. Sci. Michael Christensen, Joseph McMahan, Lawton Nichols, Jared Roesch, Timothy Sherwood, Ben Hardekopf
2020	J	`jnl`	Language Support for Navigating Architecture Design in Closed Form. ACM J. Emerg. Technol. Comput. Syst. Weilong Cui, Georgios Tzimpragos, Yu Tao, Joseph McMahan, Deeksha Dangwal, Nestan Tsiskaridze, George Michelogiannakis, Dilip P. Vasudevan, Timothy Sherwood
2020	J	`jnl`	LastLayer: Toward Hardware and Software Continuous Integration. IEEE Micro Luis Vega, Jared Roesch, Joseph McMahan, Luis Ceze
2020	J	`jnl`	Trace Wringing for Program Trace Privacy. IEEE Micro Deeksha Dangwal, Weilong Cui, Joseph McMahan, Timothy Sherwood
2019	A*	`conf`	Bouncer: static program analysis in hardware. ISCA Joseph McMahan, Michael Christensen, Kyle Dewey, Ben Hardekopf, Timothy Sherwood
2019	A*	`conf`	Safer Program Behavior Sharing Through Trace Wringing. ASPLOS Deeksha Dangwal, Weilong Cui, Joseph McMahan, Timothy Sherwood
2019	—	`—`	The ZARF Architecture for Recursive Functions Joseph McMahan
2018	J	`jnl`	An Architecture for Analysis. IEEE Micro Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, Timothy Sherwood
2018	A*	`conf`	Charm: A Language for Closed-Form High-Level Architecture Modeling. ISCA Weilong Cui, Yongshan Ding, Deeksha Dangwal, Adam Holmes, Joseph McMahan, Ali Javadi-Abhari, Georgios Tzimpragos, Frederic T. Chong, Timothy Sherwood
2018	A*	`conf`	Hiding Intermittent Information Leakage with Architectural Support for Blinking. ISCA Alric Althoff, Joseph McMahan, Luis Vega, Scott Davidson, Timothy Sherwood, Michael B. Taylor, Ryan Kastner
2018	B	`conf`	Information Leakage in Arbiter Protocols. ATVA Nestan Tsiskaridze, Lucas Bang, Joseph McMahan, Tevfik Bultan, Timothy Sherwood
2017	B	`conf`	A pythonic approach for rapid hardware prototyping and instrumentation. FPL John Clow, Georgios Tzimpragos, Deeksha Dangwal, Sammy Guo, Joseph McMahan, Timothy Sherwood
2017	A*	`conf`	An Architecture Supporting Formal and Compositional Binary Analysis. ASPLOS Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, Timothy Sherwood
2017	—	`conf`	Challenging on-chip SRAM security with boot-state statistics. HOST Joseph McMahan, Weilong Cui, Liang Xia, Jeff Heckey, Frederic T. Chong, Timothy Sherwood