Parameterized verification of transactional memories

Authors: Michael Emmi, Rupak Majumdar, Roman Manevich

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-pldi-EmmiMM10.pdf.

Subject Terms: Categories and Subject Descriptors D.1.3 [Programming tech- niques, Concurrent Programming, D.2.4 [Software engineering, Software/Program Verification General Terms Reliability, Verification Keywords Transactional memory, Parameterized verification

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.592.72

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.592.72
http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-pldi-EmmiMM10.pdf

A Type and Effect System for Atomicity

Authors: Cormac Flanagan, Shaz Qadeer

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.toronto.edu/~azadeh/page11/teaching/fall08/papers/type-atomicity.pdf.

Subject Terms: D.1.3 Concurrent Programming, parallel programming, D.2.4 Software/Program Verification General terms Reliability, Security, Languages, Verification Keywords Multithreading, race conditions, static checking, atomicity

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.539.2754

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.539.2754
http://www.cs.toronto.edu/~azadeh/page11/teaching/fall08/papers/type-atomicity.pdf

A type and effect system for atomicity

Authors: Cormac Flanagan, Shaz Qadeer

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.eecs.umich.edu/acal/swerve/docs/99-1.pdf.

Subject Terms: D.1.3 Concurrent Programming, parallel programming, D.2.4 Software/Program Verification General terms Reliability, Security, Languages, Verification Keywords Multithreading, race conditions, static checking, atomicity

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.152.4390

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.152.4390
http://www.eecs.umich.edu/acal/swerve/docs/99-1.pdf

A type and effect system for atomicity

Authors: Cormac Flanagan, Shaz Qadeer

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.uoregon.edu/classes/06W/cis607atom/readings/flanagan-typesystem-pldi03.pdf.

Subject Terms: D.1.3 Concurrent Programming, parallel programming, D.2.4 Software/Program Verification General terms Reliability, Security, Languages, Verification Keywords Multithreading, race conditions, static checking, atomicity

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.3296

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.3296
http://www.cs.uoregon.edu/classes/06W/cis607atom/readings/flanagan-typesystem-pldi03.pdf

[Untitled]

Authors: Cormac Flanagan, Shaz Qadeer

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.soe.ucsc.edu/~cormac/papers/tldi03.pdf.

Subject Terms: D.1.3 Concurrent Programming, parallel programming, D.2.4 Software/Program Verification General terms Reliability, Security, Languages, Verification

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.88.5150; http://www.soe.ucsc.edu/~cormac/papers/tldi03.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.88.5150
http://www.soe.ucsc.edu/~cormac/papers/tldi03.pdf

ABSTRACT A Type and Effect System for Atomicity

Authors: Cormacflanagan Shazqadeer

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.soe.ucsc.edu/~cormac/papers/pldi03.pdf.

Subject Terms: D.1.3 Concurrent Programming, parallel programming, D.2.4 Software/Program Verification General terms Reliability, Security, Languages, Verification Keywords Multithreading, race conditions, static checking, atomicity

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.7504; http://www.soe.ucsc.edu/~cormac/papers/pldi03.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.7504
http://www.soe.ucsc.edu/~cormac/papers/pldi03.pdf

ABSTRACT A Type and Effect System for Atomicity

Authors: Cormac Flanagan, Shaz Qadeer

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.soe.ucsc.edu/~cormac/papers/pldi03.ps.

Subject Terms: D.1.3 Concurrent Programming, parallel programming, D.2.4 Software/Program Verification General terms Reliability, Security, Languages, Verification Keywords Multithreading, race conditions, static checking, atomicity

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.6814; http://www.soe.ucsc.edu/~cormac/papers/pldi03.ps

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.6814
http://www.soe.ucsc.edu/~cormac/papers/pldi03.ps

ABSTRACT A Type and Effect System for Atomicity

Authors: Cormac Flanagan, Shaz Qadeer

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://pag.lcs.mit.edu/reading-group/flanagan03atom.pdf.

Subject Terms: D.1.3 Concurrent Programming, parallel programming, D.2.4 Software/Program Verification General terms Reliability, Security, Languages, Verification Keywords Multithreading, race conditions, static checking, atomicity

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.9708

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.9708
http://pag.lcs.mit.edu/reading-group/flanagan03atom.pdf

Black-Box Composition: a Dynamic Approach

Authors: Casandra Holotescu

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.avantssar.eu/pdf/publications/savcbs2010.pdf.

Subject Terms: Categories and Subject Descriptors D.2.10 [Software Engineering, Design, D.2.4 [Software Engineering, Software/Program Verification General Terms Reliability, Verification, Design Keywords black-box components

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.654.83; http://www.avantssar.eu/pdf/publications/savcbs2010.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.654.83
http://www.avantssar.eu/pdf/publications/savcbs2010.pdf

Perracotta: mining temporal API rules from imperfect traces

Authors: Jinlin Yang, David Evans, Deepali Bhardwaj, Thirumalesh Bhat, Manuvir Das

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.irisa.fr/lande/lande/icse-proceedings/icse/p282.pdf.

Subject Terms: D.2.4 [Software/Program Verification] General Terms Reliability, Experimentation, Verification Keywords Dynamic analysis

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.460.3882

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.460.3882
http://www.irisa.fr/lande/lande/icse-proceedings/icse/p282.pdf

An Effective Dynamic Analysis for Detecting Generalized Deadlocks

Authors: Pallavi Joshi, Mayur Naik, David Gay, Koushik Sen

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.berkeley.edu/%7Epallavi/papers/FSE10.pdf.

Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging, D.2.4 [Software Engineering, Software/Program Verification General Terms Reliability, Verification Keywords deadlock detection

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.168.6490; http://www.cs.berkeley.edu/%7Epallavi/papers/FSE10.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.168.6490
http://www.cs.berkeley.edu/%7Epallavi/papers/FSE10.pdf

[Untitled]

Authors: Types Atomicity, Cormac Flanagan, Shaz Qadeer

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.rice.edu/~taha/teaching/04F/RAP/cache/tldi03.ps.

Subject Terms: Categories and Subject Descriptors D.1.3 Concurrent Programming, parallel programming, D.2.4 Software/Program Verification General terms Reliability, Security, Languages, Verification

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.226; http://www.cs.rice.edu/~taha/teaching/04F/RAP/cache/tldi03.ps

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.226
http://www.cs.rice.edu/~taha/teaching/04F/RAP/cache/tldi03.ps