http://cs.rice.edu/~greiner/ greiner (AT) rice.edu
Career Experience |
Rice University, Computer Science Department Houston, TX |
|
---|---|---|
Senior Lecturer (July 1997–present).
| ||
GALT Technologies, Inc.
(acquired by
Intuit, Inc.) Pittsburgh, PA |
||
Product Manager (June 1996–June 1997). Managed stock and web resource sections of NETworth, one of the first investment information and marketing web sites. Helped lead overall site presentation and promotions. | ||
Special Projects Designer (August 1994–May 1996). Managed web resource section of NETworth. Prototyped new projects. | ||
Rice University, Computer Science Department Houston, TX |
||
Programmer and Student Research Scientist (Spring 1988, Fall 1988–Summer 1989, respectively); Matthias Felleisen, advisor. Ported and extended Scheme implementations, emphasizing continuation-based control and hygenic syntactic extensions. | ||
Research Assistant (Summer 1988); Robert Hood, advisor. Developed UNIX process-manipulation software for the Rn scientific programming environment. | ||
Other Teaching Experience |
Instituto Technológico y de Estudios Superiores
de Monterrey (ITESM) San Luis Potosí, SLP, Mexico |
|
Visiting Professor (Summer 1998). For the course Intermediate Programming. | ||
Carnegie Mellon University,
School of Computer Science Pittsburgh, PA |
||
Teaching Assistant (Fall 1990, Fall 1992). Fundamental Structures of Computer Science II, Programming Languages Design & Implementation | ||
Rice University, Computer Science Department Houston, TX |
||
Lab Assistant (Fall 1987, Spring 1988, Fall 1988). Programming Studio, Symbolic Computation, and Programming Languages | ||
Invited Lectures |
Marketing Securities & Mutual Funds
Over Internet New York, NY |
|
Brokerages on the Web. October 1995 | ||
Kansas State University,
Computing and Information Sciences Department Manhattan, KS |
||
Programming with Inductive and Co-Inductive Types. December 1991. | ||
Other Talks | Design Recipes as Introductory Computer Science, International Conference on College Teaching and Learning, April 2000. | |
Refereed Publications | Learning to Program as a Social Activity. Joe Warren, Scott Rixner, John Greiner, Stephen Wong. In SIGCSE Technical Symposium, March 2014. | |
A Provably Time-Efficient Parallel Implementation of Full Speculation. John Greiner and Guy E. Blelloch. In ACM Topics on Programming Languages and Systems, March 1999, 240–285. | ||
A Provable Time and Space Efficient Implementation of NESL. Guy E. Blelloch and John Greiner. In International Conference on Functional Programming, Philadelphia, PA, May 1996, 213–225. | ||
Weak Polymorphism Can Be Sound. John Greiner. In Journal of Functional Programming, volume 6, part 1, Cambridge University Press, January 1996, 111–141. | ||
A Provably Time-Efficient Parallel Implementation of Full Speculation. John Greiner and Guy E. Blelloch. In Symposium on Principles of Programming Languages, St. Petersburg, FL, January 1996, 309–321. | ||
Parallelism in Sequential Functional Languages. Guy E. Blelloch and John Greiner. In Conference on Functional Programming Languages and Computer Architectures, La Jolla, CA, June 1995, 226–237. | ||
Data-Parallel Connected Components Algorithms. John Greiner and Guy E. Blelloch. In High Performance Computing, Gary Sabot (ed.), Addison Wesley, 1995, 156–185. | ||
A Comparison of Parallel Algorithms for Connected Components. John Greiner. In Symposium on Parallel Algorithms and Architectures, Cape May, NJ, June 1994, 16–25. | ||
Other Publications | A Parallel Complexity Model for Functional Languages. Guy Blelloch and John Greiner. Technical Report CMU-CS-94-196, Carnegie Mellon University, October 1994. | |
Standard ML Weak Polymorphism Can Be Sound. John Greiner. Technical Report CMU-CS-93-160R (also Fox Memorandum CMU-CS-93-05), Carnegie Mellon University, September 1993. | ||
A Comparison of Data-Parallel Algorithms for Connected Components. John Greiner. Technical Report CMU-CS-93-191, Carnegie Mellon University, August 1993. | ||
Programming with Inductive and Co-Inductive Types. John Greiner. Technical Report CMU-CS-92-109, Carnegie Mellon University, January 1992. | ||
Education |
Carnegie Mellon University Pittsburgh, PA |
|
Ph.D. Computer Science, May 1997. Dissertation: “Semantics-based complexity models of parallel functional languages”. Guy Blelloch, advisor. | ||
M.S. Computer Science, May 1992. | ||
Ergo, POP, Fox, and SCANDAL projects. | ||
Rice University Houston, TX |
||
B.A. Computer Science (Software), Mathematical Science (Computation), Linguistics (Honors, Cognitive Science), May 1989, Summa Cum Laude, GPA: 3.99/4.0. | ||
Scholastic Honors | Include Phi Beta Kappa, Tau Beta Pi, Office of Naval Research Graduate Fellow, Hanszen College Fellow, National Merit Scholar, Max Roy Scholar, Walsh Scholar. | |
Related Activities | Developed web sites on financial topics, bicycling, music, and other subjects (1994-1997) | |
ACM Collegiate Programming Contest team (Rice 1989, 5th place Nationals; CMU 1990) |