CS 550 General Reference Sites

• POPL Conference
• Programming Language Reference Site at CMU This is an excellent starting point for a search.
• IEEE Computer Society Digital Library Note, for example, the link to IEEE software. Warning: It is not clear how long the digital library will remain a free service.
• Sun Labs (Check out John Ousterhout's home page.)

CS 550 Student and Project Information

• Jeremy Brown (jeremy@cs.unm.edu)
  Extensible query optimization for Object-oriented databases.
• David Buehler (dbuehler@cs.unm.edu)
  Formal methods for correctness.
• Brian Clark (brian@cs.unm.edu)
  Core wars.
• Mike Collins (mcollins@cs.unm.edu)
  Logic programming, especially issues concerning negation.
• James Corey (jcorey@unm.edu)
  Khoros programming environment (and things like it).
• Cheng Gao (chgao@cs.unm.edu)
  Visual object-oriented programming.
• Wim Hordijk (wim@santafe.edu) and Joseph Lewis (jalewis@cs.unm.edu)
  Languages/systems for simulation of complex adaptive systems.
• John McDermon (jmcdermo@cs.unm.edu)
  Object-oriented databases and applications as they apply to GIS or CAD applications.
  John already has identified several potentially useful URLs, including GIS Master Bibliography Project . Contact John for more information.
• Dan McDonough (mcdonoug@cs.unm.edu)
  The software crisis.
  For a fun example, see here. More pointers added Oct 8: Lucid Primer, Sections 4, 5, and 6.
• Venkata Murthy (murthy@unm.edu)
  Middleware.
• Matt Olson (mjolson@cs.unm.edu) and Dean Rissinger (ldr@lanl.gov)
  Programming language paradigms. Where are we?
• Stan Sikora (sasikor@cs.unm.edu) and Ken Summers (summers@cs.unm.edu)
  High-level languages for parallel programming.
• Brian Stafford (briansta@cs.unm.edu)
  ACL2: A Computational Logic for Applicative Common Lisp.

Special Notes and Messages

• (Sep 24) Note from Mike Collins on the Goedel programming language.
• (Oct 22) Note from John McDermon on the languages quote that he mentioned in class yesterday.
• (Nov 11) First-day Outline/Notes.

Schedule

• Tue, Sep 30 (A): Daniel McDonough (Handout: "The Mythical Man-Month: Essays on Software Engineering")
• Tue, Sep 30 (B): Brian Stafford (URL: "An Industrial Strength Theorem Prover for a Logic Based on Common Lisp")
• Thu, Oct 2: Stan Sikora and Ken Summers (URL: "Introduction to Parallel Programming")

• Tue, Oct 7: Willem Hordijk and Joseph Lewis (Handout: selected passages and summaries)
• Thu, Oct 9 (A): Cheng Gao
• Thu, Oct 9 (B): Daniel McDonough, Part II.

• Tue, Oct 14 (A): Brian Clark (URL: Core War FAQ)
• Tue, Oct 14 (B): John McDermon (Handout: "Object Oriented GIS")
• Thu, Oct 16: Fall Break

• Tue, Oct 21 (A): David Buehler
• Tue, Oct 21 (B): Mike Collins
• Thu, Oct 23: Matt Olson and Dean Rissinger (URL: "Object-Orientation FAQ")

• Tue, Oct 28 (A): Jeremy Brown (URL: "Object-Oriented Query Optimization")
• Tue, Oct 28 (B): Daniel McDonough, Part III (by popular demand)
• Thu, Oct 30 (A): Venkata Murthy (URL: "What is Middleware?")
• Thu, Oct 30 (B): James Corey (URL: "Getting Khoros Running in the CS Dept at UNM")

• Tue, Nov 4: Individual meetings
• Thu, Nov 6: Individual meetings

• Tue, Nov 11 (A): Group discussions / first round summary
• Tue, Nov 11 (B): Cheng Gao
• Thu, Nov 13 (A): Brian Stafford
• Thu, Nov 13 (B): John McDermon

• Tue, Nov 18: Stan Sikora and Ken Summers
• Thu, Nov 20: Willem Hordijk and Joseph Lewis

• Tue, Nov 25 (A): David Buehler
• Tue, Nov 25 (B): Jeremy Brown
• Thu, Nov 27: Thanksgiving

• Tue, Dec 2 (A): Michael Collins
• Tue, Dec 2 (B): Venkata Murthy (Check out "Middleware White Paper".)
• Thu, Dec 4: Matt Olson and Dean Rissinger (Check out Python, an object-oriented scripting language, perl, and the Programming Language Exploration site.)

• Tue, Dec 9 (A): Brian Clark
• Tue, Dec 9 (B): James Corey (Check out Khoros success stories.)
• Thu, Dec 11: Final discussions