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

  • Jose Meseguer (2015-11)
    Although different satisfiability decision procedures can be combined by algorithms such as those of Nelson-Oppen or Shostak, current tools typically can only support a finite number of theories to use in such ...


    application/pdfPDF (656kB)
  • Yoon, Man-Ki; Mohan, Sibin; Chen, Chien-Ying; Sha, Lui (2015-10-15)
    The high degree of predictability in hard real-time systems makes it possible for adversaries to launch timing inference attacks such as those based on side-channels and covert-channels. We present SCOBE, an obfuscation ...


    application/pdfPDF (2MB)
  • Alessandra Melani; Renato Mancuso; Daniel Cullina; Marco Caccamo; Lothar Thiele (2015-11-12)
    Multiple resource co-scheduling algorithms and pipelined execution models are becoming increasingly popular, as they better capture the heterogeneous nature of modern architectures. The problem of scheduling tasks composed ...


    application/pdfPDF (449kB)
  • Lam, Wing; Srisakaokul, Siwakorn; Bassett, Blake; Mahdian, Peyman; Xie, Tao; Tillmann, Nikolai; de Halleux, Jonathan (2015-10-16)
    With recent advances in test generation research, powerful test generation tools are now at the fingertips of developers in software industry. For example, Microsoft Research Pex, a state-of-the-art tool based on dynamic ...


    application/pdfPDF (600kB)
  • Gao, Zhenhuan; Chen, Shannon; Nahrstedt, Klara (2015)
    3D video is a new form of video featuring omni-view and immersive properties that are beneficial to many applications like telediagnosis, remote physiotherapy and e-learning. In these applications, the data are always ...


    application/pdfPDF (345kB)

Community Statistics

  • Total Downloads: 645798
  • Downloads this Month: 23776
  • Downloads Today: 532
  • Statistics Report