The Computing Innovation Fellows Project

Mentors interested in:
Programming Languages / Compilers

• 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
• 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
• 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
• Vijay Menon at Google Seattle (Seattle, WA)
  Keywords: compilers, programming languages, virtual machines, multi-core, transactional memory 10June
• Craig Chambers at Google (Seattle, WA)
  Keywords: Programming languages, optimizing compilers, parallel and distributed systems, object-oriented systems 9June
• Soner Onder at Michigan Technological University (Houghton, MI)
  Keywords: Compiler architecture interaction, program representations, optimizing compilers, instruction-level parallelism. 9June
• Steve Carr at Michigan Technological University (Houghton, MI)
  Keywords: locality analysis and optimization,virtual machines, shared resource management 9June
• David Brumley at Carnegie Mellon University (Pittsburgh, PA)
  Keywords: software security, computer security, network security, malware, binary analysis, exploits, reverse engineering, signature generation, intrusion detection, applied cryptography, model checking, formal methods, symbolic execution, compilers 8June
• 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
• Shriram Krishnamurthi at Brown University (Providence, RI)
  Keywords: programming languages, verification, security, software engineering 8June
• Terence Kelly at Hewlett-Packard Laboratories (Palo Alto, CA)
  Keywords: shared memory, multithreaded, parallel programming, concurrent programming, static analysis, discrete control theory, deadlock, dynamic failure avoidance 8June
• 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
• David kaeli at Northeastern University (Boston, MA)
  Keywords: GPUs, intrusion detection, virtualization, recovery, many-core memory design 8June
• 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
• 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
• 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
• Surendra Byna at NEC Labs America, Inc. (Princeton, NJ)
  Keywords: multicore architectures, programming models, embedded multicore, data access optimization 5June
• Marcello Lajolo at NEC Laboratories America, Inc. (Princeton, NJ)
  Keywords: Networks on chip, hardware/software codesign, system-level design, parallel computer architectures, digital design 5June
• Tarek El-Ghazawi at High-Performance Computing Laboratory (HPCL) (Washington, DC)
  Keywords: High-Performance Computing, PGAS Programming Models, UPC, Hardware Accelerated Parallel Computing. 5June
• Erik Altman at IBM T.J. Watson Research Center (Hawthorne, NY)
  Keywords: multicore, SSD, middleware, webserving, middleware, databases, appserver,multi-tier 5June
• Seth Goldstein at Carnegie Mellon University (Pittsburgh, PA)
  Keywords: Programmable Matter, Compilers, Architecture, Nanotechnology, Reconfigurable Computing 5June
• Zhendong Su at University of California, Davis (Davis, CA)
  Keywords: program analysis, defect detection, clone detection and analysis, program equivalence detection, testing, automated debugging, specification mining, reliability of numerical software, web security, software security, malware detection and analysis 5June
• Murali Annavaram at University of Southern California (Los Angeles, CA)
  Keywords: 3D stacking, reliability, power performance and reliability tradeoffs, simulation and modeling of CPUs, architecture, microarchitecture, mobile computing, sensor systems, low power designs, data center efficiency, 5June
• Alexander Gray at Georgia Institute of Technology (Atlanta, GA)
  Keywords: machine learning, data mining, statistics, high dimensionality, massive datasets, optimization, algorithms, automated program synthesis, computational geometry, linear algebra, data-intensive/distributed computing, astrophysics, mass spec, SVMs 4June
• Natarajan Shankar at SRI International (Menlo Park CA)
  Keywords: Automated deduction, formal verification, software engineering, programming languages, type systems, symbolic algorithms, software certification, probabilistic inference, planning. 3June
• Olin Shivers at Northeastern University (Boston, Mass.)
  Keywords: Programming language design, programming language analysis, compilers 2June
• Matthew Flatt at University of Utah (Salt Lake City, UT)
  Keywords: language extensibility, language interoperability, macros, Scheme 2June
• Calvin Lin at The University of Texas at Austin (Austin, TX)
  Keywords: compilers, program analysis, pointer analysis, security, parallel computing, micro-architecture 1June
• Scott Smolka at Stony Brook University (Washington, DC)
  Keywords: Model Checking, Formal Methods, Process Algebra, Formal Verification, Security Protocols, Systems Biology, Embedded Systems, Hybrid Systems, Ad Hoc Network Protocols 30May
• Jaakko Järvi at Texas A&M University (College Station, TX)
  Keywords: generic programming, generative programming, programming languages, type systems, software construction, user interfaces 29May
• Alex Aiken at Stanford University (Stanford, CA)
  Keywords: program analysis, verification, constraint resolution, static analysis, dynamic analysis, programming languages, compilation, program optimization, multicore programming 28May
• Dhruva Chakrabarti at HP Labs (Exascale Computing Lab) (Palo Alto, CA)
  Keywords: Transactional memory, compilers, tools for parallel programming, performance analysis 27May
• Hans-J. Boehm at HP Labs (ECL) (Palo Alto, CA)
  Keywords: parallel programming, threads, semantics, memory consistency, data races, data race detection, transactional memory, concurrency, memory model 27May
• Eric Mercer at Brigham Young University (Provo, Utah)
  Keywords: Formal Verification, static analysis, dynamic analysis, software verification, software testing, PathFinder, program analysis, model checking, symbolic execution, unit testing, control flow, multi-core programming, concurrency, deadlock, race condition 27May
• C. R. Ramakrishnan at Stony Brook University, Computer Science Department (Stony Brook, Long Island, NY)
  Keywords: verification, formal methods, logic programming 26May
• Andrew Tolmach at Portland State University (Portland, OR)
  Keywords: functional programming, high-assurance programming, program verification, runtime systems, compilers, Haskell, ML, Coq 26May
• David Whalley at Florida State University (Tallahassee, FL)
  Keywords: compiler optimizations, computer architecture, embedded systems 26May
• Yannis Smaragdakis at University of Massachusetts, Amherst (Amherst, MA)
  Keywords: program analysis, program generation, programming models for concurrency 26May
• Kathryn McKinley at The University of Texas at Austin (Austin, TX)
  Keywords: scalable runtime services, scalable memory management, compiling for future architectures, improving software reliability and security 26May
• R Sekar at Stony Brook University (Stony Brook, NY)
  Keywords: Software security, malware defense, intrusion detection program analysis, program transformation, binary rewriting, OS virtualization 25May
• Kleanthis Psarris at The University of Texas at San Antonio (San Antonio, TX)
  Keywords: programming language design and implementation, program analysis, compilers, parallel computing, scientific computing, high performance computing 24May
• 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 23May
• Andre Platzer at Carnegie Mellon University (Pittsburgh, PA)
  Keywords: hybrid systems, cyber-physical systems, safety-critical control systems, embedded systems, verification logic, theorem proving, model checking, computer algebra, symbolic computation, numerical computation, flight control systems, distributed car control 22May
• Stephen Edwards at Columbia University (New York)
  Keywords: embedded systems, compilers, languages, optimization, digital logic 22May
• Jason Eisner at Johns Hopkins University (Computer Science Dept. and Center for Language and Speech Processing) (Baltimore, MD)
  Keywords: natural language processing (NLP), machine learning (ML), declarative programming languages and associated algorithms, dynamic programming and other combinatorial optimization 22May
• Yu Zhang (and Colleagues) at Trinity University (San Antonio, TX)
  Keywords: Liberal arts teaching, Undergraduate research 22May
• Rajesh Bordawekar at IBM T.J. Watson Research Center (Hawthorne, NY)
  Keywords: GPU, algorithms, sparse matrix, graph, OpenCL, Cuda, Brooke+, architecture 22May
• Kun-Lung Wu at IBM T. J. Watson Research Center/IBM Software Group (Hawthorne, NY)
  Keywords: data-intensive systems and analytics, data stream processing, scheduling and optimization, distributed computing and cloud computing. 21May
• Laura Dillon at Michigan State University (East Lansing, MI)
  Keywords: Formal methods; testing and analysis; software engineering; programming languages; separation of concerns. 21May
• David Kirk at NVIDIA Research (Santa Clara, CA)
  Keywords: Parallel Computing, GPU Computing, GPGPU, Graphics/Visualization, Realistic Rendering, Parallel/Heterogeneous Computing Architecture 20May