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 29
Dept. of Computer Science 29
Graduate Dissertations and Theses at Illinois 25
Illinois Research and Scholarship (Open Unit) 1

Collection

Dissertations and Theses - Computer Science 25
Graduate Dissertations and Theses at Illinois 25
Research and Tech Reports - Computer Science 4
Illinois Research and Scholarship (Open Collection) 1

Author(s)

Radoi, Cosmin 2
Tasharofi, Samira 2
Bandhakavi, Sruthi 1
Bangalore Jagannath, Vilas Shekhar 1
Chen, Nicholas Chun Y. 1
Dig, Danny 1
Dinges, Peter 1
Duggirala, Parasara Sridhar 1
Garg, Pranav 1
Ham, MyungJoo 1

Keyword(s)

concurrency 3
parallelism 3
Formal Methods 2
Hybrid Systems 2
Java 2
Programming Languages 2
actor model 2
static analysis 2
Abstraction Refinement 1
Actor Programs 1

Type of Resource

text 10
image 1

↑ ↓

Showing 1–30 of 30 items

Thumbnail for Debugging Wireless Sensor Networks Using Mobile Actors

Debugging Wireless Sensor Networks Using Mobile Actors

Karmani, Rajesh

Thumbnail for Thread Contracts for Race-Freedom

Thread Contracts for Race-Freedom

Karmani, Rajesh Kumar; Madhusudan, P.; Moore, Brandon

Thumbnail for Performance of a hierarchical distributed garbage collection algorithm in ActorFoundry

Performance of a hierarchical distributed garbage collection algorithm in ActorFoundry

Huang, Shuheng

Thumbnail for Systematic testing for actor programs

Systematic testing for actor programs

Lauterburg, Steven T.

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

Efficient execution of fine-grained actors on multicore processors

Kumar, Rajesh

Thumbnail for Practical static race detection for Java parallel loops

Practical static race detection for Java parallel loops

Radoi, Cosmin; Dig, Danny

Thumbnail for Practical analyses and transformations for flow-based parallelism

Practical analyses and transformations for flow-based parallelism

Chen, Nicholas Chun Y.

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

Efficient testing of actor programs with non-deterministic behaviors

Tasharofi, Samira

Thumbnail for @tComment: testing Javadoc comments to detect comment-code inconsistencies

@tComment: testing Javadoc comments to detect comment-code inconsistencies

Tan, Shin Hwei

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

Evaluating machine-independent metrics for state-space exploration

Kirn, Mathew

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

Efficient Testing of Actor Programs with Non-deterministic Behavior

Tasharofi, Samira

Thumbnail for Learning-based inductive invariant synthesis

Learning-based inductive invariant synthesis

Garg, Pranav

Thumbnail for Reducing the costs of bounded-exhaustive testing

Reducing the costs of bounded-exhaustive testing

Bangalore Jagannath, Vilas Shekhar

Thumbnail for Practical static race detection for Java parallel loops

Practical static race detection for Java parallel loops

Radoi, Cosmin

Thumbnail for Automated detection of injection vulnerabilities in web applications

Automated detection of injection vulnerabilities in web applications

Bandhakavi, Sruthi

Thumbnail for I-AdMiN: a framework for deriving adaptive service configuration in wireless smart sensor networks

I-AdMiN: a framework for deriving adaptive service configuration in wireless smart sensor networks

Moinzadeh, Parya

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 Improved regression testing of multithreaded programs

Improved regression testing of multithreaded programs

Jagannath, Vilas

Thumbnail for Symcretic testing of programs

Symcretic testing of programs

Dinges, Peter

Thumbnail for Toward automatic programming

Toward automatic programming

Radoi, Cosmin A

Thumbnail for Towards energy-performance trade-off analysis of parallel applications

Towards energy-performance trade-off analysis of parallel applications

Korthikanti, Vijay Anand

Thumbnail for A service-oriented architecture for dynamic macroprogramming of sensor networks

A service-oriented architecture for dynamic macroprogramming of sensor networks

Mechitov, Kirill A.

Thumbnail for Approximation Based Safety and Stability Verification of Hybrid Systems

Approximation Based Safety and Stability Verification of Hybrid Systems

Prabhakar, Pavithra

Thumbnail for Agreement, Information and Time in Multiagent Systems

Agreement, Information and Time in Multiagent Systems

Lakkaraju, Kiran

Thumbnail for Dynamic analysis of Cyber-Physical Systems

Dynamic analysis of Cyber-Physical Systems

Duggirala, Parasara Sridhar

Thumbnail for Making Parallel Programming Easy: Research Contributions from Illinois

Making Parallel Programming Easy: Research Contributions from Illinois

Submitter: David Padua

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 A meta-language for functional verification

A meta-language for functional verification

Katelman, Michael

Thumbnail for Symbolic reachability analysis for rewrite theories

Symbolic reachability analysis for rewrite theories

Rocha, Camilo

Thumbnail for Security models in rewriting logic for cryptographic protocols and browsers

Security models in rewriting logic for cryptographic protocols and browsers

Sasse, Ralf

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 4 + 7?

© 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)