First quarter 2011 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Tue Jan 4 14:57:21 EST 2011
Ending: Wed Mar 30 13:23:33 EDT 2011
Messages: 95

• [PRL] 10 tips on how to give an academic talk   Mitchell Wand
• [PRL] [JOB] Coverity is hiring   Peter Dillinger
• [PRL] A public service rant: please fix your bibliography | Freedom to Tinker   Mitchell Wand
• [PRL] ACM Computing Survey: Control-flow Analysis of Functional Programs   David Van Horn
• [PRL] Alley Stoughton's visit   Aaron Turon
• [PRL] anybody here know GIMP?   Mitchell Wand
• [PRL] anybody here know GIMP?   Mitchell Wand
• [PRL] Bob Harper's new blog   Mitchell Wand
• [PRL] Bob Harper's new blog   Olin Shivers
• [PRL] Bob Harper's new blog   William D Clinger
• [PRL] Bob Harper's new blog   Dimitris Vardoulakis
• [PRL] Bob Harper's new blog   Riccardo Pucella
• [PRL] Bob Harper's new blog   Joe Marshall
• [PRL] Bob Harper's new blog   Asumu Takikawa
• [PRL] Bob Harper's new blog   Dave Herman
• [PRL] Bob Harper's new blog   Therapon Skotiniotis
• [PRL] Bob Harper's new blog   Matthias Felleisen
• [PRL] Bob Harper's new blog   William D Clinger
• [PRL] Bob Harper's new blog   Matthias Felleisen
• [PRL] Bob Harper's new blog   David Van Horn
• [PRL] Bob Harper's new blog   Karl Lieberherr
• [PRL] Bob Harper's new blog   Dave Herman
• [PRL] Bob Harper's new blog   Matthias Felleisen
• [PRL] Bob Harper's new blog   Dave Herman
• [PRL] Bob Harper's new blog   will at ccs.neu.edu
• [PRL] Bob Harper's new blog   Dave Herman
• [PRL] Bob Harper's new blog   Matthias Felleisen
• [PRL] Bob Harper's new blog   will at ccs.neu.edu
• [PRL] Bob Harper's new blog   Joe Marshall
• [PRL] Bob Harper's new blog   Matthias Felleisen
• [PRL] Bob Harper's new blog   William D Clinger
• [PRL] Bob Harper's new blog   Matthias Felleisen
• [PRL] Bob Harper's new blog   David Herman
• [PRL] Bob Harper's new blog   Joe Marshall
• [PRL] Bob Harper's new blog   Joe Marshall
• [PRL] Bob Harper's new blog   William D Clinger
• [PRL] Bob Harper's new blog   David Herman
• [PRL] Bob Harper's new blog   Duncan Mak
• [PRL] Bob Harper's new blog   Joe Marshall
• [PRL] Bob Harper's new blog   Duncan Mak
• [PRL] Bob Harper's new blog   Joe Marshall
• [PRL] Bob Harper's new blog   Sam Tobin-Hochstadt
• [PRL] Bob Harper's new blog   will at ccs.neu.edu
• [PRL] Bob Harper's new blog   Jed Davis
• [PRL] contracts for Java   David Herman
• [PRL] CPS report from the field   Paul Steckler
• [PRL] Dan Grossman's visit   Aaron Turon
• [PRL] Dave Herman's visit   Aaron Turon
• [PRL] FREECO ‘11   Mitchell Wand
• [PRL] Fwd: [JOB] Formal Verification Engineer at Intel   Carl Eastlund
• [PRL] Fwd: [MIT-PL] April 6: Facebook Tech Talk by Haiping Zhao: PL Issues   Sam Tobin-Hochstadt
• [PRL] Fwd: [MIT-PL] April 6: Facebook Tech Talk by Haiping Zhao: PL Issues   Daniel Brown
• [PRL] Fwd: [Programming] Dana Scott: Wed at 1pm   David Van Horn
• [PRL] Fwd: [Programming] Dana Scott: Wed at 1pm   Aaron Turon
• [PRL] Fwd: [Programming] Dana Scott: Wed at 1pm   Aaron Turon
• [PRL] Fwd: [Programming] Dana Scott: Wed at 1pm   Aaron Turon
• [PRL] Fwd: [Programming] Dana's slides   Sam Tobin-Hochstadt
• [PRL] Fwd: [SCANS] A little handy tool   Riccardo Pucella
• [PRL] Fwd: [SCANS] A little handy tool   Jesse A. Tov
• [PRL] Fwd: [TYPES/announce] Announcing Summer Formal 2011: Summer School on Formal Techniques   Aaron Turon
• [PRL] Fwd: NEPLS Call for Presentations: March 4th   David Van Horn
• [PRL] Fwd: Positions in Formal Verification and Advanced Computer Architecture   Pete Manolios
• [PRL] Fwd: Seminar at CSAIL-MIT - Tuesday, March 29 - 3:30 pm   Matthias Felleisen
• [PRL] Fwd: TP Msg. #1073 The Astonishing Secret to Getting Jobs, Grants, Papers, and Happiness in Biomedical Research ( and other areas as well)   Mitchell Wand
• [PRL] Fwd: TP Msg. #1073 The Astonishing Secret to Getting Jobs, Grants, Papers, and Happiness in Biomedical Research ( and other areas as well)   David Van Horn
• [PRL] Fwd: TP Msg. #1085 The Academic Job Talk   Mitchell Wand
• [PRL] Lindsey Kuper's visit   Aaron Turon
• [PRL] Looking for a paper by Filinski   Dimitris Vardoulakis
• [PRL] Looking for a paper by Filinski   Daniel Brown
• [PRL] Measuring the Effectiveness of Error Messages Designed for Novice Programmers   David Van Horn
• [PRL] Michael Greenberg's visit: Thu 3/3   Aaron Turon
• [PRL] NEPLS location   Carl Eastlund
• [PRL] NEPLS location   Stevie Strickland
• [PRL] NEPLS location   Carl Eastlund
• No subject  
• No subject  
• No subject  
• No subject  
• No subject  
• [PRL] Photos from NEPLS   David Van Horn
• [PRL] Photos from POPL 2011   David Van Horn
• [PRL] PL seminar schedule   Aaron Turon
• [PRL] POPL aftermath: Wed @ 1145   Aaron Turon
• [PRL] POPL aftermath: Wed @ 1145   Aaron Turon
• [PRL] POPL aftermath: Wed @ 1145   Aaron Turon
• [PRL] POPL aftermath: Wed @ 1145   Aaron Turon
• [PRL] POPL torture chamber: Thu 1pm   Aaron Turon
• [PRL] Practice Job Talk: Friday 3PM in 366   Sam Tobin-Hochstadt
• [PRL] practice talk for PEPM   Dimitris Vardoulakis
• [PRL] Scala Team Wins ERC Grant | Lambda the Ultimate   Mitchell Wand
• [PRL] Torture Chamber Today 16:00 @ 366   Christos Dimoulas
• [PRL] torture chamber tomorrow, 1:30pm   Paul Stansifer
• [PRL] torture chamber tomorrow, at 3pm   Paul Stansifer
• [PRL] Torture chamber: Wed 2:30   David Van Horn
• [PRL] Zoe's thesis defense: NOW! (almost: 3:00)   Carl Eastlund

Last message date: Wed Mar 30 13:23:33 EDT 2011
Archived on: Wed Mar 30 13:23:43 EDT 2011

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...