POPL 2005 - PDF Preprint Papers

POPL 2005 Annual Symposium on Principles of Programming Languages

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed POPL-2005 Paper

click to vote

POPL
2005
ACM

171views Programming Languages» more POPL 2005»

Dynamic partial-order reduction for model checking software

14 years 11 months ago

Download slang.soe.ucsc.edu

We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...

Cormac Flanagan, Patrice Godefroid

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	171	Dynamic partial-order reduction for model checking software	claim
2	164	Precise interprocedural analysis using random interpretation	claim
3	161	Context logic and tree update	claim
4	160	Region-based shape analysis with tracked locations	claim
5	157	Communicating quantum processes	claim
6	156	Downgrading policies and relaxed noninterference	claim
7	152	Mutatis mutandis: safe and predictable dynamic software updating	claim
8	149	Synthesis of interface specifications for Java classes	claim
9	141	Associated types with class	claim
10	136	Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments	claim
11	135	Automated soundness proofs for dataflow analyses and transformations via local rules	claim
12	135	Separation logic and abstraction	claim
13	127	A simple typed intermediate language for object-oriented languages	claim
14	124	Transition predicate abstraction and fair termination	claim
15	124	Enterprise privacy promises and enforcement	claim
16	123	The Java memory model	claim
17	122	Parametric polymorphism for XML	claim
18	114	Permission accounting in separation logic	claim
19	110	Connecting effects and uniqueness with adoption	claim
20	108	A framework for numeric analysis of array operations	claim
21	108	Formal prototyping in early stages of protocol design	claim
22	106	A bisimulation for type abstraction and recursion	claim
23	105	Statically checking confidentiality via dynamic labels	claim
24	100	Specifying Kerberos 5 cross-realm authentication	claim
25	98	From sequential programs to multi-tier applications by program transformation	claim
26	96	Scalable error detection using boolean satisfiability	claim
27	96	Inferring authentication tags	claim
28	94	Environmental acquisition revisited	claim
29	89	Policy framings for access control	claim
30	86	A semantics for procedure local heaps and its abstractions	claim
31	81	Polymorphic bytecode: compositional compilation for Java-like languages	claim
32	79	A probabilistic language based upon sampling functions	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers