Tag Archives: Talks

Talk: Tolerating Silent Data Corruption (SDC) causing Hardware Faults Through Software Techniques

Posted on July 3, 2014 | Comments Off on Talk: Tolerating Silent Data Corruption (SDC) causing Hardware Faults Through Software Techniques

Talk given in the Electrical and Computer Engineering Department, Georgia Tech, June 2014. (Also, at IBM T. J. Watson Research, Aug 2014) [ PDF ].
Continue reading →

Comments Off on Talk: Tolerating Silent Data Corruption (SDC) causing Hardware Faults Through Software Techniques

Posted in Talks

Tagged , , , , , ,

Talk: Model-based Intrusion Detection System (IDS) for Smart Meters

Posted on June 28, 2014 | Comments Off on Talk: Model-based Intrusion Detection System (IDS) for Smart Meters

Talk given at the 66th IFIP Working Group Meeting, Amicola, GA. (June 2014) [ PDF ]
Continue reading →

Comments Off on Talk: Model-based Intrusion Detection System (IDS) for Smart Meters

Posted in papers, Talks

Tagged , , , ,

Talk: Why do Web Applications Fail and what can we do about it ?

Posted on March 29, 2012 | Comments Off on Talk: Why do Web Applications Fail and what can we do about it ?

Talk given at the Univ of Illinois, Urbana-Champaign, Mar 26, 2012. [PDF]
Continue reading →

Comments Off on Talk: Why do Web Applications Fail and what can we do about it ?

Posted in Talks

Tagged , , ,

Talk: Good Enough Systems: Tolerating (most) hardware errors using software

Posted on March 1, 2012 | Comments Off on Talk: Good Enough Systems: Tolerating (most) hardware errors using software

Talk given at the University of Pittsburgh, CS department colloqium. Feb 22, 2012. [ PDF File ] Continue reading →

Comments Off on Talk: Good Enough Systems: Tolerating (most) hardware errors using software

Posted in Talks

Tagged , , ,

Talk – Good Enough Computer Systems: Reliability on the Cheap

Posted on May 20, 2010 | Comments Off on Talk – Good Enough Computer Systems: Reliability on the Cheap

Talk given at the IEEE Computer Society, Vancouver Chapter, May 20, 2010. [ PDF Slides ]
Continue reading →

Comments Off on Talk – Good Enough Computer Systems: Reliability on the Cheap

Posted in papers, Talks

Tagged , , ,

Talk: Formal methods for Fault and Attack Injection in Applications

Posted on February 23, 2010 | Comments Off on Talk: Formal methods for Fault and Attack Injection in Applications

Talk given at LAAS, CNRS, Toulouse, France. Feb 19th, 2010.
[ Slides in PDF ]
Continue reading →

Comments Off on Talk: Formal methods for Fault and Attack Injection in Applications

Posted in Talks

Tagged , ,

CCC workshop invited talk

Posted on November 21, 2009 | Comments Off on CCC workshop invited talk

I was invited to speak at a workshop on Cross-Layer Resilience organized by the Computing Community Consortium (CCC).
My talk was on protecting critical infrastructure systems such as the power-grid from errors. You can find the slides here .

Comments Off on CCC workshop invited talk

Posted in papers

Tagged ,