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

Collection

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

Author(s)

Charalambides, Minas 2
Palmskog, Karl 2
Agha, Gul 1
Gligoric, Milos 1
Gyori, Alex 1
Hariri, Farah 1
Moore, Brandon 1
Pena, Lucas 1
Roşu, Grigore 1

Keyword(s)

Casper, Blockchain, Formal Verification 1
Flaky tests 1
Proactive detection 1
Unreliable tests 1
actors 1
actors, concurrency, types, progress, liveness 1
concurrency 1
mutation testing 1
session 1
software testing 1

Type of Resource

text 5

↑ ↓

Showing 1–5 of 5 items

Thumbnail for Types for Progress in Actor Programs

Types for Progress in Actor Programs

Charalambides, Minas; Palmskog, Karl; Agha, Gul

Thumbnail for Verification of Casper in the Coq Proof Assistant

Verification of Casper in the Coq Proof Assistant

Palmskog, Karl; Gligoric, Milos; Pena, Lucas; Moore, Brandon; Roşu, Grigore

Thumbnail for Actor programming with static guarantees

Actor programming with static guarantees

Charalambides, Minas

Thumbnail for Exploring design decisions for mutation testing

Exploring design decisions for mutation testing

Hariri, Farah

Thumbnail for Proactively detecting unreliable tests

Proactively detecting unreliable tests

Gyori, Alex

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 4 + 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)