Profile_bird

Hey there! hridesh is using Twitter.

Twitter is a free service that lets you keep in touch with people through the exchange of quick, frequent answers to one simple question: What's happening? Join today to start receiving hridesh's tweets.

Already using Twitter
from your phone? Click here.

hridesh

  1. Its still not too late to register for the OOPSLA'09 tutorial featuring JML. See: http://tinyurl.com/y92tmop for details. 7:48 AM Oct 8th from web
  2. Promoting Com S 541, a course on programming language that is using Coq proof assistant this year. See: http://www.cs.iastate.edu/~... 12:58 PM Sep 2nd from web
  3. Consider submitting to the 3rd workshop on Virtual Machines and Intermediate Languages. See: http://www.cs.iastate.edu/~... 11:30 PM Jul 13th from web
  4. Promoting ESEC/FSE'09 and Youssef Hanna's upcoming talk on Automatic Cutoff Generation for Parameterized System Verification. 9:51 AM Jul 2nd from web
  5. Announcing OOPSLA.09 tutorial on "Introduction to Java Modeling Language (JML)". More details to follow. See: jmlspecs.org for more. 9:59 AM May 18th from web
  6. Promoting ICSE '09, Tyler Sondag's talk at IWMSE workshop on Phase-guided Auto-Tuning, and Youssef Hanna's research demo of our Slede tool. 7:31 PM Apr 9th from web
  7. Submission deadline for Onwards! Paper and Essay submissions on April 20. See http://www.oopsla.org/oopsl... for details. 7:18 PM Apr 9th from web
  8. Submission deadline for OOPSLA.09 tutorials, workshops, panels and abstracts is fast approaching (Mar 19) See - http://www.oopsla.org 8:12 AM Mar 12th from web
  9. Abstracts for OOPSLA.09 are due Mar 19 and full papers are due Mar 23, for more information see: http://www.oopsla.org/oopsl... 9:11 AM Feb 12th from web
  10. Early registration for AOSD.09 ends Jan 31. Hurry and register right away. It's going to be an exciting conference. 4:02 PM Jan 29th from web
  11. Promoting AOSD.09 in Charlottesville: http://aosd.net/2009/ 4:01 PM Jan 29th from web