Adrian Nistor

Department of Computer Science
University of Illinois at Urbana-Champaign
nistor1 AT illinois DOT edu

I am a second year graduate student. I work with Prof. Josep Torrellas and Prof. Darko Marinov on hardware support
for program verification.

Research Interests

Computer architecture, hardware support for program verification, parallel computing.

Publications

Adrian Nistor, Darko Marinov, Josep Torrellas
Light64: Lightweight hardware support for data race detection during systematic testing of parallel programs
42nd Annual IEEE/ACM International Symposium on Microarchitecture
(MICRO 2009), pages 541—552, New York City, NY, December 2009
Adrian Nistor, Wei-Ngan Chin, Tiow-Seng Tan, Nicolae Tapus
Optimizing the parallel computation of linear recurrences using compact matrix representations
J. of Parallel and Distributed Computing, vol 69, 373—381, January 2009