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

  • 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/pdfPDF (724kB)
  • Stephens, Sam C (2018-05)
    Maude is an equational and rewriting logic specification tool. It allows a unique and simple way of specifying concurrent programs and lends itself nicely to verification. This senior thesis focuses specifically on patterns ...


    application/pdfPDF (282kB)
  • Duran, Francisco; Meseguer, Jose; Rocha, Camilo (2018-03-20)
    Terminating functional programs should be deterministic, i.e., should evaluate to a unique result, regardless of the evaluation order. For equational functional programs such determinism is exactly captured by ...


    application/pdfPDF (209kB)
  • Meseguer Jose (2018-03-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 (439kB)
  • Acun, Bilge (2017-12-06)
    Power consumption and process variability are two important, interconnected, challenges of future generation large-scale High Performance Computing (HPC) data centers. For example, current production petaflop supercomputers ...


    application/pdfPDF (4MB)Restricted Access

Community Statistics