University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–28 of 28 items
Thumbnail for Automated Derivation of Application-Aware Error and Attack Detectors
Automated Derivation of Application-Aware Error and Attack Detectors
Pattabiraman, Karthik

Thumbnail for Automated Derivation of Application-Aware Error Detectors Using Compiler Analysis
Automated Derivation of Application-Aware Error Detectors Using Compiler Analysis
Pattabiraman, Karthik; Iyer, Ravishankar K.

Thumbnail for Discovering Application-Level Insider Attacks Using Symbolic Execution
Discovering Application-Level Insider Attacks Using Symbolic Execution
Pattabiraman, Karthik; Nakka, Nithin; Kalbarczyk, Zbigniew; Iyer, Ravishankar

Thumbnail for SymPLFIED: Symbolic Program Level Fault Injection and Error Detection Framework
SymPLFIED: Symbolic Program Level Fault Injection and Error Detection Framework
Pattabiraman, Karthik; Nakka, Nithin; Kalbarczyk, Zbigniew; Iyer, Ravishankar

Thumbnail for Dynamic Tracking of Information Flow Signatures for Security Checking
Dynamic Tracking of Information Flow Signatures for Security Checking
Healey, William; Pattabiraman, Karthik; Ryoo, Shane; Iyer, Ravi; Hwu, Wen-Mei

Thumbnail for Ensuring Critical Data Integrity via Information Flow Signatures
Ensuring Critical Data Integrity via Information Flow Signatures
Healey, William; Pattabiraman, Karthik; Ryoo, Shane; Dabrowski, Paul; Kalbarczyk, Zbigniew; Iyer, Ravi; Hwu, Wen-Mei

Thumbnail for From detection to optimization: impact of soft errors on high-performance computing applications
From detection to optimization: impact of soft errors on high-performance computing applications
Calhoun, Jon Cameron

Thumbnail for Formal framework and tools to derive efficient application-level detectors against memory corruption attacks
Formal framework and tools to derive efficient application-level detectors against memory corruption attacks
Yuan, Flore Q.

Thumbnail for Design and evaluation of information flow signature for secure computation of applications
Design and evaluation of information flow signature for secure computation of applications
Patel, Prateek

Thumbnail for Preserving application reliability on unreliable hardware
Preserving application reliability on unreliable hardware
Hari, Siva Kumar

Thumbnail for Efficient Software Checking for Fault Tolerence
Efficient Software Checking for Fault Tolerence
Yu, Jing

Thumbnail for Efficient Software Checking for Fault Tolerance
Efficient Software Checking for Fault Tolerance
Yu, Jing

Thumbnail for Efficient Software Checking for Fault Tolerence
Efficient Software Checking for Fault Tolerence
Yu, Jing

Thumbnail for Providing application-aware reliability through OS/hypervisor-level techniques
Providing application-aware reliability through OS/hypervisor-level techniques
Wang, Long

Thumbnail for Democratizing error-efficient computing
Democratizing error-efficient computing
Venkatagiri, Radha

Thumbnail for Detecting and Recovering from In-Core Hardware Faults Through Software Anomaly Treatment
Detecting and Recovering from In-Core Hardware Faults Through Software Anomaly Treatment
Ramachandran, Pradeep

Thumbnail for Design for Security: Measurement, Analysis and Mitigation Techniques
Design for Security: Measurement, Analysis and Mitigation Techniques
Chen, Shuo

Thumbnail for Meaning Apprehension in the Cerebral Hemispheres
Meaning Apprehension in the Cerebral Hemispheres
Kandhadai, Padmapriya A.

Thumbnail for Design for Security: Measurement, Analysis and Mitigation Techniques
Design for Security: Measurement, Analysis and Mitigation Techniques
Chen, Shuo

Thumbnail for Techniques to detect and avert advanced software concurrency bugs
Techniques to detect and avert advanced software concurrency bugs
Qi, Shanxiang

Thumbnail for Statistical estimation problems in phylogenomics and applications in microbial ecology
Statistical estimation problems in phylogenomics and applications in microbial ecology
Nute, Michael Gordon

Thumbnail for Exploiting System Diversity in Peer-to-Peer Publish-Subscribe Systems
Exploiting System Diversity in Peer-to-Peer Publish-Subscribe Systems
Patel, Jay A.

Thumbnail for Exploiting System Diversity in Peer-to-Peer Publish -Subscribe Systems
Exploiting System Diversity in Peer-to-Peer Publish -Subscribe Systems
Patel, Jay A.

Thumbnail for Scalable Diskless Checkpointing for Large Parallel Systems
Scalable Diskless Checkpointing for Large Parallel Systems
Lu, Charng-Da

Thumbnail for SWAT: Designing Resilient Hardware by Treating Software Anomalies
SWAT: Designing Resilient Hardware by Treating Software Anomalies
Li, Man-Lap

Thumbnail for Scalable Diskless Checkpointing for Large Parallel Systems
Scalable Diskless Checkpointing for Large Parallel Systems
Lu, Charng-Da

Thumbnail for Understanding stakeholder participation in post-disaster recovery (case study: Nagapattinam, India)
Understanding stakeholder participation in post-disaster recovery (case study: Nagapattinam, India)
Chandrasekhar, Divya

Thumbnail for Development of physical models for the mesoscopic simulation of gas-surface interactions
Development of physical models for the mesoscopic simulation of gas-surface interactions
Swaminathan-Gopalan, Krishnan