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

  • Formal Design of Cloud Computing Systems in Maude 
    Meseguer, Jose (2018-09-16)
    Cloud computing systems are complex distributed systems whose design is challenging for two main reasons: (1) since they are distributed systems, a correct design is very hard to achieve by testing alone; and (2) cloud ...

    application/pdf

    application/pdfPDF (212kB)
  • BRACELET: Hierarchical Edge-Cloud Microservice Infrastructure for Scientific Instruments’ Lifetime Connectivity 
    Nguyen, Phuong; Konstanty, Steven; Elgamal, Tarek; Nicholson, Todd; Turner, Stuart; Su, Patrick; Nahrstedt, Klara; Spila, Timothy; Campbell, Roy H.; Dallesasse, John; Chan, Michael; McHenry, Kenton (2018-07)
    Recent advances in cyber-infrastructure have enabled digital data sharing and ubiquitous network connectivity between scientific instruments and cloud-based storage infrastructure for uploading, storing, curating, and ...

    application/pdf

    application/pdfPDF (1MB)
  • IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics 
    Kasampalis, Theodoros; Guth, Dwight; Moore, Brandon; Serbanuta, Traian; Serbanuta, Virgil; Filaretti, Daniele; Rosu, Grigore; Johnson, Ralph (2018-07-25)
    Most languages are given an informal semantics until they are implemented, so the formal semantics comes later. Consequently, there are usually inconsistencies among the informal semantics, the implementation, and the ...

    application/pdf

    application/pdfPDF (835kB)
  • IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics 
    Kasampalis, Theodoros; Guth, Dwight; Moore, Brandon; Serbanuta, Traian; Serbanuta, Virgil; Filaretti, Daniele; Rosu, Grigore; Johnson, Ralph (2018-07-25)
    Most languages are given an informal semantics until they are implemented, so the formal semantics comes later. Consequently, there are usually inconsistencies among the informal semantics, the implementation, and the ...

    application/pdf

    application/pdfPDF (835kB)
  • IsaK: A Complete Semantics of K 
    Li, Liyi; Gunter, Elsa L. (2018-06-25)
    K (Roşu and Şerbănuţă, 2010) is a rewrite-based executable semantic framework in which programming languages, type systems and formal analysis tools can be de ned using con gurations, computations and rules. In this paper ...

    application/pdf

    application/pdfPDF (724kB)

Community Statistics