University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 31–60 of 5,120 items
Thumbnail for The Need for Richer Refactoring Usage Data
The Need for Richer Refactoring Usage Data
Vakilian, Mohsen; Chen, Nicholas; Negara, Stas; Rajkumar, Balaji Ambresh; Zilouchian Moghaddam, Roshanak; Johnson, Ralph E.

Thumbnail for Inferring Method Effect Summaries for Nested Heap Regions
Inferring Method Effect Summaries for Nested Heap Regions
Vakilian, Mohsen; Dig, Danny; Bocchino, Robert L., Jr.; Overbey, Jeffrey; Adve, Vikram S.; Johnson, Ralph

Thumbnail for Use, Disuse, and Misuse of Automated Refactorings (Extended Version)
Use, Disuse, and Misuse of Automated Refactorings (Extended Version)
Vakilian, Mohsen; Chen, Nicholas; Negara, Stas; Rajkumar, Balaji Ambresh; Bailey, Brian P.; Johnson, Ralph E.

Thumbnail for IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics
IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics
Kasampalis, Theodoros; Guth, Dwight; Moore, Brandon; Serbanuta, Traian; Serbanuta, Virgil; Filaretti, Daniele; Roşu, Grigore; Johnson, Ralph

Thumbnail for IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics
IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics
Kasampalis, Theodoros; Guth, Dwight; Moore, Brandon; Serbanuta, Traian; Serbanuta, Virgil; Filaretti, Daniele; Roşu, Grigore; Johnson, Ralph

Thumbnail for Keshmesh: Bringing Advanced Static Analysis to Concurrency Bug Pattern Detectors
Keshmesh: Bringing Advanced Static Analysis to Concurrency Bug Pattern Detectors
Vakilian, Mohsen; Negara, Stas; Tasharofi, Samira; Johnson, Ralph E.

Thumbnail for Inferring Method Effect Summaries for Nested Heap Regions
Inferring Method Effect Summaries for Nested Heap Regions
Vakilian, Mohsen

Thumbnail for Practical analyses and transformations for flow-based parallelism
Practical analyses and transformations for flow-based parallelism
Chen, Nicholas Chun Y.

Thumbnail for Using Frameworks to Extend Frameworks
Using Frameworks to Extend Frameworks
Balaguer, Federico

Thumbnail for Practical Analysis for Refactoring
Practical Analysis for Refactoring
Roberts, Donald Bradley

Thumbnail for Less is sometimes more in the automation of software evolution tasks
Less is sometimes more in the automation of software evolution tasks
Vakilian, Mohsen

Thumbnail for Automated Upgrading of Component-Based Applications
Automated Upgrading of Component-Based Applications
Dig, Daniel

Thumbnail for Security on demand
Security on demand
Hafiz, Munawar

Thumbnail for Towards multi-dimensional integrated development environments for improved productivity
Towards multi-dimensional integrated development environments for improved productivity
Lee, Yun Young

Thumbnail for IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain
IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain
Kasampalis, Theodoros; Guth, Dwight; Moore, Brandon; Serbanuta, Traian Florin; Zhang, Yi; Filaretti, Daniele; Serbanuta, Virgil; Johnson, Ralph; Roşu, Grigore

Thumbnail for Program Refactoring in the Presence of Preprocessor Directives
Program Refactoring in the Presence of Preprocessor Directives
Garrido, Alejandra

Thumbnail for Diagnostic-feasibility Study of Johnson Sauk Trail Lake
Diagnostic-feasibility Study of Johnson Sauk Trail Lake
Kothandaraman, Veerasamy; Evans, Ralph L.

Thumbnail for Implementing Run-Time Systems in a Compiler
Implementing Run-Time Systems in a Compiler
Durham, Alan Mitchell

Thumbnail for Refactoring Object-Oriented Frameworks
Refactoring Object-Oriented Frameworks
Opdyke, William F.

Thumbnail for Micro-Workflow: A Workflow Architecture Supporting Compositional Object -Oriented Software Development
Micro-Workflow: A Workflow Architecture Supporting Compositional Object -Oriented Software Development
Manolescu, Dragos-Anton

Thumbnail for Safe medical device interaction rules
Safe medical device interaction rules
Lee, Yun Young

Thumbnail for A Middleware Independent Service Modeling and a Model Transformation Framework
A Middleware Independent Service Modeling and a Model Transformation Framework
Witthawaskul, Weerasak

Thumbnail for Pedagogical Framework Documentation: How to Document Object -Oriented Frameworks. An Empirical Study
Pedagogical Framework Documentation: How to Document Object -Oriented Frameworks. An Empirical Study
Chai, Ian

Thumbnail for Efficient testing of actor programs with non-deterministic behaviors
Efficient testing of actor programs with non-deterministic behaviors
Tasharofi, Samira

Thumbnail for Towards a change-oriented programming environment
Towards a change-oriented programming environment
Negara, Stanislav

Thumbnail for A toolkit for constructing refactoring engines
A toolkit for constructing refactoring engines
Overbey, Jeffrey

Thumbnail for Multiparadigm visual programming languages
Multiparadigm visual programming languages
Borges, Jose A.

Thumbnail for Interactive source-level debugging of globally optimized code with expected behavior
Interactive source-level debugging of globally optimized code with expected behavior
Zurawski, Lawrence Walter

Thumbnail for Thermodynamics and kinetics of hydrogen storage in magnesium hydride: a theoretical study of catalyst-dopant, defect, and size effects
Thermodynamics and kinetics of hydrogen storage in magnesium hydride: a theoretical study of catalyst-dopant, defect, and size effects
Reich, Jason

Thumbnail for Type checking and type inference for object-oriented programming languages
Type checking and type inference for object-oriented programming languages
Graver, Justin Owen