Category 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

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

Filed under Talks

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

Filed under papers, Talks

Talk: How I learned to Stop Worrying and Love the DOM

Talk given at Microsoft Research, India and IBM Research India, August 2013. [PDF][ Video ]
Continue reading

Comments Off on Talk: How I learned to Stop Worrying and Love the DOM

Filed under Talks

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 ?

Filed under Talks

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

Filed under Talks

Talk: Towards Improving the Reliability of JavaScript Based Web Applications

Talk given at Microsoft Research, Redmond (June 3rd, 2011). [ Slides ]
Continue reading

Comments Off on Talk: Towards Improving the Reliability of JavaScript Based Web Applications

Filed under Talks

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

Filed under papers, Talks

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

Filed under Talks