Microsoft Research Verified Software Milestone Award

Remit

The award recognises a significant technological advance towards the goals of the Verified Software Initiative, as described in the Verified Software Manifesto (2008). The aim of the Milestone Award is to promote a synergy of theory, tools and experimentation. The primary citation will honour the leader(s) of the team that conducted the decisive verified software experiment, the one that demonstrated a significant advance. The citation may also recognize one or more tool-builders who provided and supported the main verification/analysis tools used in the experiment, and one or more theorists who contributed the basic ideas for the proof tool or for the proof. The prize money will be shared equally among those cited.


Microsoft is not involved in any of the decision making aspects of the Award, and has no influence over the membership of the Awards committee.


Procedure

  1. Membership of the Awards committee will normally be for a period of 4-years.
  2. The membership of the committee will be decided by the Chair(s) through discussions with the other committee members.
  3. The committee will have at most two Co-Chairs at anytime.
  4. The Chair(s) will be proposed by the previous Chair(s) and elected, preferably every year, with a maximum of two re-elections.
  5. The Awards Committee will be drawn from leading Verified Software academics from around the world. Membership will normally be between 6 to 10 academics.
  6. During their tenureship of the Awards Committee, members will not be eligible for the award.
  7. Members of the Awards committee will exclude themselves from discussion of candidates from their own institutions, or otherwise closely linked.
  8. The award nomination and decision process will typically take place during the Autumn, with the formal presentation of the award being associated with a major international conference or federated conference. The winner will, where possible, be given a choice of which conference to receive their award in the following year.


2013 Committee


  • Kokichi Futatsugi (JAIST, Japan)
  • Andrew Ireland (Heriot-Watt University, UK) - Co-Chair
  • Daniel Jackson (MIT, USA)
  • Jifeng He (East China Normal University, China)
  • Carroll Morgan (University of New South Wales, Australia)
  • Natarajan Shankar (SRI International, USA) 
  • Jim Woodcock (University of York, UK) - Co-Chair

2012 Committee


  • Kokichi Futatsugi (JAIST, Japan)
  • Andrew Ireland (Heriot-Watt University, UK) - Co-Chair
  • Daniel Jackson (MIT, USA)
  • Jifeng He (East China Normal University, China)
  • Carroll Morgan (University of New South Wales, Australia)
  • Natarajan Shankar (SRI International, USA) 
  • Jim Woodcock (University of York, UK) - Co-Chair


2011 Committee


  • Kokichi Futatsugi (JAIST, Japan)
  • Andrew Ireland (Heriot-Watt University, UK) - Co-Chair
  • Daniel Jackson (MIT, USA)
  • Mathai Joseph (Tata Consultancy Services, India)
  • Jifeng He (East China Normal University, China)
  • Carroll Morgan (University of New South Wales, Australia)
  • Natarajan Shankar (SRI International, USA) 
  • Willem Visser (University of Stellenbosch, South Africa)
  • Jim Woodcock (University of York, UK) - Co-Chair