Research and Tech Reports - Computer Science

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/pdf

    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/pdf

    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/pdf

    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/pdf

    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/pdf

    application/pdfPDF (22MB)

Collection Statistics