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 1
College of Liberal Arts and Sciences 1
Dept. of Computer Science 1
Graduate Dissertations and Theses at Illinois 1
Program in Comparative and World Literature 1

Collection

Dissertations and Theses - Comparative and World Literature 1
Graduate Dissertations and Theses at Illinois 1
Research and Tech Reports - Computer Science 1

Author(s)

Garg, Pranav 1
Loding, Christof 1
Madhusudan, P. 1
Neider, Daniel 1
Ober, Kenneth Harlan 1

Keyword(s)

Invariant Synthesis 1
Learning 1
Literature, Modern 1
Program Verification 1

Type of Resource

text 2

↑ ↓

Showing 1–2 of 2 items

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 Peter Emanuel Hansen and the Popularization of Scandinavian Literature in Russia, 1888-1917

Peter Emanuel Hansen and the Popularization of Scandinavian Literature in Russia, 1888-1917

Ober, Kenneth Harlan

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 5 + 3?

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