News
- 2016-10-22: Gave keynote at MVD'16.
- 2016-07-19: Paper accepted at RV'16.
- 2016-07-13: Gave invited talk at AFRL S5'16.
- 2016-05-16: Paper accepted at EMSOFT'16.
- 2016-05-10: Gave keynote at HCSS'16.
- 2016-05-16: Paper accepted at USENIX Security'16.
- 2015-12-06: Paper accepted at NSDI'16.
- 2015-10-31: Paper accepted at FMSD.
- 2015-10-10: Paper accepted at VMCAI'16.
- 2015-07-21: Paper accepted at CPS-SPC'15.
- 2015-06-19: Paper accepted at ASDS'15.
- 2015-06-10: Gave invited talk at AFRL S5'15.
- 2015-06-10: Paper accepted at RV'15.
- 2014-12-19: Paper accepted at TACAS'15.
- 2014-10-24: Presented paper at FMCAD'14.
- 2014-10-01: Presented paper at MODELS'14.
- 2014-07-26: Paper accepted at FMCAD'14.
- 2014-07-21: Presented paper at SPIN'14.
- 2014-07-11: Paper accepted at SIMPAR'14.
- 2014-06-27: Paper accepted at EMSOFT'14.
- 2014-06-11: Gave invited talk at AFRL S5'14.
- 2014-06-04: Paper accepted at MODELS'14.
- 2014-05-30: Paper accepted at SPIN'14.
- 2014-05-08: Paper accepted at CAV'14.
- 2013-11-11: Gave tutorial at HILT'13.
- 2013-10-22: Presented paper at FMCAD'13.
- 2013-10-21: Gave invited talk at OSU.
- 2013-08-08: Paper accepted at ICTSS'13.
- 2013-07-29: Gave invited talk at IIT Kharagpur.
- 2013-07-17: Paper accepted at FMCAD'13.
