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

  • Luo, Qingzhou; Huang, Jeff; Rosu, Grigore (2015)
    We propose the first systematic concurrent program testing approach that is able to cover the entire scheduling space with a provably minimal number of test runs. Each run corresponds to a distinct maximal causal model ...


    application/pdfPDF (702Kb)
  • Yu Lin; Semih Okur; Danny Dig (2015-05-17)
    To avoid unresponsiveness, a core part of mobile development is asynchronous programming. Android provides several async constructs that developers can use. However, developers can still use the inappropriate async constructs, ...


    application/pdfPDF (443Kb)
  • Garg, Pranav; Neider, Daniel; Madhusudan, P.; Roth, Dan (2015)
    Inductive invariants can be robustly synthesized using a learning model where the teacher is a program verifier who instructs the learner through concrete program configurations, classified as positive, negative, and ...


    application/pdfPDF (597Kb)
  • Pundir, Mayank; Leslie, Luke M.; Gupta, Indranil; Campbell, Roy H. (2015-05-07)
    Distributed graph processing systems largely rely on proactive techniques for failure recovery. Unfortunately, these approaches (such as checkpointing) entail a significant overhead. In this paper, we argue that distributed ...


    application/pdfPDF (1Mb)
  • Menon, Harshitha; Bhatele, Abhinav; Fourestier, Sebastien; Kale, Laxmikant; Pellegrini, Francois (2015)
    Load imbalance in an application can lead to degradation of performance and a significant drop in system utilization. Achieving the best parallel efficiency for a program requires optimal load balancing which is an NP-hard ...


    application/pdfPDF (1Mb)

Community Statistics

  • Total Downloads: 544213
  • Downloads this Month: 9750
  • Downloads Today: 148
  • Statistics Report