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

  • Bhattiprolu, Vijay; Gordon, Spencer; Viswanathan, Mahesh (2017-06-23)
    We prove an analog of Parikh's theorem for weighted context-free grammars over commutative, idempotent semirings, and exhibit a stochastic context-free grammar with behavior that cannot be realized by any stochastic ...


    application/pdfPDF (299kB)
  • Bauer, Matthew S; Chadha, Rohit; Viswanathan, Mahesh (2017)
    Security protocols that provide privacy and anonymity guarantees are growing increasingly prevalent in the online world. The highly intricate nature of these protocols makes them vulnerable to subtle design flaws. Formal ...


    application/pdfPDF (558kB)
  • Liu, Si; Ölveczky, Peter Csaba; Meseguer, José (2015)
    The modeling and analysis of mobile ad hoc networks MANETs pose non-trivial challenges to formal methods. Time, geometry, communication delays and failures, mobility, and uni- and bidirectionality can interact in unforeseen ...


    application/pdfPDF (988kB)
  • Liu, Si; Ölveczky, Peter Csaba; Meseguer, José (2017)
    Mobile ad hoc networks (MANETs) are increasingly popular and deployed in a wide range of environments. However, it is challenging to formally analyze a MANET, both because there are few reasonably accurate formal models ...


    application/pdfPDF (945kB)
  • Liu, Si; Ölveczky, Peter Csaba; Ganhotra, Jatin; Gupta, Indranil; Meseguer, José (2017)
    In this paper we explore and extend the design space of the recent RAMP (Read Atomic Multi-Partition) transaction system for large-scale partitioned data stores. Arriving at a mature distributed system design through ...


    application/pdfPDF (607kB)

Community Statistics