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

  • Sasidharan, Aparna; Snir, Marc (2016-08-18)
    This report describes the detailed implementation of MiniAMR - a software for octree-based adaptive mesh refinement (AMR) that can be used to study the communication costs in a typical AMR simulation. We have designed new ...


    application/pdfPDF (560kB)
  • Nguyen, Phuong; Konstanty, Steven; Nicholson, Todd; O'brien, Thomas; Schwartz-Duval, Aaron; Spila, Timothy; Nahrstedt, Klara; Campbell, Roy H.; Gupta, Indranil; Chan, Michael; McHenry, Kenton; Paquin, Normand (2016-06)
    In this paper, we propose a data acquisition and analysis framework for materials-to-devices processes, named 4CeeD, that focuses on the immense potential of capturing, accurately curating, correlating, and coordinating ...


    application/pdfPDF (1MB)
  • Yang, Fan; Escobar, Santiago; Meadows, Catherine; Meseguer, Jose; Santiago, Sonia (2016-07)
    Roles in cryptographic protocols do not always have a linear execution, but may include choice points causing the protocol to continue along different paths. In this paper we address the problem of representing choice in ...


    application/pdfPDF (457kB)
  • Skeirik, Stephen; Meseguer, José (2016-06-07)
    Variant satisfiability is a theory-generic algorithm to decide quantifier-free satisfiability in an initial algebra when its corresponding theory has the finite variant property and its constructors satisfy a compactness ...


    application/pdfPDF (582kB)
  • Bertram Ludäscher (2016-03-03)
    Within computer science, the term provenance has multiple meanings, due to different motivations, perspectives, and assumptions prevalent in the respective communities. This chapter provides a high-level “sightseeing tour” ...


    application/pdfPDF (3MB)

Community Statistics