The Computing Innovation Fellows Project

Recently Listed Mentors interested in:
Programming Languages / Compilers

• « Older Entries
• Andrew Chien at University of Chicago, Department of Computer Science (Chicago, Illinois)
  Keywords: computer architecture, heterogeneous, GPU's, exascale; global scale infrastructure, data-intensive computing; programming models and tools Beyond Moore's Law 25May, 2011
• Cormac Flanagan at University of California, Santa Cruz (UCSC)
  Keywords: Concurrency, Parallelism, Programming Languages, Type Systems, Verification, Security. 19May, 2011
• Ranjit Jhala at University of California, San Diego (San Diego, CA)
  Keywords: Programming Languages, Software Engineering, Software Verification, Model Checking, Program Analysis, Automated Deduction, Web Security, Refinement Types. 19May, 2011
• Keshav Pingali at The University of Texas at Austin (Austin Texas)
  Keywords: Programming languages, multicore processors, parallel programming, graph computations, irregular algorithms, compilers, runtime systems 16May, 2011
• Jeff Foster at University of Maryland, College Park (College Park, MD)
  Keywords: Programming languages, software engineering, security, type systems, scripting languages, symbolic execution, static analysis, program synthesis 12May, 2011
• Yin Wang at Hewlett-Packard Labs (Palo Alto, CA)
  Keywords: Control, Compiler, Program Analysis, Parallel Computing, Operating Systems, Service-Oriented Architecture, Business Process Management, Mobile Computing, Stream Processing, Distributed Computing, Data Analysis, Data Mining, Geographic Information Systems 12May, 2011
• Michelle Strout at Colorado State University (Fort Collins, CO)
  Keywords: programming language design and implementation, compilers, parallel computing, sparse polyhedral framework, inspector/executor strategies, molecular dynamics simulations, sparse matrix computations, scientific computing, high performance computing 11May, 2011
• Lori Pollock at University of Delaware (Newark, Delaware)
  Keywords: automating software testing support, automatically analyzing word usage in software for improved software maintenance tools, analyzing and optimizing parallel programs, building automatic program analysis for software developer tools 11May, 2011
• Barbara Ryder at Virginia Tech (Blacksburg, VA)
  Keywords: static and dynamic program analysis, software quality, testing, debugging, security 10May, 2011
• Ganesh Gopalakrishnan at University of Utah, School of Computing (Salt Lake City, UT)
  Keywords: Dynamic Verification, Static Analysis, and Symbolic Analysis for Bug Hunting and Test Generation of Parallel and Concurrent Programs (e.g., MPI, CUDA, OpenCL) 9May, 2011
• Emery Berger at University of Massachusetts, Amherst (Amherst, MA)
  Keywords: Programming languages, runtime systems, operating systems, memory management, concurrency, scalability, security, reliability, resilient runtime systems, error tolerance, error detection, error correction, randomization 9May, 2011
• Supratik Mukhopadhyay at Louisiana State University (Baton Rouge, LA)
  Keywords: Formal verification of embedded firmware, Program termination analysis, Program synthesis, Activity-based intelligence, Formal foundations of parallel execution models, New paradigms in machine learning, Formal reasoning about psychology 8May, 2011
• Alex Veidenbaum at University of California Irvine (Irvine, CA)
  Keywords: Computer architecture, low power design, compiler/architecture interaction 8May, 2011
• Stephane Lafortune at University of Michigan, EECS Department (Ann Arbor, MI)
  Keywords: deadlock avoidance, multithreaded programs, discrete control theory, discrete event systems, computer systems 8May, 2011
• Neha Rungta at NASA Ames Research Center (California, USA)
  Keywords: Software verification and validation, software testing, static and dynamic analysis, model checking, symbolic execution, incremental analysis, control-flow analysis, bug detection 7May, 2011
• Moshe Vardi at Rice University (United States)
  Keywords: database theory, logic and computation, formal methods, model checking, symbolic reasoning 7May, 2011
• David Brooks at Harvard University (Cambridge, MA)
  Keywords: Computer architecture Energy-Efficient computing Technology-aware computer design Heterogeneous architecture and system design Automatic parallelization of irregular workloads 7May, 2011
• Scott Smolka at Stony Brook University (Stony Brook, NY)
  Keywords: Model Checking, Formal Methods, Process Algebra, Formal Verification, Security Protocols, Systems Biology, Embedded Systems, Hybrid Systems, Ad Hoc Network Protocols 6May, 2011
• Uzi Vishkin at Univ. of Md Institute for Advanced Computer Studies (UMIACS) (College Park, MD)
  Keywords: Parallel algorithms, compilers, architecture, application, education of parallelism, bioinformatics, machine learning, security, OS, and SW architectures. 6May, 2011
• Michael Taylor at UC San Diego (San Diego, CA)
  Keywords: GreenDroid Conservation Cores Multicore dark silicon Kremlin dynamic program analysis compilers shadow memory parallelism critical path analysis tiled openimpact llvm mobile accelerators specialized logic performance analysis cloud manycore GPUs. 6May, 2011
• Robert Harper at Carnegie Mellon University (Pittsburgh, PA)
  Keywords: Type theory, proof theory, category theory, semantics, verification, logical frameworks, compilers, functional programming, module systems, dependent types, homotopy type theory 6May, 2011
• Andre Platzer at Carnegie Mellon University (Pittsburgh, PA)
  Keywords: Logic, Hybrid systems, Formal methods, Formal Verification, Cyber-physical systems, Embedded systems, Automated theorem proving, Model checking, Mobile Ubiquitous Embedded Computing, Programming Languages, Compilers Software Engineering 6May, 2011
• Edward Lee at UC Berkeley (Berkeley, CA)
  Keywords: Embedded software, real-time software, model-based design, concurrency, domain-specific languages, code generation, metaprogramming 5May, 2011
• David Naumann at Stevens Institute of Technology (Hoboken, New Jersey)
  Keywords: program verification, verification methodology, semantics, static analysis, program transformation, refinement, correct by construction, security, information flow, mobile applications, ad hoc networks, software engineering 5May, 2011
• Hridesh Rajan at Iowa State University (Ames, IA)
  Keywords: concurrent programming language features, modularity, modular reasoning and understanding, advanced separation of concerns, programming language design, semantics, implementation, and optimization 5May, 2011
• Zhong Shao at Yale University (New Haven, CT)
  Keywords: Certified Software; Concurrency;Proof-Carrying Code; Language-Based Security; Program Verification; Certified OS Kernels; Certifying Compilers; Formal Methods; Dependently Typed Programming Languages; Dependable Software 5May, 2011
• Eliot Moss at University of Massachusetts Amherst (Amherst, MA)
  Keywords: language design and implementation; compilation and virtual machines; garbage collection; architectural simulation; automatic generation of compilers and simulators; transactional programming; transactional memory; chaos theory, many-core systems 5May, 2011
• Scott Mahlke at University of Michigan (Ann Arbor, MI)
  Keywords: computer architecture, accelerators, energy efficient architectures, mobile computing systems, graphics processing units, reliable processor design, embedded systems, compilers for multicore, stream computing, automatic parallelization 5May, 2011
• Yan Zhao at HP Labs (Palo Alto, CA)
  Keywords: GPU computing, GUI development, molecular dynamics, quantum chemistry, materials modeling 5May, 2011
• Dan Grossman at University of Washignton (Seattle, WA)
  Keywords: programming language design, implementation, and theory; the hardware/software interface; parallel programming; concurrent programming; web applications 5May, 2011
• Robert Grimm at New York University (New York, NY)
  Keywords: programming languages, compilers, language processors, extensible languages, extensible systems, language composition 5May, 2011
• Luis Ceze at University of Washington (Seattle, WA)
  Keywords: Multicore/multiprocessor systems, software reliability, concurrency debugging. Architecture support for OS, compiler and programming languages. Programming models and tools for parallelism/concurrency. 5May, 2011
• David Brumley at Carnegie Mellon University (Pittsburgh, PA)
  Keywords: security, privacy, malware, program analysis, exploit 5May, 2011
• Nate Foster at Cornell University (Ithaca, NY)
  Keywords: programming languages, databases, networks, security 5May, 2011
• Matthew Dwyer at University of Nebraska - Lincoln (Lincoln, NE)
  Keywords: software verification and validation, testing, runtime monitoring, static analysis, model checking, symbolic execution, program specification, embedded systems 4May, 2011
• John Regehr at University of Utah (Salt Lake City, UT)
  Keywords: embedded systems, reliability, testing, optimization, bug-finding, sensor networks 4May, 2011
• Suresh Jagannathan at Purdue University (West Lafayette, IN)
  Keywords: Programming Languages and Compilers, Static and Dynamic Program Analysis, Concurrency, Functional Programming, Testing, Type Systems, Specification Inference, Memory Models, Verification, Debugging, Transactional Memory, Distributed Programming, 4May, 2011
• Trevor Mudge at The University of Michigan (Ann Arbor, Michigan, 48109-2121)
  Keywords: computer architecture energy aware computing low power 20May, 2010
• Michael Ernst at Univesity of Washington (Seattle, WA)
  Keywords: programmer productivity, software engineering, programming languages, security, testing, type systems, static analysis, dynamic analysis, bug detection, refactoring, verification 20May, 2010
• Laxmikant Kale at University of Illinois at Urbana-Champaign (Urbana, Illinois)
  Keywords: parallel programming, high performance computing, frameworks, load balancing, languages, multicore, scientific applications, exascale, exaflops, petaflops, adaptive runtime systems, fault tolerance 20May, 2010
• Sanjay Rajopadhye at Colorado State University (Fort Collins, CO)
  Keywords: data- and compute-intensive programs, polyhedral model, automatic parallelization, tiling and program transformation, equational and declarative programming, multi- and many-core platforms, energy-optimization 11May, 2010
• Azer Bestavros at Boston University, Computer Science Department (Boston, MA)
  Keywords: Cloud Computing, Content Distribution Networks, Peer-to-peer Systems, Real-Time Systems, Cyber-Physical Systems, Network Science, Mechanism Design for Distributed Systems and Applications, Application of Formal Methods to Networked Systems. 10May, 2010
• Swarat Chaudhuri at Pennsylvania State University (University Park, PA)
  Keywords: Program analysis, Verification, Automated reasoning, Semantics, Mathematical analysis, Continuity, Calculus 10May, 2010
• Onur Mutlu at Carnegie Mellon University (Pittsburgh, PA)
  Keywords: Multi-core systems, memory systems, on-chip networks, quality-of-service, emerging memory technologies, multi-core resource management, architecture/OS interaction, architectural support for safe/managed/parallel programming languages, hardware security issues, fault tolerance 7May, 2010
• R Sekar at Stony Brook University (Stony Brook, NY)
  Keywords: Software security, malware defense, intrusion detection program analysis, program transformation, binary rewriting, OS virtualization 3May, 2010
• Saman Amarasinghe at MIT (Cambridge, MA)
  Keywords: Compiler, programming languages, parallel programming, virtual machines, security 3May, 2010
• Bor-Yuh Evan Chang at University of Colorado at Boulder (Boulder, CO)
  Keywords: program analysis, user-centric development tools, language design, verification, shape analysis, types 3May, 2010
• Nikos Hardavellas at Northwestern University (Evanston, IL)
  Keywords: Parallel systems architecture and runtime environments, memory systems, heterogeneous multicores, parallel programming models, resilient system design, energy-aware computing, intersection of OS and architecture, intersection of architecture and DBMS 1May, 2010
• Alex Liu at Michigan State University (East Lansing, Michigan)
  Keywords: networking, security, algorithms, privacy, systems, Internet, measurement, protocol, performance, router design, policy, packet classification, firewall, TCAM optimization, packet processing. 1May, 2010
• Mahesh Viswanathan at University of Illinois, Urbana-Champaign (Urbana, IL)
  Keywords: model checking, software verification, hybrid and embedded system verification, probabilistic system verification, logic, automata theory 30April, 2010