MATT'S MISCELLANEOUS LINKS (probably only of interest to Matt)
- Links to some music videos
- Minnie the Moocher [Betty Boop
cartoon] [Cab Calloway
live]
- A Wild
Hare (Bugs Bunny, ends with "Girl I Left Behind Me")
- (Not videos)
Tom Jobim songs
- Cambridge
Nov. 2008
- Cambridge
11/08 workshop blog
- Common Lisp Implementations
- AAR October 2005
- Facebook
- An
article on the U.S. health care system that I found really interesting
- Google Sitesearch
- My Google web
page test site
- U-Verse home
- U-Verse
call features
- AT&T
Rewards Center
- U-Verse Web
Remote Access
- TV Listings
- UT Benefit Guides
- MIT Baker
House timeline
- Work/Life
Balance Resources
- My
parking profile
- Austin Energy (click on
"Storm Center"
for outages)
- Miscellaneous Info about Cambridge, England
- Phone Books
- sabbaticalhomes.com
- Medco
specialists
- Ask
a Medco specialist
- BCBS
- Austin utilities (check usage e.g.)
- UT Timesheet
- Barking dogs
- International
travel assistance
- UT
CS office assignments
- UT Employee Discount Program
- Trivial primer on using RCS under Emacs
- Austin
hour-by-hour weather
- Long distance
- UT Informal Classes
- AT+T Executive Education and
Conference Center
- Parking:
Non-interactive map
- Parking (F
Permit; click on "My Parking Profile" upper right in box, to change profile)
- Rec
Sports special events
- Paycheck
- Emacs
Lisp List
- ITS/UT
- TIAA-CREF
performance
- UT Acceptable Use Policy
- Cambridge
lodging info
- UT
Rec Sports schedule
- UT Telecommuting
- UT CS General
- UT HR
- Retirement Manager
- UT Select insurance
- Etrade (Stock Option and Employee Stock Purchase Plan)
- Flex (Health Reimbursement) Account
- Cole Managed Vision
- Matching Gifts
- HHPO (Dental Providers)
- Emoticons
- Random travel stuff:
- NSF page
- Mike Gordon's
Backpack css
- My Backpack page
- Cambridge
ITP meeting August 2009
- TPHOLs
2008 Easy Chair
- ACL2-2006 PC page
- TPHOLs 2005
- FMCAD 2004
- ACL2-2002 Tutorial
- ACL2
Tutorial at ETAPS
- DCC02
- ETAPS 2002
- FLoC 2010
- ACL2 Home Page
- ACL2 seminar page
- acl2-books Google group
- UT Lists
- Some
Lisp books
- Types
and Programming Languages (preview)
- TPHOLs08
program, including demos
- Practical Common Lisp
- Successful Lisp
- ACL2s Documentation
- ACL2 workshop (PC)
- ACL2
email admin
- *OLD*
ACL2
email admin
- ACL2s
- HOL/ACL2 (SourceForge)
- **OLD**
HOL/ACL2 (SourceForge)
- HOL/ACL2 (backpack)
- OpenMCL Documentation
- SBCL Documentation
- Check on ACL2 Workshop registrants
- John
Harrison's ATP page
- John Harrison's home page
(may have SAT papers)
- Ray Mooney's talk
- ACL2 Workshop 2004
- ACL2
email admin
- ATP page
at UT
- ACL2
Windows installation
- CLISP
- CMU Common Lisp
- ACL2 archives
- Pete Manolios stuff
- ACL2 FAQ (draft)
- ACL2 Books
- 1999 ACL2 Book
- Allegro 6.0 FAQ
- Association for Automated Reasoning
- http://www-unix.mcs.anl.gov/AAR/names.html
- Common Lisp HyperSpec (TM)
- Common
Lisp the Language, 2nd Edition (non-local)
- Emacs reference materials
- AAR
- Franz Inc: Allegro Common Lisp and Common Lisp Products
- Ruben A. Gamboa's Dissertation
- Computer-Aided Reasoning ACL2 Case Studies
- Computer-Aided Reasoning An Approach
- PROSPER
- HOL Light
- Latex
math symbols
- Useful bash
shell FAQ
- ACM
- Verilog
coding style from Sunburst
- C++ Tutorial
- Perl Documentation
- Emacs Basics
- Interra/Cheetah
(Verilog parser)
- Cygwin (with link to Icarus Verilog)
- The Linux ELF HOW-TO
- GCC doc
- GDB doc
- STL classes (C++)
- STL List class
- Perl links
- Perl tutorial
- FV at Utah (e.g., Memory Models)
- NEC Comp. Sci. database
- CUDD
- RuleBase homepage
- VIS (Cal)
- VIS (CO)
- VIS Commands
- Index of /~vis/doc/
- Gavin's Guide to 80x86 Assembly
- Innologic Systems, Inc. - ESP Symbolic simulation products
- Intel's Literature Center
- Common Lisp the Language, Second Edition
prep.ai.mit.edu/pub/gnu/
- UT-Austin Computer Architecture Seminar Schedule
- Semiconductor Research Corporation Home
- Intel
- Beginning HTML at htmlgoodies.com
- Welcome to Project VeriPage
- [FORMALCHECK] Functional Design and Verification
- specmanelite
- [IBM] Formal verification made easy
- Shankar
papers (include a new Shostak combination paper, the Shostak verification
paper, and one on safe destructive evaluation)
- publicconversations.org
- Ghostview and FV
- AAR 54
- My home page at UT
- UT Squash
- Radio
Paradise playlist
- Austin Public Library
- Austin tours
- Oltorf 331 Bus Route
- Bus Routes
- Austin
Weather (weather.com)
- Debbie's web page
- TV Listings
- Austin
Tennis Courts
- Austin360: Weather
- Austin360: Weather: KVUE 5 day forecast
- ATL (tennis)
- Tennis ladder rules
- Merriam-Webster Dictionary
- Election
2000 Results
- Austin, We Have a Problem
- Travis Central Appraisal District - Appraisal Roll Information
- Storm warnings
- Weather Channel - Austin - details
- Weather Channel - Austin
- Intellicast.com Weather - Austin, Texas - Four day weather forecast
- Yahoo! Finance - AMD
- Texas Tunes
- Mark Shafer, PhD -- Psychology With Heart -- Austin, TX
- Budget of the US Government, FY 2000: Download documents
- College Station Contra Dances
- Eric Smith's resume
- Detached directory
- Richard and Candice
- Kaubells
- Mother and Bill
- Bill Cullin 1
- Bill Cullin 2
- Captions for Bill Cullin pictures
- Rick Payne's Site