Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

232 Publications


2009 | Conference Paper | IST-REx-ID: 4360
T. Wies, R. Piskac, and V. Kuncak, “Combining Theories with Shared Set Operations,” presented at the FroCoS: Frontiers of Combining Systems, 2009, pp. 366–382.
View | DOI
 

2009 | Thesis | IST-REx-ID: 4363
V. Singh, “Formalizing and Verifying Transactional Memories,” EPFL Lausanne, 2009.
View
 

2009 | Conference Paper | IST-REx-ID: 4375
S. Lahiri, S. Qadeer, J. Galeotti, J. Voung, and T. Wies, “Intra-module Inference,” presented at the CAV: Computer Aided Verification, 2009, pp. 493–508.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4377
J. Hoenicke, K. R. Leino, A. Podelski, M. Schäf, and T. Wies, “It’s Doomed; We Can Prove It,” presented at the FM: Formal Methods, 2009, pp. 338–353.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4383 | OA
R. Guerraoui, T. A. Henzinger, and V. Singh, “Software transactional memory on relaxed memory models,” presented at the CAV: Computer Aided Verification, 2009, vol. 5643, pp. 321–336.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4385
A. Dragojevic, R. Guerraoui, A. Singh, and V. Singh, “Preventing versus curing: avoiding conflicts in transactional memories,” presented at the POPL: Principles of Programming Languages, 2009, pp. 7–16.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4376
R. Lublinerman, S. Chaudhuri, and P. Cerny, “Parallel programming with object assemblies,” presented at the Oopsla Object Oriented Programming Systems Languages and Applications, 2009, pp. 61–80.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4391
P. Cerny and R. Alur, “Automated Analysis of Java Methods for Confidentiality,” presented at the CAV: Computer Aided Verification, 2009, pp. 173–187.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4403 | OA
R. Alur, P. Cerny, and S. Weinstein, “Algorithmic analysis of array-accessing programs,” presented at the CSL: Computer Science Logic, Coimbra, Portugal, 2009, vol. 5771, pp. 86–101.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4453 | OA
T. A. Henzinger, M. Mateescu, and V. Wolf, “Sliding-window abstraction for infinite Markov chains,” presented at the CAV: Computer Aided Verification, 2009, vol. 5643, pp. 337–352.
View | Files available | DOI | Download (ext.)
 

Filters and Search Terms

year=2009

Search

Filter Publications