Layali Rashid, Karthik Pattabiraman and Sathish Gopalakrishnan, To appear in the Proceedings of the IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), Tokyo, Japan, 2010. [ PDF file | Talk ]
Continue reading
Tag Archives: 2010
Modeling the Propagation of Intermittent Hardware Faults in Programs
Comments Off on Modeling the Propagation of Intermittent Hardware Faults in Programs
Filed under papers
DoDOM: Leveraging DOM Invariants for Web 2.0 Application Robustness Testing
Karthik Pattabiraman and Benjamin Zorn, Proceedings of the International Symposium on Software Reliability Engineering (ISSRE), 2010.
[ PDF File ] [Talk slides]
You can find the technical report version of the paper here.
Continue reading
Comments Off on DoDOM: Leveraging DOM Invariants for Web 2.0 Application Robustness Testing
Filed under papers
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
Automated Derivation of Application-specific Error Detectors Using Dynamic Analysis
Karthik Pattabiraman, Giacinto Paulo Saggese, Daniel Chen, Zbigniew Kalbarczyk and Ravishankar Iyer, IEEE Transactions on Dependable and Secure Computing (TDSC) Vol 8., Issue 5, Sept/Oct 2011 . [ PDF File ]
Continue reading
Comments Off on Automated Derivation of Application-specific Error Detectors Using Dynamic Analysis
Filed under papers
Formal Diagnosis of Hardware Transient Errors in Programs
Layali Rashid, Karthik Pattabiraman and Sathish Gopalakrishnan, Workshop on Silicon Errors in Logic, System Effects (SELSE), 2010. [ PDF File ][ Talk Slides ]
Continue reading
Comments Off on Formal Diagnosis of Hardware Transient Errors in Programs
Filed under papers
Towards Understanding the Effects of Intermittent Hardware Faults on Programs
Layali Rashid, Karthik Pattabiraman and Sathish Gopalakrishnan, Proceedings of the IEEE International Workshop on Dependable and Secure Nano-computing (WDSN), 2010. [ PDF File | Talk ]
Continue reading
Comments Off on Towards Understanding the Effects of Intermittent Hardware Faults on Programs
Filed under papers
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
