I2PC Research Faculty
I2PC Director
Josep Torrellas, Director
Area(s) of Expertise: Computer Architecture and Systems, Hardware Design, Speculative Multithreading, Hardware and Software Reliability, Low-Power Design
Contributed to the DASH and Cedar experimental parallel computer prototypes. Leader of the I-acoma project, which has made seminal contributions on shared-memory multiprocessor organization, memory hierarchies, and thread-level speculation. The I-acoma project was selected as a Point-Design Study by the government to advance the arrival of petaflop architectures. Co-leader of the FlexRAM Intelligent Memory Architecture and the DARPA-IBM PERCS High-Productivity Multiprocessor projects. Other contributions include architectures to tolerate process variation and novel tools to debug parallel programs. Many of his former PhD students are now leaders in academia and industry.
Current I2PC Projects: The Bulk Multicore: High-Performance, Programmable Shared Memory
Department: Computer Science
Email: torrella@illinois.edu
I2PC Faculty
Sarita Adve
Area(s) of Expertise: Computer Architecture and Systems, Parallel Computing, Power Management, Reliability
Co-developer of the memory consistency models for the Java and C++ programming languages, which are based on her PhD thesis work on data-race-free memory models. Other significant contributions include the concepts of lifetime reliability aware architecture and dynamic reliability management, work on cross-layer energy management, exploiting instruction-level parallelism for memory system performance, and multiprocessor simulation methods.
Current I2PC Projects: Safe Parallel Programming Languages, DeNovo
Department: Computer Science
Email: sadve@illinois.edu
Vikram Adve
Area(s) of Expertise: Compilers, Programming Languages,Computer Architecture, Performance Modeling
Adve's group created the LLVM Compiler Infrastructure, a novel framework for "lifelong" compilation of programs. Developed an elegant "Integer Set Framework" for compiling data- parallel programs, powerful compiler-based techniques for speeding up simulations of large-scale parallel applications, techniques for mapping low-level performance information to high-level parallel language programs, and analytical techniques for predicting performance of parallel programs and systems.
Current I2PC Projects: Interactive Porting to New Parallel Programming Models, Safe Parallel Programming Languages
Department: Computer Science
Email: vadve@illinois.edu
Danny Dig
Area(s) of Expertise: Refactorings that retrofit parallelism into existing sequential code
Danny's research interests include program transformation, automated refactoring, design and architectural patterns, and broadly interested in concurrency and parallelism, object-oriented frameworks, software development processes, software testing, and software evolution.
Current I2PC Projects: Concurrencer, ReLooper, DPJ, DPJizer
Department: Computer Science
Email: dig@illinois.edu
Minh N. Do
Area(s) of Expertise: Image Formation and Processing
Do's research interests include image and multi-dimensional signal processing, computational imaging, wavelets and multiscale geometric analysis, and visual information representation.
Current I2PC Projects: Computational Imaging and Video
Department: Electrical & Computer Engineering
Email: minhdo@illinois.edu
Maria Garzaran
Area(s) of Expertise: Compilation and Continuous Program Optimization
Generation of library routines for sorting and data mining that adapt to the input, development of analytical models.
Current I2PC Projects: Autotuning, Libraries, Optimizations for Power
Department: Computer Science
Email: garzaran@illinois.edu
John Hart
Area(s) of Expertise: Parallel GPU Algorithms and Computer Graphics
Awarded the first NSF Grant (Revolutionary Computing ITR) for GPGPU,in 2001. Developed Ray Engine, the first GPU implementation of a ray tracer. GPU algorithm work utilized in Microsoft and NVidia products.
Current I2PC Projects: Graphics
Department: Computer Science
Email: jch@illinois.edu
Thomas S. Huang
Area(s) of Expertise: Computer Vision, Image Compression and Enhancement, Pattern Recognition, and Multimodal Signal Processing.
Huang's research lies in two related areas: Multimodal (esp. audio and visual) human computer interaction; and Multimedia (images, video, audio, text) annotation and search. Research projects in the first area include: Visual hand tracing and gesture recognition; audio-visual recognition of gender, age group, and emotion. Projects in the second area include: Web-based face annotation and recognition; multimedia profiling of broadcast news anchors.
Current I2PC Projects: Computational Imaging and Video, ViVid - Vision Video Library
Department: Electrical & Computer Engineering
Email: t-huang@illinois.edu
Wen-mei Hwu
Area(s) of Expertise: Compiler Design, Computer Architecture, Computer Microarchitecture, Parallel Processing
Leads the design of the IMPACT compiler infrastructure. His team created the first HP-PD compiler, which was used by Intel in the early Itanium design process. Received the Grace Murray Hopper Award and the ACM Maurice Wilkes Award for his contributions to instruction-level parallel processing in compilers, computer architecture, and computer microarchitecture. Leads the MARCO/SRC GSRC Concurrent Theme. One of the original founders and serves on the steering committee of Gelato, a consortium for improving compiler and OS software for Itanium.
Current I2PC Projects: Gluon: Interface for Trusted Programming
Department: Electrical & Computer Engineering
Email: w-hwu@illinois.edu
Ralph Johnson
Area(s) of Expertise: Software Design, Software Reuse, and Programming Environments.
One of four co-authors of "Design Patterns", a seminal book on software design. Leader of the group that developed the first refactoring tool, the Smalltalk Refactoring Browser. Leader of the group that developed Photran, a widely used open-source Fortran-77 and Fortran-90 IDE.
Worked on frameworks for compilers, operating systems, graphics
editors, music generation, network protocol stacks, telephone billing,
insurance, and stellar simulation.
Current I2PC Projects: Patterns, Interactive Porting to New Parallel Programming Models
Department: Computer Science
Email: rjohnson@illinois.edu
Laxmikant Kale
Area(s) of Expertise: Parallel Programming, Dynamic Adaptation, Science and Engineering Applications
Developed Charm++ Parallel Programming System and its ideas of automatic adaptive runtime systems. Co-developed some of the most scalable science and engineering applications, including NAMD for biomolecular simulations, and ChaNGa for gravity simulations in cosmology. Earlier work resulted in some of the most effective strategies for parallel state-space search.
Department: Computer Science
Email: kale@illinois.edu
Sam King
Area(s) of Expertise: Secure and Robust Software Systems
King's research interests are in designing, implementing, and analyzing secure and robust software systems. His current and future work spans across all levels of software from low-level virtual-machine monitor and operating system software to high-level application code.
Current I2PC Projects: Secure Web Browsing
Department: Computer Science
Email: kingst @illinois.edu
Darko Marinov
Area(s) of Expertise: Software Testing, Program Analysis and Transformation
Released two open-source tools for testing programs with structurally complex inputs, which found dozens of bugs in Eclipse, NetBeans, and several academic projects. Recent work on parallel test generation and execution done in collaboration with Google.
Current I2PC Projects: Verification and Validation
Department: Computer Science
Email: marinov@illinois.edu
Klara Nahrstedt
Area(s) of Expertise: Quality of Service Management, Multimedia Systems, QoS-aware Resource Management
Research interests in services and protocols for provision of end-to-end quality of services within distributed multimedia systems. Her research group works on time-variant QoS management, QoS routing, multimedia middleware, peer-to-peer networks, multimedia services for smart rooms, pervasive computing, multimedia operating systems, adaptive cross-layer design of resource management for multimedia mobile systems, and HDTV distribution protocols.
Current I2PC Projects: Tele-immersion
Department: Computer Science
Email: klara@illinois.edu
David Padua
Area(s) of Expertise: Compilers/Library Generators
Contributed to several areas related to parallel computing including auto parallelization, debugging, parallel machine organization, parallel programming languages, parallel algorithms and automatic library generation. His work on coarse-grain parallelization of do loops, race detection using trace analysis and signal processing library generation has been particularly influential. He has long standing collaborations with several faculty members at Illinois as well as members of other institutions including Carnegie-Mellon University, IBM Research, Intel and Purdue University.
Current I2PC Projects: Tele-immersion, Autotuning, Libraries, Optimizations for Power
Department: Computer Science
Email: padua@illinois.edu
Madhu Parthasarathy
Area(s) of Expertise: Bug-finding, Model-checking, Verification, and Automata Theory
Interests span the areas of model-checking, static analysis, and verification of software, with emphasis on automated techniques that rely on sophisticated theoretical ideas that offer scalable solutions. He has implemented several novel techniques and tools: the theory of visibly pushdown automata to depict software models with recursion, temporal and modal logics to describe local and global program flows in programs, automatic interface synthesis tools (Jist) using computational learning, algorithms and tools for finding bugs in concurrent software using notions of causal atomicity and serializability, a tool called Getafix that model-checks boolean abstractions of programs using ideas from solving games, and several fundamental results on model-checking recursive and concurrent program abstractions. A current focus is to utilize atomicity properties to detect vulnerabilities in a concurrent system under test.
Current I2PC Projects: Verification and Validation
Department: Computer Science
Email: madhu@illinois.edu
Sanjay Patel
Area(s) of Expertise: High-performance processor microarchitecture, Processor reliability
Having recently designed chips for gaming, physical simulation and visualization, Patel is interested in examining many-core processing and accelerator systems for the emerging revolution in visually-oriented,interactive applications. Patel has extensive industry experience having done architecture, hardware verification, logic design, and performance modeling at Digital Equipment Corporation, Intel Corporation, HAL Computer Systems, Transmeta, and Ageia Technologies. He is currently the Chief Architect and Technologist at Ageia Technologies.
Current I2PC Projects: Computational Imaging and Video, ViVid - Vision Video Library, Rigel: 1000+ Core Architectures for Throughput-Oriented Computing
Department: Electrical & Computer Engineering
Email: sjp@illinois.edu