Rice
FIS

FIS image header
  •  
  •  
  •  
  •  
  •  
Download 
Scholarly Interest Report
         
John Greiner
Lecturer
Lecturer on Computer Science
 
e-mail:greiner@rice.edu
 
  • B.A. (1989) Rice University
  • M.S. (1992) Carnegie Mellon University
  • Ph.D. (1997) Carnegie Mellon University
 
Primary Department
   Department of Computer Science
Picture
 
Department Affiliations
 
  • Ken Kennedy Institute for Information Technology
  •  
     
    Research Areas
     Implementation of modern mostly-functional programming languages, especially in the analysis of performance characteristics, semantics-based language cost definitions and analysis, functional programming, formal semantics, and type theory
     
    Teaching Areas
     Computer Organization, Programming
     
    Selected Publications
     Other
     

    Ian Barland, Moshe Vardi, John Greiner "Model Checking Concurrent Programs." 

     
     

    John Greiner and Guy E. Blelloch "A Provably Time-Efficient Parallel Implementation of Full Speculation." ACM Topics on Programming Languages and Systems (March 1999) : 240-285.

     
     

    John Greiner and Guy E. Blelloch "A Provably Time-efficient Parallel Implementation of Full Speculation." ACM Topics on Programming Languages and Systems

     
    Awards, Prizes, & Fellowships
     Distinguished Faculty Associate, Hanszen College,

     Hanszen College Outstanding Associate, (2008)

     Outstanding Associate Award, Hanszen College (Spring 2006)

     Hanszen College Outstanding Associate Award, Hanszen College (May 2005)

     Reviewer, Programming Language Design and Implementation Conference (1999)

     Reviewer, International Parallel and Distributed Processing Symposium (IPDPS) (1999)

     Reviewer, Introduction to Automata Theory, Languages, and Computation (1999)