May 17, 2019: Mrunal's paper on Runtime Programmable Pipelines for Model Checkers on FPGAs will appear at FPL'19.
May 16, 2019: Our collaboration on Swarm Model Checking on the GPU will appear at SPIN'19.
Apr 22, 2019: Mike has been elevated to the grade of IEEE Senior member.
Apr 19, 2019: Amogh's paper profiling the instruction usage of Linux packages will appear at SYSTOR'19.
March 26, 2019: Our paper on SIMT Massively Parallel Server Processors will appear in CAL.
January 15, 2019: We're organizing the third Data Prefetching Championship that will be held in conjunction with ISCA'19. Please submit your prefetchers!
December 26, 2018: Our collaboration with the bio and algorithms folks on An Efficient, Scalable and Exact Representation of High-Dimensional Color Information Enabled via de Bruijn Graph Search will appear at RECOMB'19.
August 22, 2018: The NSF funds our collaboration on systems for storing and searching bioinformatics data.