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

  • Extending Parikh's Theorem to Weighted and Probabilistic Context-Free Grammars 
    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/pdf

    application/pdfPDF (299kB)
  • Modular Verification of Protocol Equivalence in the Presence of Randomness 
    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/pdf

    application/pdfPDF (558kB)
  • Formal Modeling and Analysis of Leader Election in MANETs 
    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/pdf

    application/pdfPDF (988kB)
  • A Formal Framework for Mobile Ad hoc Networks in Real-Time Maude 
    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/pdf

    application/pdfPDF (945kB)
  • Exploring Design Alternatives for RAMP Transactions through Statistical Model Checking 
    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/pdf

    application/pdfPDF (607kB)

Community Statistics