@inproceedings(Barringer2012,
 author       = {Howard Barringer and Yli{\`e}s Falcone and Klaus Havelund and Giles Reger and David E. Rydeheard},
 year         = {2012},
 title        = {Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors},
 booktitle    = {FM},
 pages        = {68--84},
 url          = {http://dx.doi.org/10.1007/978-3-642-32759-9_9},
)
@inproceedings(Blanchet:1998:EAC:268946.268949,
 author       = {Bruno Blanchet},
 year         = {1998},
 title        = {Escape Analysis: Correctness Proof, Implementation and Experimental Results},
 booktitle    = {Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series       = {POPL '98},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {25--37},
 doi          = {10.1145/268946.268949},
)
@article(DBLP:journals/sttt/BoddenH12,
 author       = {Eric Bodden and Laurie J. Hendren},
 year         = {2012},
 title        = {The Clara framework for hybrid typestate analysis},
 journal      = {{STTT}},
 volume       = {14},
 number       = {3},
 pages        = {307--326},
 doi          = {10.1007/s10009-010-0183-5},
 url          = {https://doi.org/10.1007/s10009-010-0183-5},
)
@inproceedings(Bodden2010,
 author       = {Eric Bodden and Patrick Lam and Laurie Hendren},
 year         = {2010},
 title        = {Clara: A Framework for Partially Evaluating Finite-state Runtime Monitors Ahead of Time},
 booktitle    = {Proceedings of the First International Conference on Runtime Verification},
 series       = {RV'10},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
 pages        = {183--197},
 doi          = {10.1007/978-3-642-16612-9_15},
)
@inproceedings(Chen2009,
 author       = {Feng Chen and Ro\c{s}u, Grigore},
 year         = {2009},
 title        = {Parametric Trace Slicing and Monitoring},
 booktitle    = {TACAS '09},
 address      = {Berlin, Heidelberg},
 pages        = {246--261},
 doi          = {10.1007/978-3-642-00768-2_23},
)
@article(Choi:1999:EAJ:320385.320386,
 author       = {Jong-Deok Choi and Manish Gupta and Mauricio Serrano and Vugranam C. Sreedhar and Sam Midkiff},
 year         = {1999},
 title        = {Escape Analysis for Java},
 journal      = {SIGPLAN Not.},
 volume       = {34},
 number       = {10},
 pages        = {1--19},
 doi          = {10.1145/320385.320386},
)
@inbook(Dwyer2010,
 author       = {Matthew B. Dwyer and Rahul Purandare and Suzette Person},
 year         = {2010},
 title        = {Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis?},
 pages        = {36--50},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-642-16612-9_4},
)
@incollection(Falcone2013,
 author       = {Y. Falcone and K. Havelund and G. Reger},
 year         = {2013},
 title        = {A Tutorial on Runtime Verification},
 editor       = {Manfred Broy and Doron Peled},
 booktitle    = {Summer School Marktoberdorf 2012 - Engineering Dependable Software Systems},
 publisher    = {IOS Press},
 doi          = {10.3233/978-1-61499-207-3-141},
)
@article(Guyer:2006:FSA:1133255.1134024,
 author       = {Samuel Z. Guyer and Kathryn S. McKinley and Daniel Frampton},
 year         = {2006},
 title        = {Free-Me: A Static Analysis for Automatic Individual Object Reclamation},
 journal      = {SIGPLAN Not.},
 volume       = {41},
 number       = {6},
 pages        = {364--375},
 doi          = {10.1145/1133255.1134024},
)
@inproceedings(jin-meredith-griffith-rosu-2011-pldi,
 author       = {Dongyun Jin and Patrick O'Neil Meredith and Dennis Griffith and Ro\c{s}u, Grigore},
 year         = {2011},
 title        = {Garbage Collection for Monitoring Parametric Properties},
 booktitle    = {Proceedings of the 32nd ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI'11)},
 publisher    = {ACM},
 pages        = {415--424},
 doi          = {10.1145/1993498.1993547},
)
@book(Khedker:2009:DFA:1592955,
 author       = {Uday Khedker and Amitabha Sanyal and Bageshri Karkare},
 year         = {2009},
 title        = {Data Flow Analysis: Theory and Practice},
 edition      = {1st},
 publisher    = {CRC Press, Inc.},
 address      = {Boca Raton, FL, USA},
 doi          = {10.1201/9780849332517},
)
@article(Meredith2011,
 author       = {Patrick Meredith and Dongyun Jin and Dennis Griffith and Feng Chen and Ro{\c s}u, Grigore},
 year         = {2011},
 title        = {An overview of the MOP runtime verification framework},
 journal      = {J Software Tools for Technology Transfer},
 pages        = {1--41},
 url          = {http://dx.doi.org/10.1007/s10009-011-0198-6},
)
@book(Nielson:2010:PPA:1965094,
 author       = {Flemming Nielson and Hanne R. Nielson and Chris Hankin},
 year         = {2010},
 title        = {Principles of Program Analysis},
 publisher    = {Springer Publishing Company, Incorporated},
)
@inproceedings(Reger2016,
 author       = {Giles Reger},
 year         = {2016},
 title        = {Considering Typestate Verification for Quantified Event Automata},
 booktitle    = {7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016)},
 doi          = {10.1007/978-3-319-23820-3_21},
)
@inproceedings(Reger2015,
 author       = {Giles Reger and Helena Cuenca Cruz and David Rydeheard},
 year         = {2015},
 title        = {{MarQ}: monitoring at runtime with {QEA}},
 booktitle    = {Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15)},
 doi          = {10.1007/978-3-662-46681-0_55},
)
@article(Smaragdakis:2015:PA:2802194.2802195,
 author       = {Yannis Smaragdakis and George Balatsouras},
 year         = {2015},
 title        = {Pointer Analysis},
 journal      = {Found. Trends Program. Lang.},
 volume       = {2},
 number       = {1},
 pages        = {1--69},
 doi          = {10.1561/2500000014},
)
@inproceedings(DBLP:conf/ecoop/SpathDAB16,
 author       = {Johannes Sp{\"{a}}th and Lisa Nguyen Quang Do and Karim Ali and Eric Bodden},
 year         = {2016},
 title        = {Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java},
 booktitle    = {30th European Conference on Object-Oriented Programming, {ECOOP} 2016, July 18-22, 2016, Rome, Italy},
 pages        = {22:1--22:26},
 doi          = {10.4230/LIPIcs.ECOOP.2016.22},
 url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2016.22},
)