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 52
Dept. of Computer Science 46
Graduate Dissertations and Theses at Illinois 37
Dept. of Electrical and Computer Engineering 3
Summary of Engineering Research (1957-2008) 3
Research publications from UIUC 1

Collection

Graduate Dissertations and Theses at Illinois 37
Dissertations and Theses - Computer Science 33
Research and Tech Reports - Computer Science 13
Dissertations and Theses - Electrical and Computer Engineering 3
Summary of Engineering Research (2003-2008) 3
Research publications from the University of Illinois at Urbana-Champaign 1

Author(s)

Lu, Shan 3
University of Illinois at Urbana-Champaign. College of Engineering 3
Chen, Feng 2
Clark, Robert 2
Farzan, Azadeh 2
Rosu, Grigore 2
Tasharofi, Samira 2
Bandhakavi, Sruthi 1
Bocchino, Robert L., Jr. 1
Charalambides, Minas 1

Keyword(s)

Computer Science 5
Concurrency 3
Research and publications sponsored in the College of Engineering 3
program verification 3
Dynamic Analysis 2
Formal Methods 2
Hybrid Systems 2
Testing 2
Verification 2
computer science 2

Type of Resource

text 35
Thesis 4

↑ ↓

Showing 1–30 of 54 items

1 (current)
2

Thumbnail for Model-checking Parameterized Concurrent Programs using Linear Interfaces

Model-checking Parameterized Concurrent Programs using Linear Interfaces

Madhusudan, P. Parthasarathy; La Torre, Salvatore; Parlato, Gennaro

Thumbnail for The Tree Width of Automata with Auxiliary Storage

The Tree Width of Automata with Auxiliary Storage

Madhusudan, P.

Thumbnail for Testing in learning conjunctive invariants

Testing in learning conjunctive invariants

Mahdian, Peyman

Thumbnail for Learning inductive invariants using Winnow algorithm

Learning inductive invariants using Winnow algorithm

Suresh Kumar, Anjana

Thumbnail for Querying Streaming XML Using Visibly Pushdown Automata

Querying Streaming XML Using Visibly Pushdown Automata

Clark, Robert

Thumbnail for Querying Streaming XML Using Visibly Pushdown Automata

Querying Streaming XML Using Visibly Pushdown Automata

Clark, Robert

Thumbnail for Algorithmic techniques for predictive testing of concurrent programs and distributed systems

Algorithmic techniques for predictive testing of concurrent programs and distributed systems

Sorrentino, Francesco

Thumbnail for Learning-based inductive invariant synthesis

Learning-based inductive invariant synthesis

Garg, Pranav

Thumbnail for Automated deductive verification of systems software

Automated deductive verification of systems software

Pek, Edgar

Thumbnail for Building abstractions for fast, secure, reliable computer systems

Building abstractions for fast, secure, reliable computer systems

Mai, Haohui

Thumbnail for Learning frameworks for program synthesis

Learning frameworks for program synthesis

Saha, Shambwaditya

Thumbnail for Proactively detecting unreliable tests

Proactively detecting unreliable tests

Gyori, Alex

Thumbnail for Toward language-independent program verification

Toward language-independent program verification

Ștefănescu, Andrei

Thumbnail for Automated detection of injection vulnerabilities in web applications

Automated detection of injection vulnerabilities in web applications

Bandhakavi, Sruthi

Thumbnail for Towards a Unified Theory of Operational and Axiomatic Semantics

Towards a Unified Theory of Operational and Axiomatic Semantics

Rosu, Grigore; Stefanescu, Andrei

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

Evaluating machine-independent metrics for state-space exploration

Kirn, Mathew

Thumbnail for Algorithmic advances in dynamic analysis for detecting concurrency bugs

Algorithmic advances in dynamic analysis for detecting concurrency bugs

Mathur, Umang

Thumbnail for Whole-system testing and analysis of actor programs

Whole-system testing and analysis of actor programs

Li, Sihan

Thumbnail for Automatic techniques for proving correctness of heap-manipulating programs

Automatic techniques for proving correctness of heap-manipulating programs

Qiu, Xiaokang

Thumbnail for Reflective Database Access Control

Reflective Database Access Control

Olson, Lars E.

Thumbnail for Maximal Causal Models for Sequentially Consistent Systems

Maximal Causal Models for Sequentially Consistent Systems

Șerbănuță, Traian Florin; Chen, Feng; Rosu, Grigore

Thumbnail for A novel invariants-based approach for automated software fault localization

A novel invariants-based approach for automated software fault localization

Sahoo, Swarup K.

Thumbnail for Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic

Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic

Xiaohong Chen; Minh-Thai Trinh; Nishant Rodrigues; Lucas Pena; Grigore Rosu

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

Efficient testing of actor programs with non-deterministic behaviors

Tasharofi, Samira

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

Providing application-aware reliability through OS/hypervisor-level techniques

Wang, Long

Thumbnail for Making Parallel Programming Easy: Research Contributions from Illinois

Making Parallel Programming Easy: Research Contributions from Illinois

Submitter: David Padua

Thumbnail for Toward predictable control of software-defined networks

Toward predictable control of software-defined networks

Croft, Jason

Thumbnail for Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach

Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach

Farzan, Azadeh

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

Efficient Testing of Actor Programs with Non-deterministic Behavior

Tasharofi, Samira

Thumbnail for Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach

Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach

Farzan, Azadeh

1 (current)
2

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 6 + 8?

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