Tag Archives: Talks

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

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

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

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

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

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

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 .