Manish Vachharajani
University of Colorado System(US)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Embedded Systems Design Techniques, Interconnection Networks and Systems, Distributed systems and fault tolerance, Formal Methods in Verification
Most-Cited Works
- → RIFLE: An Architectural Framework for User-Centric Information-Flow Security(2005)268 cited
- → GPU ACCELERATION OF NUMERICAL WEATHER PREDICTION(2008)220 cited
- → Microarchitectural exploration with Liberty(2002)137 cited
- → FastForward for efficient pipeline parallelism(2008)137 cited
- → Decoupled Software Pipelining with the Synchronization Array(2004)134 cited
- → Compiler optimization-space exploration(2003)119 cited
- → Reliability Modeling and Management of Nanophotonic On-Chip Networks(2010)92 cited
- → Gradual typing with unification-based inference(2008)78 cited