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

Recent AdditionsRSS feed

  • Chen, Xiaohong; Rosu, Grigore (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/pdfPDF (682kB)
  • Meseguer, Jose (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/pdfPDF (716kB)
  • Alturki, Musab A.; Rosu, Grigore (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/pdfPDF (903kB)
  • Palmskog, Karl; Gligoric, Milos; Pena, Lucas; Moore, Brandon; Rosu, Grigore (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/pdfPDF (424kB)
  • Josep Torrellas, Sarita V. Adve, Vikram S. Adve, Danny Dig, Minh N. Do, Maria Jesus Garzaran, John C. Hart, Thomas S. Huang, Wen-mei W. Hwu, Samuel T. King, Darko Marinov, Klara Nahrstedt, David A. Padua, Madhusudan Parthasarathy, Sanjay J. Patel, and Marc Snir (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/pdfPDF (22MB)

Community Statistics