2014 CS Technical Reports
- CS-2014-01
Yael Meller, Orna Grumberg, and Karen Yorav:
Verifying Behavioral UML Systems via CEGAR
- CS-2014-02
Hagit Attiya, Alexey Gotsman, Sandeep Hans, Noam Rinetzky:
Safety of Live Transactions in Transactional Memory: TMS is Necessary and Sufficient
- CS-2014-03
David H. Lorenz and Boaz Rosenan:
Versionable, Branchable, and Mergeable Application State
- CS-2014-04
Gil Einziger and Roy Friedman:
A Formal Analysis of Conservative Update Based Approximate Counting
- CS-2014-05
Igor Smolyar, Muli Ben-Yehuda, Dan Tsafrir:
Securing Self-Virtualizing I/O Devices
To the main CS technical reports page