Computer architecture, low-power design, adaptive systems, real-time and network processing, performance evaluation methods and parallel computing.
|
Compilers, software reliability, performance analysis and computer architecture.
|
|
|
Security assessment of SCADA networks, operating system dependability and security, active spaces for ubiquitous computing and the design of peer-to-peer distributed oeprating systems
|
Investigating determinism in HPC, send-determinism and its derivatives, new hybrid fault tolerant protocols, multi-level and diskless checkpointing, system log analysis, root cause finding and fault prediction and optimized checkpointing for cloud computing.
|
Simulation of quantum systems using Monte Carlo methods, random number generators for parallel computers, quantum effects in many particle systems, low temperature physics and materials properties under extreme conditions.
|
Synthesis and architecture exploration for programmable logic devices; CAD for multicore and SoC under process variation; reconfigurable computing; nanoscale IC design and CAD; high-level synthesis (Behavior synthesis); design space exploration for SoC; and algorithmic design and applications.
|
Program transformation, automated refactoring, design & architectural patterns and pattern languages, and broadly interested in concurrency and parallelism, object-oriented frameworks, software development processes, software testing, and software evolution.
|
Image and multi-dimensional signal processing, computational imaging, wavelets and multiscale geometric analysis, and visual information representation.
|
Design and analysis of networked systems
|
Distributed systems and protocols.
|
High performance graphics and shape modeling.
|
parallel computing and numerical analysis, particularly numerical linear algebra and optimization
|
|
|
Adaptive run-time systems, migratable-objects programming model, Charm++ parallel programming system, adaptive MPI, Performance analysis tools, collaborative development of highly scalable parallel applications including biophysics (NAMD), astronomy (ChaNGa) and quantum chemistry (OpenAtom), etc.
|
Security, operating systems, and experimental computer systems.
|
|
|
Computer architecture; CAD/architecture interactions; low power and complexity-effective designs; and fault tolerance and reliability.
|
Optical network architecture, computer architecture, cluster computing, parallel computing, user-level communication and validation and reliability.
|
|
|
Software reliability; software testing and model checking for sequential, parallel, and distributed code; and program transformations (refactorings).
|
Networking and distributed systems.
|
|
|
Program analysis, transformation and optimization strategies.
|
Software analysis and verification, Model checking: algorithms and tools, security, logic and automata theory.
|
High-performance processor design, including massively many-core processors and parallel programming models, such as GPUs
|
Artificial intelligence and theoretical computing.
|
Algorithms and software tools for custom circuit synthesis and optimization and custom architectures for speech recognition.
|
Cyber-physical Systems, formalized reduced complexity architecture patterns, distributed real-time fault tolerant computing systems and dynamic real-time architecture.
|
|
|
Large scale parallel and distributed systems; parallel computer architecture; and parallel programming.
|
Functional magnetic resonance imaging, dynamic imaging, diffusion weighted imaging, magnetic susceptibility, image reconstruction and neuromuscular coupling.
|
Shared-memory parallel computer architecture, low-power design, hardware reliability and software dependability.
|
Computational fluid dynamics, including transport processes in chemical vapor deposition (CVD) reactors, large eddy simulations in continuous casting of steel, microscale mixing, particle transport in turbulent flows and heat transfer in wavy passages.
|
|
|
Data-driven graphical methods, computer animation, mesh editing, image and video processing.
|
Computer architecture, compiler construction, dynamic optimization and computer science/engineering education.
|
