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