- IDEALS Home
- →
- College of Engineering
- →
- Dept. of Computer Science
Dept. of Computer Science
The Department of Computer Science is recognized throughout the world as a leader in education and research. The department and its graduates have long been at the forefront of modern computing beginning with the ILLIAC in 1952, and continuing with the creation of Mosaic, the first graphic web browser, through the most recent Internet era.
Browse Sub-communities
Browse Collections of Items
-
Dissertations and Theses from the Dept. of Computer Science
-
Reports from the Digital Computer Laboratory and Information Engineering Laboratory
Browse by
Recent Additions
-
(2019-01-19)Matching logic is a logic for specifying and reasoning about structure by means of patterns and pattern matching. This paper makes two contributions. First, it proposes a sound and complete proof system for matching ...
application/pdf
PDF (682kB)
-
(2018-12-19)A new notion of generalized rewrite theory suitable for symbolic reasoning and generalizing the standard notion is motivated and defined. Also, new requirements for symbolic executability of generalized rewrite theories ...
application/pdf
PDF (716kB)
-
(2018-11-19)Decentralized (pseudo-)random number generation (RNG) is a core process of many emerging distributed systems, including perhaps most prominently, the upcoming Ethereum 2.0 (a.k.a. Serenity) protocol. To ensure security ...
application/pdf
PDF (903kB)
-
(2018-11-19)This report describes our effort to model and verify the Casper blockchain finality system in the Coq proof assistant. We outline the salient details on blockchain systems using Casper, describe previous verification ...
application/pdf
PDF (424kB)
-
(2013-09)This book summarizes the contributions of the Illinois Parallelism Center, through the Universal Parallel Computing Research Center (UPCRC) funded by Intel and Microsoft during 2008-2010, and the Illinois-Intel Parallelism ...
application/pdf
PDF (22MB)