The Computing Innovation Fellows Project

Recently Listed Mentors interested in:
Programming Languages / Compilers

• « Older Entries
• 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
• Hridesh Rajan at Iowa State University (Ames, IA)
  Keywords: modularity in software design, synergy between modularity and concurrency, modular reasoning and its impact on potential concurrency in program design, implicitly concurrent programming languages 13May, 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
• 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. 10May, 2010
• Phillip Gibbons at Intel Labs (Pittsburgh, PA)
  Keywords: Parallel and distributed computing, flash-savvy algorithms and systems, bridging theory and systems 9May, 2010
• Ganesh Gopalakrishnan at University of Utah, School of Computing (Salt Lake City, UT)
  Keywords: Verification of Concurrent Systems built using Real APIs and Libraries (MPI, Pthreads, MCAPI, CUDA) providing formal guarantees; Concurrency Education; Multicore Computing; Environments for Effective Concurrency Debugging; Parallelism for Verification 9May, 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
• 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 7May, 2010
• 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 5May, 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
• Yu Zhang (and Colleagues) at Trinity University (San Antonio, TX)
  Keywords: Liberal arts teaching, Undergraduate research 2May, 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
• 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. 30April, 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
• Darko Stefanovic at University of New Mexico (Albuquerque, NM)
  Keywords: Molecular computing, Molecular robotics, Compilation, Garbage collection, Virtual machines, Functional languages, Chemical networks, Bioinformatics 29April, 2010
• Crista Lopes at University of California, Irvine (Irvine, CA)
  Keywords: Source code search, distributed systems 29April, 2010
• Marc Snir at University of Illinois at Urbana-Champaign (Urbana, IL)
  Keywords: Parallel Computing, parallel programming environment, multicore computing, high performance computing 29April, 2010
• Thomas Reps at University of Wisconsin (Madison, WI)
  Keywords: program analysis; abstract interpretation; model checking; verification of program properties; dynamic, static, and symbolic techniques; security; analysis of machine code; linked data structures; concurrency; information assurance 29April, 2010
• Matthew Might at University of Utah (Salt Lake City, Utah)
  Keywords: optimization, parallelism, security, verification, static analysis, abstract interpretation, control-flow analysis, functional programming, object-oriented programming 28April, 2010
• David Brumley at Carnegie Mellon University (Pittsburgh, PA)
  Keywords: security, privacy, malware, program analysis, exploit 28April, 2010
• 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 28April, 2010
• 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 28April, 2010
• 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 28April, 2010
• Enrico Pontelli at New Mexico State University (Las Cruces, NM)
  Keywords: Bioinformatics, Assistive Technologies, Declarative Languages, Parallel Processing, Knowledge Representation and Reasoning 28April, 2010
• Michael Scott at University of Rochester (Rochester, NY)
  Keywords: programming language design and implementation, run-time and operating systems, parallelism and concurrency, synchronization and transactional memory, distributed computing, high-level computer architecture 28April, 2010
• David kaeli at Northeastern University (Boston, MA)
  Keywords: GPUs, intrusion detection, virtualization, hardware/softarerecovery, many-core compilation and memory design 28April, 2010
• Erik Winfree at California Institute of Technology (Pasadena, CA)
  Keywords: molecular programming, DNA computing, self-assembly, chemical circuits, molecular robotics 28April, 2010
• Alex Aiken at Stanford University (Stanford, CA)
  Keywords: program analysis, verification, constraint resolution, static analysis, dynamic analysis, programming languages, compilation, program optimization, large scale parallel computing 28April, 2010
• 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 28April, 2010
• Lynn Andrea Stein at Franklin W. Olin College of Engineering (Needham, MA (Boston suburb))
  Keywords: Small footprint curriculum, computing education, project-based learning, pedagogy, studio, interaction design, usability, semantic web, ai, hci, knowledge representation and reasoning, cognitive robotics 28April, 2010
• Andrew Lumsdaine at Indiana University (Bloomington, Indiana)
  Keywords: High performance computing, MPI, generic programming, C++, scientific computing, numerical analysis, parallel programming, large-scale systems, computational photography 11June, 2009
• Peter Sweeney at IBM T.J. Watson Research Center (Hawthorne, NY)
  Keywords: static analysis, dynamic analysis, performance analysis, automatic performance tuning, automatic performance bottleneck detection, multi-cores, middleware, Java enterprise applications 11June, 2009
• Steve Roach at The University of Texas at El Paso (El Paso, TX)
  Keywords: runtime monitoring, deductive synthesis, automated software engineering, automated testing, scientific computation 11June, 2009
• Vijay Menon at Google Seattle (Seattle, WA)
  Keywords: compilers, programming languages, virtual machines, multi-core, transactional memory 10June, 2009
• Craig Chambers at Google (Seattle, WA)
  Keywords: Programming languages, optimizing compilers, parallel and distributed systems, object-oriented systems 9June, 2009
• Soner Onder at Michigan Technological University (Houghton, MI)
  Keywords: Compiler architecture interaction, program representations, optimizing compilers, instruction-level parallelism. 9June, 2009
• Steve Carr at Michigan Technological University (Houghton, MI)
  Keywords: locality analysis and optimization,virtual machines, shared resource management 9June, 2009
• Chandra Krintz at Univ. of California, Santa Barbara (Santa Barbara, CA)
  Keywords: Cloud computing, programming language implementations (compilers, runtimes, profiing, feedback-directed optimization), managed runtimes, distributed systems, high-level programming languages. 8June, 2009
• Shriram Krishnamurthi at Brown University (Providence, RI)
  Keywords: programming languages, verification, security, software engineering 8June, 2009
• 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 8June, 2009
• Tevfik Bultan at University of California at Santa Barbara (Santa Barbara, CA)
  Keywords: model checking, static analysis, service oriented computing, concurrency, and software engineering 8June, 2009
• Daniel Brand at IBM T.J. Watson Research Center (Yorktown Heights, NY)
  Keywords: software robustness, static program analysis, dynamic analysis, defect detection, theorem proving, specification mining, software security, parallelization 8June, 2009
• Chung-chieh Shan at Rutgers University (Piscataway, NJ)
  Keywords: code generation; quotation and reflection; domain-specific languages; probabilistic and rational programming languages; computational linguistics; control operators and monads; type systems; theory of mind 5June, 2009