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 90
Graduate Dissertations and Theses at Illinois 83
Dept. of Computer Science 75
College of Liberal Arts and Sciences 17
Dept. of Electrical and Computer Engineering 7
Program in Comparative and World Literature 5
Research publications from UIUC 4
Dept. of Chemistry 3
Summary of Engineering Research (1957-2008) 3
XSEDE: Extreme Science and Engineering Discovery Environment 3

Collection

Graduate Dissertations and Theses at Illinois 83
Dissertations and Theses - Computer Science 47
Research and Tech Reports - Computer Science 28
Dissertations and Theses - Electrical and Computer Engineering 7
Dissertations and Theses - Comparative and World Literature 5
Research publications from the University of Illinois at Urbana-Champaign 4
Dissertations and Theses - Chemistry 3
Summary of Engineering Research (2003-2008) 3
XSEDE Planning Documents and Reports 3
Dissertations and Theses - Anthropology 2

Author(s)

Madhusudan, P. 7
Viswanathan, Mahesh 4
Chen, Feng 3
Farzan, Azadeh 3
Garg, Pranav 3
Kumar, Viraj 3
Lu, Shan 3
Meseguer, José 3
Tasharofi, Samira 3
Basu Thakur, Gautam 2

Keyword(s)

computer science 7
Computer Science 6
Verification 4
verification 4
Concurrency 3
concurrency 3
program verification 3
Chemistry, Biochemistry 2
Deadlock 2
E&O 2

Type of Resource

text 78
Thesis 13
image 1

↑ ↓

Showing 1–30 of 121 items

1 (current)
2
3
4
5

Thumbnail for The Tree Width of Automata with Auxiliary Storage

The Tree Width of Automata with Auxiliary Storage

Madhusudan, P.

Thumbnail for Causal Dataflow Analysis for Concurrent Programs

Causal Dataflow Analysis for Concurrent Programs

Farzan, Azadeh; Madhusudan, P.

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 ICE: A Robust Learning Framework for Synthesizing Invariants

ICE: A Robust Learning Framework for Synthesizing Invariants

Garg, Pranav; Loding, Christof; Madhusudan, P.; Neider, Daniel

Thumbnail for Learning Invariants using Decision Trees and Implication Counterexamples

Learning Invariants using Decision Trees and Implication Counterexamples

Garg, Pranav; Neider, Daniel; Madhusudan, P.; Roth, Dan

Thumbnail for Thread Contracts for Race-Freedom

Thread Contracts for Race-Freedom

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

Thumbnail for Minimization, Learning, and Conformance Testing of Boolean Programs

Minimization, Learning, and Conformance Testing of Boolean Programs

Kumar, Viraj; Madhusudan, P.; Viswanathan, Mahesh

Thumbnail for Congruences for Visibly Pushdown Languages

Congruences for Visibly Pushdown Languages

Alur, Rajeev; Kumar, Viraj; Madhusudan, P.; Viswanathan, Mahesh

Thumbnail for Quality of Service Provisioning in Wireless and High-Speed Networks

Quality of Service Provisioning in Wireless and High-Speed Networks

Chaskar, Hemant Madhusudan

Thumbnail for Testing in learning conjunctive invariants

Testing in learning conjunctive invariants

Mahdian, Peyman

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 Learning inductive invariants using Winnow algorithm

Learning inductive invariants using Winnow algorithm

Suresh Kumar, Anjana

Thumbnail for Learning frameworks for program synthesis

Learning frameworks for program synthesis

Saha, Shambwaditya

Thumbnail for Learning-based inductive invariant synthesis

Learning-based inductive invariant synthesis

Garg, Pranav

Thumbnail for Automated detection of injection vulnerabilities in web applications

Automated detection of injection vulnerabilities in web applications

Bandhakavi, Sruthi

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 Automated deductive verification of systems software

Automated deductive verification of systems software

Pek, Edgar

Thumbnail for Algorithmic advances in dynamic analysis for detecting concurrency bugs

Algorithmic advances in dynamic analysis for detecting concurrency bugs

Mathur, Umang

Thumbnail for Adaptation of grammar based compression in detecting atomicity violations

Adaptation of grammar based compression in detecting atomicity violations

Xu, Yang

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

Building abstractions for fast, secure, reliable computer systems

Mai, Haohui

Thumbnail for Toward language-independent program verification

Toward language-independent program verification

Ștefănescu, Andrei

Thumbnail for Learning to Verify Branching Time Properties

Learning to Verify Branching Time Properties

Vardhan, Abhay; Viswanathan, Mahesh

Thumbnail for Complexity bounds for the verification of real-time software

Complexity bounds for the verification of real-time software

Chadha, Rohit; Legay, Axel; Prabhakar, Pavithra; Viswanathan, Mahesh

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

Automatic techniques for proving correctness of heap-manipulating programs

Qiu, Xiaokang

Thumbnail for Semantics-based program verification

Semantics-based program verification

Park, Daejun

Thumbnail for Whole-system testing and analysis of actor programs

Whole-system testing and analysis of actor programs

Li, Sihan

Thumbnail for Proactively detecting unreliable tests

Proactively detecting unreliable tests

Gyori, Alex

Thumbnail for Synthesizing Monitors for Safety Properties - This Time With Calls and Returns -

Synthesizing Monitors for Safety Properties - This Time With Calls and Returns -

Rosu, Grigore; Chen, Feng; Ball, Thomas

Thumbnail for Testing, runtime verification, and analysis of concurrent programs

Testing, runtime verification, and analysis of concurrent programs

Luo, Qingzhou

1 (current)
2
3
4
5

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 0 + 5?

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