Mailing List By Subject
156 messages sorted by:
[ author ]
[ date ]
[ thread ]
Mail actions: [ mail a new topic ]
Starting: 09/25/00
Ending: 04/06/04
- (no subject)
- [ESD-Seminar Time Change] Cormac Flanagan on Monday, Sept 9 4-5
- [ESD-Seminar] Harald Ruess on Monday Nov 25, 4 pm
- [fwd] Waging a battle against PC bugs
- [OSQ] No OSQ lunch today
- [OSQ] No OSQ lunch tomorrow and next week
- [OSQ] Reading for Lazy Abstraction Talk
- [OSQ] REMINDER Chess seminar: Westley Weimer, TODAY Tuesday, April 6, 4-5pm in 540 Cory Hall
- [OSQ] Today at OSQ lunch
- [SoftDev] a seminar you might find interesting
- Access for other projects and researchers?
- Alan Knies from Intel visits tomorrow
- Amazing but Lucent is still hiring
- An update on Dawson Engler's checker
- bibtex references
- C question
- Call for Participation Open Source Software Development Workshop (fwd)
- Call for Software Design ideas
- change in list posting policy
- Compiler Summer Intern positions at Apple
- CORRECTION: November 5: PS Seminar
- Dave Schmidt talk 10/1
- David Gay's thesis talk
- Dawson Engler visit tomorrow (Tuesday)
- Delta now available for download.
- Discussion on Lazy Abstraction next Tuesday
- DON'T DELETE THIS MESSAGE -- FOLDER INTERNAL DATA
- EMSOFT 2001: First International Workshop on Embedded Software
- ESC/Java is available
- Faculty candidate talk today
- First Meeting this Semester
- First OSQ Meeting of the Semester: TOMORROW!
- geodesic
- Graduate course announcement
- Heads up. Visitors this semester.
- Homework
- hotel room sharing at ICSE 2003 (May 9)?
- How to join the OSQ mailing list ...
- I am giving a talk
- ick, ick -- grossness in linux kernel
- interesting article on software quality
- interesting paper
- Interesting seminar
- job ad
- job at Sun Labs
- kernel compiler hack
- last seminar
- Linux device drivers: O_NONBLOCK in fops->open ...
- Lunch is switched to Monday
- lunch survey
- lunch survey results
- Lunch today
- Mailing List, Meeting ...
- Martin Abadi and Mike Burrows at OSQ lunch
- Meeting Plans Tomorrow ..
- might be fun for people interested in logic
- Model Checking & Theorem Proving
- Monday Meetings: 11:00 to 12:30
- more pizza
- NASSLLI (fwd)
- New softquality UNIX group
- Next Monday: PS Seminar
- No lunch this monday
- No lunch today
- NSF annual report
- open positions
- open source lunch
- Open Source lunch - tomorrow
- Open Source Lunch for 9/18
- Open Source security
- OSQ lunch moved to Tue 12:30
- OSQ lunch this semester
- OSQ lunch today
- OSQ Meeting Today
- OSQ on freefire
- OSQ retreat
- OSQ Retreat; please respond
- OSQ Schedule ...
- OSQ Talk ...
- OSQ talk today: academic job search
- OSQ talk, Wed April 9, noon-1, -->320 Soda<--
- papers in a4 converted to letter
- Patrice Godefroid visit and talk next Monday
- PLDI ...
- Please add a link to "Secure Programming for Linux and Unix HOWTO"
- POPL Draft Review
- Possible re-scheduling of OSQ lunch
- practice job talk Thursday and Friday
- Press release from Microsoft on value of on-line error reporting
- Project Web Page ...
- PS Seminar announcement
- PS Seminar on Thu 9/18 at 4pm
- PS seminar today
- PS Seminar: Steven Freund (12/15)
- Quiz
- Recent paper on VCGen
- REMINDER: OSQ talk, Wed April 9, noon-1, -->320 Soda<--
- Reminder: POPL Practice Talk
- retreat
- retreat meals
- Room change for tomorrow
- run-time type checking
- seminar Monday
- Seminor on Software Verification
- slashdot: a collection of famous software bugs
- Speaker for April 3rd (our next meeting)?
- SPIN 2003
- Summer internship positions at IBM Watson (fwd)
- summer internships
- Summer internships at MSR
- Summer School on Software Security
- summer-student positions available at Bell Labs
- Tentative Schedule
- Thanks
- This semester's lunch meetings
- Title and abstract
- Today's lunch
- today's programming systems seminar
- TODAY: PS Seminar
- Tuesday site visit
- user mode linux
- Vault
- visitor Monday
- Volunteer needed to bring lunch tomorrow
- Volunteers needed or we starve!
- We have enough volunteers
- Web Conferencing Flat Rate Plan
- Welcome to <softquality>
- workshop announcement (fwd)
Last message date: 04/06/04
Archived on: 04/06/04 PDT
156 messages sorted by:
[ author ]
[ date ]
[ thread ]
Mail actions: [ mail a new topic ]
This archive was generated by hypermail 2b30
: 04/06/04 PDT