A

A Links

• Aiken, Alex Berkeley - Type systems, static program analysis and abstract interpretation, constraint resolution algorithms, parallel programming, language design, domain specific languages, end user programming, visualization.
  
• Acharya, Anurag University of California, Santa Barbara - Operating systems, architecture, compilers, networking, performance evaluation, active disks, flexible network services, deep memory hierarchies.
  
• Ariola, Zena M. University of Oregon - Programming languages, formal semantics, term rewriting systems, lambda calculus, compilers.
  
• Amarasinghe, Saman MIT - Compiler optimizations, computer architectures, software engineering and parallel computing.
  
• Arvind, V. Institute of Mathematical Sciences, Chennai - Structural Aspects of Complexity Theory, Program Checking and Interactive Proof Systems, Complexity of Learning, and Randomized Computation.
  
• Amin, Adnan University of New South Wales - Document image analysis and recognition, pattern recognition and artificial intelligence, knowledge-based systems, machine learning, and neural networks.
  
• Altenkirch, Thorsten Ludwig-Maximillians University - Type theory, categorical logic, and program verification.
  
• Aït-Kaci, Hassan Simon Fraser University - Constraint-based programming, object-orientation, logical and functional programming, and the design of compilation techniques.
  
• Almeroth, Kevin University of California, Santa Barbara - Computer networks and protocols, large-scale multimedia systems, performance evaluation, distributed systems.
  
• Agrawal, Divyakant University of California, Santa Barbara - Database systems, transaction processing, distributed systems, fault-tolerance, large scale information systems, image databases, workflow management.
  
• Auguston, Mikhail New Mexico State University - Programming languages design and implementation, the design of the compiler writing language RIGAL, software engineering, testing and debugging automation, assertion languages, visual programming languages.
  
• Arun-Kumar, S. Indian Institute of Technology, Delhi - Semantics and Verification
  
• Agha, Gul University of Illinois, Urbana-Champaign - Developing new abstractions for building open distributed systems and reasoning about their behavior. such systems generally have requirements such as parallelism, coordination, availability, and real-time behavior.
  
• Abramsky, Samson University of Edinburgh - Semantics of programming languages, concurrency, game semantics, program analysis.
  
• Arvind MIT - Parallel computing and declarative programming languages, dynamic dataflow architectures, Id.
  
• Alpuente, María Technical University of Valencia, Spain - Logic Programming: semantics, extensions and applications integration of functional and logic programming languages, abstract interpretation, program manipulation.
  
• Augustsson, Lennart Chalmers University of Technology - Functional programming and implementation of functional programming languages, Haskell.
  
• Agrawal, Dharma P. University of Cincinnati - Mobile networks, adhoc networks, distributed systems, automatic parallelism detection and scheduling, systems reliability.