Lock Inference in the Presence of Large Libraries
No abstract available.
Related papers
- Interprocedural Dataflow Analysis in the Presence of Large Libraries CC 2006
- IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries CC 2008
- Lock allocation POPL 2007
- Types for safe locking: Static race detection for Java TOPLAS 2006
- An Efficient Meta-Lock for Implementing Ubiquitous Synchronization OOPSLA 1999
- Inferring locks for atomic sections PLDI 2008
- Complexity of Concrete Type-Inference in the Presence of Exceptions ESOP 1998
- Scalable taint specification inference with big code PLDI 2019