Lazy Preemption to Enable Path-Based Analysis of Interrupt-Driven Code

Authors: Wei Le, Jing Yang, Mary Lou Soffa, Kamin Whitehouse

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.virginia.edu/~jy8y/publications/le11lazy.pdf.

Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— Reliability General Terms Reliability, Algorithms Keywords Lazy preemption, Path-based analysis, Interrupt-driven

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.434.1276; http://www.cs.virginia.edu/~jy8y/publications/le11lazy.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.434.1276
http://www.cs.virginia.edu/~jy8y/publications/le11lazy.pdf

Lazy Preemption to Enable Path-Based Analysis of Interrupt-Driven Code

Authors: Wei Le, Jing Yang, Mary Lou Soffa, Kamin Whitehouse

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.virginia.edu/~whitehouse/research/pubs/icsews11sesenafull-p015-le.pdf.

Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— Reliability General Terms Reliability, Algorithms Keywords Lazy preemption, Path-based analysis, Interrupt-driven

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.295.5389
http://www.cs.virginia.edu/~whitehouse/research/pubs/icsews11sesenafull-p015-le.pdf

Finding synchronization defects in java programs: Extended static analyses and code patterns

Authors: Frank Otto, Thomas Moschny

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://wwwipd.ira.uka.de/%7Etichy/uploads/publikationen/178/Otto2008.pdf.

Subject Terms: D.1.3 [Programming Techniques, Concurrent Programming—parallel programming, D.2.4 [Software Engineering, Software/Program Verification—reliability General Terms Reliability, verification. Keywords Java, synchronization defects, lockset analysis, anti-pattern detection

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.258.8481; http://wwwipd.ira.uka.de/%7Etichy/uploads/publikationen/178/Otto2008.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.258.8481
http://wwwipd.ira.uka.de/%7Etichy/uploads/publikationen/178/Otto2008.pdf