The Computing Innovation Fellows Project

Recently Listed Mentors interested in:
Programming Languages / Compilers

• « Older Entries

  Newer Entries »
• 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
• 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
• 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
• 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
• Surendra Byna at NEC Labs America, Inc. (Princeton, NJ)
  Keywords: multicore architectures, programming models, embedded multicore, data access optimization 5June, 2009
• 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, 2009
• Tarek El-Ghazawi at High-Performance Computing Laboratory (HPCL) (Washington, DC)
  Keywords: High-Performance Computing, PGAS Programming Models, UPC, Hardware Accelerated Parallel Computing. 5June, 2009
• Erik Altman at IBM T.J. Watson Research Center (Hawthorne, NY)
  Keywords: multicore, SSD, middleware, webserving, middleware, databases, appserver,multi-tier 5June, 2009
• Seth Goldstein at Carnegie Mellon University (Pittsburgh, PA)
  Keywords: Programmable Matter, Compilers, Architecture, Nanotechnology, Reconfigurable Computing 5June, 2009
• 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, 2009
• 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, 2009
• 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, 2009
• 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, 2009
• Olin Shivers at Northeastern University (Boston, Mass.)
  Keywords: Programming language design, programming language analysis, compilers 2June, 2009
• Matthew Flatt at University of Utah (Salt Lake City, UT)
  Keywords: language extensibility, language interoperability, macros, Scheme 2June, 2009
• Calvin Lin at The University of Texas at Austin (Austin, TX)
  Keywords: compilers, program analysis, pointer analysis, security, parallel computing, micro-architecture 1June, 2009
• 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, 2009
• Dhruva Chakrabarti at HP Labs (Exascale Computing Lab) (Palo Alto, CA)
  Keywords: Transactional memory, compilers, tools for parallel programming, performance analysis 27May, 2009
• 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, 2009
• 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, 2009
• C. R. Ramakrishnan at Stony Brook University, Computer Science Department (Stony Brook, Long Island, NY)
  Keywords: verification, formal methods, logic programming 26May, 2009
• Andrew Tolmach at Portland State University (Portland, OR)
  Keywords: functional programming, high-assurance programming, program verification, runtime systems, compilers, Haskell, ML, Coq 26May, 2009
• David Whalley at Florida State University (Tallahassee, FL)
  Keywords: compiler optimizations, computer architecture, embedded systems 26May, 2009
• Yannis Smaragdakis at University of Massachusetts, Amherst (Amherst, MA)
  Keywords: program analysis, program generation, programming models for concurrency 26May, 2009
• 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, 2009
• 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, 2009
• Stephen Edwards at Columbia University (New York)
  Keywords: embedded systems, compilers, languages, optimization, digital logic 22May, 2009
• 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, 2009
• Rajesh Bordawekar at IBM T.J. Watson Research Center (Hawthorne, NY)
  Keywords: GPU, algorithms, sparse matrix, graph, OpenCL, Cuda, Brooke+, architecture 22May, 2009
• 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, 2009
• Laura Dillon at Michigan State University (East Lansing, MI)
  Keywords: Formal methods; testing and analysis; software engineering; programming languages; separation of concerns. 21May, 2009