Kevin Angstadt

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 16

Top Topics

Practical Experience

Finite State Automata

Top Venues

SpringSim (HPS)

Publications

Cailani Lemieux Mack, Kevin Leach, Kevin Angstadt
Sensor Data Transplantation for Redundant Hardware Switchover in Micro Autonomous Vehicles. ICCPS (2024)
Kevin Leach, Christopher Steven Timperley, Kevin Angstadt, Anh Nguyen-Tuong, Jason Hiser, Aaron Paulos, Partha P. Pal, Patrick Hurley, Carl Thomas, Jack W. Davidson, Stephanie Forrest, Claire Le Goues, Westley Weimer
START: A Framework for Trusted and Resilient Autonomous Vehicles (Practical Experience Report). ISSRE (2022)
Kevin Angstadt, Tommy Tracy II, Kevin Skadron, Jean-Baptiste Jeannin, Westley Weimer
Synthesizing Legacy String Code for FPGAs Using Bounded Automata Learning. IEEE Micro 42 (5) (2022)
Hammad Ahmad, Colton Holoday, Ian Bertram, Kevin Angstadt, Zohreh Sharafi, Westley Weimer
LOGI: an empirical model of heat-induced disk drive data loss and its implications for data recovery. PROMISE (2022)
Fee Christoph, Westley Weimer, Kevin Angstadt
The Early Bird Gets the Worm: Major Retention in CS3. ITiCSE (2021)
Yujun Qin, Samuel Gonzalez, Kevin Angstadt, Xiaowei Wang, Stephanie Forrest, Reetuparna Das, Kevin Leach, Westley Weimer
MARTINI: Memory Access Traces to Detect Attacks. CCSW@CCS (2020)
Kevin Angstadt, Jean-Baptiste Jeannin, Westley Weimer
Accelerating Legacy String Kernels via Bounded Automata Learning. ASPLOS (2020)
Yu Huang, Kevin Angstadt, Kevin Leach, Westley Weimer
Selective Symbolic Type-Guided Checkpointing and Restoration for Autonomous Vehicle Repair. ICSE (Workshops) (2020)
Kevin Angstadt, Jack Wadden, Westley Weimer, Kevin Skadron
Portable Programming with RAPID. IEEE Trans. Parallel Distributed Syst. 30 (4) (2019)
Matthew Casias, Kevin Angstadt, Tommy Tracy II, Kevin Skadron, Westley Weimer
Debugging Support for Pattern-Matching Languages and Accelerators. ASPLOS (2019)
Kevin Angstadt, Jack Wadden, Vinh Dang, Ted Xie, Dan Kramp, Westley Weimer, Mircea Stan, Kevin Skadron
MNCaRT: An Open-Source, Multi-Architecture Automata-Processing Research and Execution Ecosystem. IEEE Comput. Archit. Lett. 17 (1) (2018)
Jack Wadden, Kevin Angstadt, Kevin Skadron
Characterizing and Mitigating Output Reporting Bottlenecks in Spatial Automata Processing Architectures. HPCA (2018)
Kevin Angstadt, Arun Subramaniyan, Elaheh Sadredini, Reza Rahimi, Kevin Skadron, Westley Weimer, Reetuparna Das
ASPEN: A Scalable In-SRAM Architecture for Pushdown Automata. MICRO (2018)
Ke Wang, Kevin Angstadt, Chunkun Bo, Nathan Brunelle, Elaheh Sadredini, Tommy Tracy II, Jack Wadden, Mircea R. Stan, Kevin Skadron
An overview of micron's automata processor. CODES+ISSS (2016)
Kevin Angstadt, Westley Weimer, Kevin Skadron
RAPID Programming of Pattern-Recognition Processors. ASPLOS (2016)
Kate Highnam, Kevin Angstadt, Kevin Leach, Westley Weimer, Aaron Paulos, Patrick Hurley
An Uncrewed Aerial Vehicle Attack Scenario and Trustworthy Repair Architecture. DSN Workshops (2016)
Kevin Angstadt, Ed Harcourt
A virtual machine model for accelerating relational database joins using a general purpose GPU. SpringSim (HPS) (2015)