University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–29 of 29 items
Thumbnail for A quantitative study of mutation and fault tolerance of pyro inference programs
A quantitative study of mutation and fault tolerance of pyro inference programs
Tekgul, Hakan

Thumbnail for Speeding-up graph processing on shared-memory platforms by optimizing scheduling and compute
Speeding-up graph processing on shared-memory platforms by optimizing scheduling and compute
Heidarshenas, Azin

Thumbnail for Compilers for portable programming of heterogeneous parallel & approximate computing systems
Compilers for portable programming of heterogeneous parallel & approximate computing systems
Srivastava, Prakalp

Thumbnail for ApproxHPVM: A retargetable compiler framework for accuracy-aware optimizations
ApproxHPVM: A retargetable compiler framework for accuracy-aware optimizations
Sharif, Hashim

Thumbnail for Exploring design decisions for mutation testing
Exploring design decisions for mutation testing
Hariri, Farah

Thumbnail for Aligning intent and behavior in software systems: how programs communicate & their distribution and organization
Aligning intent and behavior in software systems: how programs communicate & their distribution and organization
Dietz, William Barrett

Thumbnail for Heterogeneous parallel virtual machine: A portable program representation and compiler for performance and energy optimizations on heterogeneous parallel systems
Heterogeneous parallel virtual machine: A portable program representation and compiler for performance and energy optimizations on heterogeneous parallel systems
Kotsifakou, Maria

Thumbnail for On-chip wireless manycore architectures
On-chip wireless manycore architectures
Franques Garcia, Antonio Maria

Thumbnail for Separation of distributed coordination and control for programming reliable robotics
Separation of distributed coordination and control for programming reliable robotics
Ghosh, Ritwika

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

Thumbnail for Improving regression testing efficiency and reliability via test-suite transformations
Improving regression testing efficiency and reliability via test-suite transformations
Shi, August Wang

Thumbnail for Towards scalable and specialized application error analysis
Towards scalable and specialized application error analysis
Hassan N Mahmoud, Abdulrahman

Thumbnail for Approximate Computing with Probabilistic Programs
Approximate Computing with Probabilistic Programs
Tomei, Matthew

Thumbnail for Accelerating cerification of cyber-physical systems using symmetry
Accelerating cerification of cyber-physical systems using symmetry
Sibai, Hussein

Thumbnail for Remedies for building reliable cyber-physical systems
Remedies for building reliable cyber-physical systems
Roohi, Nima

Thumbnail for Randomness-aware testing of machine learning-based systems
Randomness-aware testing of machine learning-based systems
Dutta, Saikat • 2023

Thumbnail for Programming systems for safe and accurate parallel programs in the face of uncertainty
Programming systems for safe and accurate parallel programs in the face of uncertainty
Fernando, Vimuth • 2022

Thumbnail for Optimizing whole programs for code size
Optimizing whole programs for code size
Bartell, Sean

Thumbnail for Relyzer+: An open source tool for application-level soft error resiliency analysis
Relyzer+: An open source tool for application-level soft error resiliency analysis
Ahmed, Khalique

Thumbnail for PICS - a Performance-analysis-based Introspective Control System to steer parallel applications
PICS - a Performance-analysis-based Introspective Control System to steer parallel applications
Sun, Yanhua

Thumbnail for Unsupervised sound separation
Unsupervised sound separation
Tzinis, Efthymios • 2023

Thumbnail for Code analysis and rewriting for data debloating and improved fuzz testing
Code analysis and rewriting for data debloating and improved fuzz testing
Niddodi, Chaitra Prasad • 2023

Thumbnail for Reducing the costs of bounded-exhaustive testing
Reducing the costs of bounded-exhaustive testing
Bangalore Jagannath, Vilas Shekhar

Thumbnail for Detecting, characterizing, and taming flaky tests
Detecting, characterizing, and taming flaky tests
Lam, Wing

Thumbnail for Abstractions for safety assurance of autonomous systems
Abstractions for safety assurance of autonomous systems
Hsieh, Chiao • 2023

Thumbnail for Proactively detecting unreliable tests
Proactively detecting unreliable tests
Gyori, Alex

Thumbnail for Regression test selection: theory and practice
Regression test selection: theory and practice
Gligoric, Milos Zivko

Thumbnail for Data-driven assistance for user decision making on mobile devices
Data-driven assistance for user decision making on mobile devices
Liu, Xueqing

Thumbnail for Evolution-aware runtime verification
Evolution-aware runtime verification
Legunsen, Owolabi