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

  • Marco Cesati; Renato Mancuso; Emiliano Betti; Marco Caccamo (2015-06-18)
    Tools for memory access detection are widely used, playing an important role especially in real-time systems. For example, on multi-core platforms, the problem of co-scheduling CPU and memory resources with hard real-time ...

    application/pdf

    application/pdfPDF (399Kb)
  • Jose Meseguer (2015-06-04)
    Order-sorted type systems supporting inheritance hierarchies and subtype polymorphism are used in theorem proving, AI, and declarative programming. The satisfiability problems for the theories of: (i) order-sorted ...

    application/pdf

    application/pdfPDF (424Kb)
  • 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/pdf

    application/pdfPDF (740Kb)
  • Yu Lin; Semih Okur; Dig, Danny (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/pdf

    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/pdf

    application/pdfPDF (597Kb)

Community Statistics

  • Total Downloads: 562903
  • Downloads this Month: 13671
  • Downloads Today: 71
  • Statistics Report