Leino in the press
don't take it from me. See what the press has to say.
- [2012-06] ESC/Java paper wins
PLDI 2002 Most
Influential Paper Award
- [2011-08] Merkur-Online on the
MOD Summer School in Bayrischzell
MSDN Radio podcast on Code Contracts
Verification Corner video featured as TechSmith's
Screencast of the Week.
- [2008-05] A Channel 9
video interview, chat, and demo of Spec#, with
Peter Müller, Wolfram Schulte, and me, and emceed by Erik Meijer.
- [2008-04] A
podcast interview that Scott
Hanselman did with Mike Barnett and me.
- [2008-04] Various Hungarian newspapers (sg.hu
Informatika & Tudomány,
it business today,
PRIM Online) mention my visit
to ETAPS in Budapest. Alas, they get my name and other details wrong.
- [2007-08] An article about Spec# by Rob Knies, featured as a
Microsoft Research News & Highlights. This news blurb also turned
into a column in the
Dr. Dobb's Portal.
- [2007-05] A