Research and Tech Reports - Computer Science

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

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

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

    application/pdfPDF (1Mb)

Collection Statistics

  • Total Downloads: 421343
  • Downloads this Month: 464
  • Downloads Today: 155
  • Statistics Report