University of Illinois Urbana-Champaign

Submit an Item
Browse
About

Title

Author(s)

Contributor(s)

Issue Date

From:

To:

Keyword(s)

Abstract

Series/Report Name or Number

Type of Resource

Permalink

Full Text

Academic Unit

College of Engineering 28
Dept. of Computer Science 28
Graduate Dissertations and Theses at Illinois 17

Collection

Graduate Dissertations and Theses at Illinois 17
Dissertations and Theses - Computer Science 16
Research and Tech Reports - Computer Science 10
Conference Proceedings and Workshop Materials - Computer Science 2

Author(s)

Johnson, Ralph E. 6
Tasharofi, Samira 6
Vakilian, Mohsen 4
Dig, Danny 3
Dinges, Peter 2
Lin, Yu 2
Negara, Stas 2
Okur, Semih 2
Radoi, Cosmin 2
Chen, Nicholas Chun Y. 1

Keyword(s)

concurrency 5
static analysis 5
parallelism 4
refactoring 4
actor model 3
Java 2
Refactoring 2
bug 2
detector 2
fixer 2

Type of Resource

text 17

↑ ↓

Showing 1–29 of 29 items

Thumbnail for Efficient Testing of Actor Programs with Non-deterministic Behavior

Efficient Testing of Actor Programs with Non-deterministic Behavior

Tasharofi, Samira

Thumbnail for Patterns in Testing Concurrent Programs with Non-deterministic Behaviors

Patterns in Testing Concurrent Programs with Non-deterministic Behaviors

Tasharofi, Samira and Johnson, Ralph

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

Efficient testing of actor programs with non-deterministic behaviors

Tasharofi, Samira

Thumbnail for Why Do Scala Developers Mix the Actor Model with Other Concurrency Models?

Why Do Scala Developers Mix the Actor Model with Other Concurrency Models?

Tasharofi, Samira; Dinges, Peter; Johnson, Ralph E.

Thumbnail for Keshmesh: A Tool for Detecting and Fixing Java Concurrency Bug Patterns

Keshmesh: A Tool for Detecting and Fixing Java Concurrency Bug Patterns

Vakilian, Mohsen; Negara, Stas; Tasharofi, Samira; Johnson, Ralph E.

Thumbnail for Bita: Coverage-guided, Automatic Testing of Actor Programs

Bita: Coverage-guided, Automatic Testing of Actor Programs

Tasharofi, Samira; Pradel, Michael; Lin, Yu; Johnson, Ralph E.

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 Final Report for DE-FC02-06ER25752: Center for Programming Models for Scalable Parallel Computing : Parallel Programming Patterns

Final Report for DE-FC02-06ER25752: Center for Programming Models for Scalable Parallel Computing : Parallel Programming Patterns

Johnson, Ralph E.

Thumbnail for Symcretic testing of programs

Symcretic testing of programs

Dinges, Peter

Thumbnail for Practical static race detection for Java parallel loops

Practical static race detection for Java parallel loops

Radoi, Cosmin; Dig, Danny

Thumbnail for How do Developers Use Parallel Libraries?

How do Developers Use Parallel Libraries?

Okur, Semih; Dig, Danny

Thumbnail for Efficient execution of fine-grained actors on multicore processors

Efficient execution of fine-grained actors on multicore processors

Kumar, Rajesh

Thumbnail for Alternate Refactoring Paths Reveal Usability Problems

Alternate Refactoring Paths Reveal Usability Problems

Vakilian, Mohsen; Johnson, Ralph E.

Thumbnail for Evaluating machine-independent metrics for state-space exploration

Evaluating machine-independent metrics for state-space exploration

Kirn, Mathew

Thumbnail for Practical static race detection for Java parallel loops

Practical static race detection for Java parallel loops

Radoi, Cosmin

Thumbnail for Systematic testing for actor programs

Systematic testing for actor programs

Lauterburg, Steven T.

Thumbnail for ReAssert: Suggesting Repairs for Broken Unit Tests

ReAssert: Suggesting Repairs for Broken Unit Tests

Daniel, Brett; Jagannath, Vilas; Dig, Danny; Marinov, Darko

Thumbnail for Practical analyses and transformations for flow-based parallelism

Practical analyses and transformations for flow-based parallelism

Chen, Nicholas Chun Y.

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 Understanding, detecting, and repairing performance bugs

Understanding, detecting, and repairing performance bugs

Nistor, Adrian

Thumbnail for Automated refactoring for Java concurrency

Automated refactoring for Java concurrency

Lin, Yu

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 Enabling modern concurrency through program transformations

Enabling modern concurrency through program transformations

Okur, Semih

Thumbnail for Towards a change-oriented programming environment

Towards a change-oriented programming environment

Negara, Stanislav

Thumbnail for Regression test selection: theory and practice

Regression test selection: theory and practice

Gligoric, Milos Zivko

Thumbnail for A toolkit for constructing refactoring engines

A toolkit for constructing refactoring engines

Overbey, Jeffrey

Thumbnail for Market-Based Coordination and Auditing Mechanisms for Self-Interested Multi-Robot Systems

Market-Based Coordination and Auditing Mechanisms for Self-Interested Multi-Robot Systems

Ham, MyungJoo

Thumbnail for Learning-based inductive invariant synthesis

Learning-based inductive invariant synthesis

Garg, Pranav

Thumbnail for Making Parallel Programming Easy: Research Contributions from Illinois

Making Parallel Programming Easy: Research Contributions from Illinois

Submitter: David Padua

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 8 + 0?

© 2023 University of Illinois Board of Trustees

Log In

I don't have an Illinois NetID

Use this login method if you don't have an @illinois.edu email address. (Oops, I do have one)

IDEALS migrated to a new platform on June 23, 2022. If you created your account prior to this date, you will have to reset your password using the forgot-password link below.

Email

Password

(I forgot my password)