Publications by Kevin Skadron and the LAVA Lab

Please note that papers linked here represent author preprints.   The official, published version must be obtained from the publisher's website or the published print copy.  This material is presented here to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each document's copyright terms. In most cases, these works may not be reposted without the explicit permission of the copyright holder. Permission is given to make digital or hard copies of all or part of this material without fee for personal or classroom use, provided that the copies are not made or distributed for profit or commercial advantage, and that copies bear the appropriate copyright notice and the full bibliographic citation on the first page.  Copyrights for components of this work owned by others must also be honored. To copy otherwise, to republish, to post on servers, to redistribute to lists, etc. requires specific permission and/or a fee.  In particular, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works, must be obtained from the copyright owner.

Please note further that any opinions, findings, conclusions, or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the sponsoring agencies, employers, or publishers.

I no longer maintain this page

( Conference | Journal | Workshop | Posters | Tech. Reports | Student Theses | My Dissertation | Indices | Patents | Software )
(Organized by Subject | Google Scholar Page)
(Return to Kevin's home page)

Conference Papers

Journal and Magazine Papers

Workshop Papers

Refereed Posters, Abstracts, and Presentations

Technical Reports, etc.  (Link to U.Va. Library for archive of  U.Va.-CS technical reports)

Invited Papers/Book Chapters/etc.

Student Theses

PhD dissertations
Masters theses/MCS projects (alphabetical order)
Senior theses (alphabetical order)

My Dissertation
(only one, thank goodness :)



Software Releases

Kevin's home page
Last updated 17 July 2017

This work is currently supported by the National Science Foundation under grant nos. CCF-1629450 (XPS) and CCF-1619127; by DARPA MTO (PERFECT program) under contract HR0011-13-C-0022; by C-FAR, one of six centers of STARnet, a Semiconductor Research Corporation program sponsored by MARCO and DARPA; the Virginia CIT CRCF program under grant MF16-032-IT; Xilinx; an ARCS Scholarship for Jack Wadden; and equipment donations and extended loans from Micron and Xilinx.  The U.Va. Center for Automata Processing (CAP) is supported in part by Micron.