Kevin Angstadt

According to our database, Kevin Angstadt authored at least 17 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Synthesizing Legacy String Code for FPGAs Using Bounded Automata Learning.

Kevin Angstadt, Tommy Tracy II, Kevin Skadron, Jean-Baptiste Jeannin, Westley Weimer

IEEE Micro, 2022

LOGI: an empirical model of heat-induced disk drive data loss and its implications for data recovery.

Hammad Ahmad, Colton Holoday, Ian Bertram, Kevin Angstadt, Zohreh Sharafi, Westley Weimer

Proceedings of the 18th International Conference on Predictive Models and Data Analytics in Software Engineering, 2022

START: A Framework for Trusted and Resilient Autonomous Vehicles (Practical Experience Report).

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

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

2021

The Early Bird Gets the Worm: Major Retention in CS3.

Fee Christoph, Westley Weimer, Kevin Angstadt

Proceedings of the ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V.1, Virtual Event, Germany, June 26, 2021

2020

Improving Programming Support for Hardware Accelerators Through Automata Processing Abstractions.

Kevin Angstadt

PhD thesis, 2020

Selective Symbolic Type-Guided Checkpointing and Restoration for Autonomous Vehicle Repair.

Yu Huang, Kevin Angstadt, Kevin Leach, Westley Weimer

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

MARTINI: Memory Access Traces to Detect Attacks.

Yujun Qin, Samuel Gonzalez, Kevin Angstadt, Xiaowei Wang, Stephanie Forrest, Reetuparna Das, Kevin Leach, Westley Weimer

Proceedings of the CCSW'20, 2020

Accelerating Legacy String Kernels via Bounded Automata Learning.

Kevin Angstadt, Jean-Baptiste Jeannin, Westley Weimer

Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020

2019

Portable Programming with RAPID.

Kevin Angstadt, Jack Wadden, Westley Weimer, Kevin Skadron

IEEE Trans. Parallel Distributed Syst., 2019

Debugging Support for Pattern-Matching Languages and Accelerators.

Matthew Casias, Kevin Angstadt, Tommy Tracy II, Kevin Skadron, Westley Weimer

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2018

MNCaRT: An Open-Source, Multi-Architecture Automata-Processing Research and Execution Ecosystem.

Kevin Angstadt, Jack Wadden, Vinh Dang, Ted Xie, Dan Kramp, Westley Weimer, Mircea Stan, Kevin Skadron

IEEE Comput. Archit. Lett., 2018

ASPEN: A Scalable In-SRAM Architecture for Pushdown Automata.

Kevin Angstadt, Arun Subramaniyan, Elaheh Sadredini, Reza Rahimi, Kevin Skadron, Westley Weimer, Reetuparna Das

Proceedings of the 51st Annual IEEE/ACM International Symposium on Microarchitecture, 2018

Characterizing and Mitigating Output Reporting Bottlenecks in Spatial Automata Processing Architectures.

Jack Wadden, Kevin Angstadt, Kevin Skadron

Proceedings of the IEEE International Symposium on High Performance Computer Architecture, 2018

2016

An Uncrewed Aerial Vehicle Attack Scenario and Trustworthy Repair Architecture.

Kate Highnam, Kevin Angstadt, Kevin Leach, Westley Weimer, Aaron Paulos, Patrick Hurley

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

An overview of micron's automata processor.

Ke Wang, Kevin Angstadt, Chunkun Bo, Nathan Brunelle, Elaheh Sadredini, Tommy Tracy II, Jack Wadden, Mircea R. Stan, Kevin Skadron

Proceedings of the Eleventh IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2016

RAPID Programming of Pattern-Recognition Processors.

Kevin Angstadt, Westley Weimer, Kevin Skadron

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

2015

A virtual machine model for accelerating relational database joins using a general purpose GPU.

Kevin Angstadt, Ed Harcourt

Proceedings of the Symposium on High Performance Computing, 2015