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

  • Verma, Shiv; Leslie, Luke M.; Shin, Yosub; Gupta, Indranil (2016-10-14)
    In this paper, we study the problem of choosing among partitioning strategies in distributed graph processing systems.To this end, we evaluate and characterize both the performance and resource usage of different partitioning ...


    application/pdfPDF (1MB)
  • Alebiosu, Oreoluwa; Srisakaokul, Siwakorn; Astorga, Angello; Xie, Tao (2016-10-10)
    Machine learning (ML) software, used to implement an ML algorithm, is widely used in many application domains such as financial, business, and engineering domains. Faults in ML software can cause substantial losses in these ...


    application/pdfPDF (184kB)
  • Tianyuan Liu, King-Shan Lui, Haiming Jin, Klara Nahrstedt (2016)
    Sensors and measurement devices are widely deployed in Smart Grid (SG) to monitor the health of the system. However, these devices are subject to damage and attack so that they cannot deliver sensing data to the control ...


    application/pdfPDF (429kB)
  • Camilo Rocha; Jose Meseguer; Cesar Munoz (2016-10-02)
    This paper proposes rewriting modulo SMT, a new technique that combines the power of SMT solving, rewriting modulo theories, and model checking. Rewriting modulo SMT is ideally suited to model and analyze reachability ...


    application/pdfPDF (263kB)
  • Zhang, Aston (2015-07-22)
    Anonymized user datasets are often released for research or industry applications. As an example, released its anonymized users’ profile, social interaction, and recommendation log data in KDD Cup 2012 to call for ...


    application/pdfPDF (1MB)Restricted Access

Community Statistics