The Computing Innovation Fellows Project

Recently Listed Mentors interested in:
Programming Languages / Compilers

• Newer Entries »
• David Kirk at NVIDIA Research (Santa Clara, CA)
  Keywords: Parallel Computing, GPU Computing, GPGPU, Graphics/Visualization, Realistic Rendering, Parallel/Heterogeneous Computing Architecture 20May, 2009
• Steven Parker at NVIDIA Research (Salt Lake City, UT)
  Keywords: Interactive ray tracing, GPU computing, domain-specific languages and compilers for graphics, parallel graphics and visualization 20May, 2009
• Bill Dally at NVIDIA Research (Santa Clara, CA)
  Keywords: Parallel computer architecture, memory architecture, interconnection network architecture, parallel programming systems, compilers, stream processing. 20May, 2009
• Yuanyuan Zhou at University of California, San Diego (San Diego, CA)
  Keywords: software reliability, operating systems, storage systems, power management, software bug detection, concurrent program correctness, failure diagnosis, system mining and apply machine learning in systems 20May, 2009
• Stephen Bloch (and colleagues) at Adelphi University (Garden City, NY)
  Keywords: first-year courses, non-major courses, functional programming, logic, complexity theory, analysis of algorithms, information security, Accessible Computing, database testing 20May, 2009
• Norman Ramsey at Tufts University (Medford, MA)
  Keywords: programming languages, functional programming, compilers, file synchronization, distributed revision control, distributed computing, git, darcs, mercurial, hg, bzr, bazaar, unison 20May, 2009
• Guang Gao at University of Delaware (Newark, Delaware)
  Keywords: High-End Computing, Extrme-Scale Computing, Exa-Scale Computing, Computer architecture, parallel system software, parallel applications 20May, 2009
• Kim Hazelwood at University of Virginia (Charlottesville, VA)
  Keywords: dynamic binary instrumentation, virtual machines, computer architecture, program analysis, optimizing compilers, embedded systems, hardware-software co-design, adaptive optimization, heterogeneous architectures, power-aware computing 20May, 2009
• Matthew Might at University of Utah (Salt Lake City, UT)
  Keywords: compilers, programming languages, static analysis, abstract interpretation, higher-order, functional, theorem proving, model checking, positive assurance, automatic parallelization, optimization, verification, security 19May, 2009
• Gopalan Nadathur at Department of Computer Science and Engineering, University of Minnesota (Minneapolis, MN)
  Keywords: programming language design and implementation, compilers, type theory, formal methods, proof theory, computer assisted reasoning 19May, 2009
• Huiyang Zhou at University of Central Florida (Orlando, FL)
  Keywords: Many-core architecture and programming, GPGPU, architectural support for system dependability, architectural support for security, architectural support for software debugging, high performance microarchitecture, compiler optimization 19May, 2009
• Rastislav Bodik at University of California Berkeley (Berkeley, CA)
  Keywords: program synthesis (analysis, verification, decision procedures, language design); parallel web browsers for low-power devices (high-level language design and implementation, parallel algorithms); education in programming languages and compilers. 19May, 2009
• Michael Garland at NVIDIA Research (Santa Clara, CA)
  Keywords: parallel programming, parallel algorithms, parallel architecture, manycore processors, GPU computing, GPGPU, combinatorial algorithms, geometry processing, visualization 19May, 2009
• Guy Blelloch at Carnegie Mellon University (Pittsburgh, PA)
  Keywords: Parallel Algorithms, Applied Algorithms, Dynamic Algorithms, Programming Languages 19May, 2009
• Satish Narayanasamy at University of Michigan (Ann Arbor, Michigan)
  Keywords: Parallel Programming tools and models, Multi-core processors, Reliability, Graphics Processors, Program Analysis, Architectural support for Debugging/Reliability/OS, Data Race, Atomicity violations, Sampling, Replay 19May, 2009
• Satish Narayanasamy at University (Ann Arbor, Michigan)
  Keywords: Parallel Programming tools and models, Multi-core processors, Reliability, Graphics Processors, Program Analysis, Architectural support for Debugging/Reliability/OS, Data Race, Atomicity violations, Sampling, Replay 19May, 2009
• Gang Tan at Lehigh University (Bethlehem, PA)
  Keywords: language interoperation, language-based security, certified code, binary rewriting, programming languages 19May, 2009
• Zachary Dodds at Harvey Mudd College Computer Science (department) (Claremont, CA)
  Keywords: This is a primarily teaching position at a science, math, and engineering-focused liberal arts college. We encourage applicants from any specialty who have a passion for teaching and working with students. 19May, 2009
• Enrico Pontelli at New Mexico State University (Las Cruces, NM)
  Keywords: Declarative Languages, Assistive Technologies, Ontologies for Bioinformatics, Reasoning about Actions and Change 18May, 2009
• David Luebke at NVIDIA Research (Santa Clara, CA)
  Keywords: computer graphics, GPU computing, GPGPU, parallel computing, computer architecture 18May, 2009
• Mitchell Wand at Northeastern University (Boston, MA)
  Keywords: semantics, macros, types, analysis, concurrency, continuations 18May, 2009
• Uli Kremer at Rutgers University (New Brunswick, NJ)
  Keywords: Programming languages, compilers, runtime systems, dynamic out-door networks, autonomous underwater vehicles 18May, 2009
• Lawrence Rauchwerger at Texas A&M University (College Station, TX)
  Keywords: parallel, compilers, library, C++, STL, autoparallelization, TLS, speculation, DSM, Runtime system, MPI, OpenMP, RMI, multicore, manycore, petascale 18May, 2009
• Christopher Lynch at Clarkson University (Potsdam, NY)
  Keywords: Automated Deduction, Rewriting, Cryptographic Protocol Analysis, Software Verification, Formal Methods 18May, 2009
• David August at Princeton University (Princeton, NJ)
  Keywords: multicore, compilers, architecture, parallelization 18May, 2009
• Venkat Venkatakrishnan at University of illinois at Chicago (Chicago, IL)
  Keywords: security, privacy, program analysis, monitoring, information flow, browsers, web applications, 18May, 2009
• Patrick Eugster at Purdue University (West Lafayette, IN)
  Keywords: Programming languages, distributed systems, middleware 18May, 2009
• Ali-Reza Adl-Tabatabai at Intel Research (Santa Clara, CA)
  Keywords: programming language design and implementation, and hardware support for programming languages. 18May, 2009
• Daniel Friedman at Computer Science Department, Indiana University (Bloomington, IN)
  Keywords: keyword, keyword, keyword, ... design, relational, declarative, logic, programming, languages, running backwards, implementation 18May, 2009
• Nathan Clark at Georgia Institute of Technology (Atlanta, GA)
  Keywords: data structure detection, software parallelization, program analysis, dynamic application tuning, architecture support for dynamic compilation and program optimization. 18May, 2009
• Chen Ding at University of Rochester (Rochester, NY)
  Keywords: multi-core, cluster computing, parallelization, memory hierarchy management, program locality, reuse distance 18May, 2009
• Dean Tullsen at UCSD (San Diego, CA)
  Keywords: multicore architectures, multithreaded architectures, energy-efficient architectures, compiling for all of the above. 18May, 2009
• William Cook at University of Texas at Austin (Austin, TX)
  Keywords: Modeling languages, Domain-specific languages, Programming Languages, Types, Partial Evaluation, Distributed Computing, Authorization, User Interfaces, Object-oriented programming, Information systems 17May, 2009
• John Mellor-Crummey at Rice University (Houston, TX)
  Keywords: high performance computing, parallel computing, multicore computing, parallel programming systems (compilers, performance tools, correctness tools), autotuning, dynamic optimization 17May, 2009
• Frank Pfenning at Carnegie Mellon University (Pittsburgh, PA)
  Keywords: programming languages, logic, type theory, logical frameworks, automated deduction, trustworthy computing, logic-based security, logic programming 17May, 2009
• Amr Sabry at Indiana University (Bloomington, IN)
  Keywords: continuations, monads, arrows, types, logic, quantum computing 17May, 2009
• Kathi Fisler at WPI (Worcester, MA)
  Keywords: Security policy analysis, pedagogic programming environments, deriving formal specifications from informal documentation, formal verification. 17May, 2009
• Michael Taylor at UCSD Laboratory for Effective Parallelism (La Jollla, CA)
  Keywords: manycore, heterogeneous, architectures, tiled, tile, multicore, parallelizing, compilers, MATLAB, computer vision, software engineering, tools, source-to-source transformations, specialized architectures, chip fabrication, VLSI, network on chip, NOC, LLVM 16May, 2009
• Nancy Amato at Parasol Lab, Computer Science and Engineering, Texas A&M University (College Station, TX)
  Keywords: computational biology, computational geometry, computational science, motion planning and robotics, parallel and distributed computing, parallel algorithms, performance modeling and optimization 16May, 2009
• Gabriel Dos Reis at Texas A&M University (College Station,TX)
  Keywords: Programming Languages Compilers Computer Algebra Computational Geometry Embedded Systems Theorem Proving Parallel computing 16May, 2009
• Martin Erwig at Oregon State University (Corvallis, Oregon)
  Keywords: language design, functional programming, visual languages, domain-specific languages, end-user programming 16May, 2009
• Jonathan Aldrich at Carnegie Mellon University (Pittsburgh, PA)
  Keywords: Programming languages, Type systems, Verification, Concurrency, Security. Current language projects include concurrency, typestate, better software architecture and framework abstractions, principled web programming, and an educational proof assistant. 16May, 2009
• Dan Grossman at University of Washington, Department of Computer Science & Engineering (Seattle, WA)
  Keywords: programming languages, program analysis, semantics, parallel, concurrent, type systems, transactional memory 16May, 2009
• Matthias Felleisen at PLT, Northeastern University (Boston, MA)
  Keywords: gradual and incremental introduction of types, software contracts (run-time verification and theorem proving), models of computation, pragmatics of programming, introductory computing curricula, functional programming languages 16May, 2009
• Jeremy Siek at University of Colorado at Boulder (Boulder, CO)
  Keywords: programming language design, generic programming, type systems, gradual typing, metaprogramming, C++ templates, Python. 16May, 2009
• Sarita Adve at University of Illinois at Urbana-Champaign (Urbana, IL)
  Keywords: multicore architecture, memory hierarchy, cache coherence, parallel programming models, deterministic programming, reliability, energy-efficient computing, resilient system design. 16May, 2009
• Mary Hall at University of Utah School of Computing (Salt Lake City, UT)
  Keywords: auto-tuning, compiler optimization, parallel computing, architecture-specific optimization, multimedia extensions, locality and parallelism, extreme scale parallel software, GPU computing 16May, 2009
• Sanjay Rajopadhye at Colorado State University (Fort Collins CO)
  Keywords: automatic parallelization, polyhedral model, GPU computing, iteration space tiling, massive parallelism, functional/declarative programming, performance tuning 15May, 2009