research
∙
01/23/2023
Manticore: Hardware-Accelerated RTL Simulation with Static Bulk-Synchronous Parallelism
The demise of Moore's Law and Dennard Scaling has revived interest in sp...
share
research
∙
12/31/2021
Statistical Program Slicing: a Hybrid Slicing Technique for Analyzing Deployed Software
Dynamic program slicing can significantly reduce the code developers nee...
research
∙
08/28/2019
Parallel and Scalable Precise Clustering for Homologous Protein Discovery
This paper presents a new, parallel implementation of clustering and dem...
research
∙
02/02/2019
Fine-Grain Checkpointing with In-Cache-Line Logging
Non-Volatile Memory offers the possibility of implementing high-performa...
research
∙
09/08/2017
