- IDEALS Home
- →
- College of Engineering
- →
- Dept. of Computer Science
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
-
Dissertations and Theses from the Dept. of Computer Science
-
Reports from the Digital Computer Laboratory and Information Engineering Laboratory
Browse by
Recent Additions
-
application/pdf
PDF (21MB)
-
(2021-10-04)Matching logic is a uniform logical foundation for K, which is a language semantics framework with the philosophy that all tooling around a language should be automatically generated from a single, rigorous definition of ...
application/pdf
PDF (124kB)
-
(2021-08-22)In an ideal language framework, language designers only need to define the formal semantics of their languages. Deductive program verifiers and other language tools are automatically generated by the framework. In this ...
application/pdf
PDF (1MB)
-
(2021-07-23)Developing correct, scalable, and fault-tolerant distributed databases is hard and labor-intensive. The increasing complexity of such systems under modern cloud infrastructures, e.g., geo-replicated multi-partitioned ...
application/pdf
PDF (352kB)
-
(2021-04)We pursue the vision of an ideal language framework, where programming language designers only need to define the formal syntax and semantics of their languages, and all language tools are automatically generated by the ...
application/pdf
PDF (1MB)