Thesis.bib

@article{midtgaard2012control,
  title={{Control-Flow Analysis of Functional Programs}},
  author={Midtgaard, Jan},
  journal={ACM Computing Surveys (CSUR)},
  volume={44},
  number={3},
  pages={10},
  year={2012},
  publisher={ACM}
}

@phdthesis{shivers1991control,
  title={Control-Flow Analysis of Higher-order Languages},
  author={Shivers, Olin},
  year={1991},
  school={Citeseer}
}

@inproceedings{vardoulakis2010cfa2,
  title={{CFA2: A Context-Free Approach to Control-Flow Analysis}},
  author={Vardoulakis, Dimitrios and Shivers, Olin},
  booktitle={European Symposium on Programming},
  pages={570--589},
  year={2010},
  organization={Springer}
}

@inproceedings{van2010abstracting,
  title={{Abstracting Abstract Machines}},
  author={Van Horn, David and Might, Matthew},
  booktitle={ACM Sigplan Notices},
  volume={45},
  number={9},
  pages={51--62},
  year={2010},
  organization={ACM}
}

@article{earl2010pushdown,
  title={{Pushdown Control-flow Analysis of Higher-order Programs}},
  author={Earl, Christopher and Might, Matthew and Van Horn, David},
  journal={arXiv preprint arXiv:1007.4268},
  year={2010}
}

@inproceedings{earl2012introspective,
  title={{Introspective Pushdown Analysis of Higher-Order Programs}},
  author={Earl, Christopher and Sergey, Ilya and Might, Matthew and Van Horn, David},
  booktitle={ACM SIGPLAN Notices},
  volume={47},
  number={9},
  pages={177--188},
  year={2012},
  organization={ACM}
}

@article{johnson2015abstracting,
  title={{Abstracting Abstract Control}},
  author={Johnson, James Ian and Van Horn, David},
  journal={ACM SIGPLAN Notices},
  volume={50},
  number={2},
  pages={11--22},
  year={2015},
  publisher={ACM}
}

@inproceedings{gilray2016pushdown,
  title={Pushdown control-flow analysis for free},
  author={Gilray, Thomas and Lyde, Steven and Adams, Michael D and Might, Matthew and Van Horn, David},
  booktitle={ACM SIGPLAN Notices},
  volume={51},
  number={1},
  pages={691--704},
  year={2016},
  organization={ACM}
}

@inproceedings{felleisen1987calculus,
  title={{A Calculus for Assignments in Higher-order Languages}},
  author={Felleisen, Mattias and Friedman, Daniel P},
  booktitle={Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages},
  pages={314},
  year={1987},
  organization={ACM}
}

@inproceedings{sridharan2012correlation,
  title={{Correlation Tracking for Points-to Analysis of JavaScript}},
  author={Sridharan, Manu and Dolby, Julian and Chandra, Satish and Sch{\"a}fer, Max and Tip, Frank},
  booktitle={European Conference on Object-Oriented Programming},
  pages={435--458},
  year={2012},
  organization={Springer}
}

@inproceedings{might2006improving,
  title={{Improving Flow Analyses via $\Gamma$CFA: Abstract Garbage Collection and Counting}},
  author={Might, Matthew and Shivers, Olin},
  booktitle={ACM SIGPLAN Notices},
  volume={41},
  number={9},
  pages={13--25},
  year={2006},
  organization={ACM}
}

@inproceedings{cousot1977abstract,
  title={{Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints}},
  author={Cousot, Patrick and Cousot, Radhia},
  booktitle={Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages},
  pages={238--252},
  year={1977},
  organization={ACM}
}

@online{sunspider,
  author = {WebKit Open Source Project},
  title = {{SunSpider JavaScript Benchmark}},
  year = {2011},
  url = {https://webkit.org/perf/sunspider/sunspider.html},
  urldate = {2011-02-15}
}

@inproceedings{kashyap2014jsai,
  title={{JSAI: A Static Analysis Platform for JavaScript}},
  author={Kashyap, Vineeth and Dewey, Kyle and Kuefner, Ethan A and Wagner, John and Gibbons, Kevin and Sarracino, John and Wiedermann, Ben and Hardekopf, Ben},
  booktitle={Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering},
  pages={121--132},
  year={2014},
  organization={ACM}
}

@inproceedings{flanagan1993essence,
  title={{The Essence of Compiling with Continuations}},
  author={Flanagan, Cormac and Sabry, Amr and Duba, Bruce F and Felleisen, Matthias},
  booktitle={ACM Sigplan Notices},
  volume={28},
  number={6},
  pages={237--247},
  year={1993},
  organization={ACM}
}

@inproceedings{reps1995precise,
  title={{Precise Interprocedural Dataflow Analysis via Graph Reachability}},
  author={Reps, Thomas and Horwitz, Susan and Sagiv, Mooly},
  booktitle={Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
  pages={49--61},
  year={1995},
  organization={ACM}
}

@article{sagiv1996precise,
  title={{Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation}},
  author={Sagiv, Mooly and Reps, Thomas and Horwitz, Susan},
  journal={Theoretical Computer Science},
  volume={167},
  number={1},
  pages={131--170},
  year={1996},
  publisher={Elsevier}
}

@inproceedings{smaragdakis2011pick,
  title={{Pick Your Contexts Well: Understanding Object-Sensitivity}},
  author={Smaragdakis, Yannis and Bravenboer, Martin and Lhot{\'a}k, Ondrej},
  booktitle={ACM SIGPLAN Notices},
  volume={46},
  number={1},
  pages={17--30},
  year={2011},
  organization={ACM}
}

@inproceedings{agesen1995cartesian,
  title={{The Cartesian Product Algorithm}},
  author={Agesen, Ole},
  booktitle={European Conference on Object-Oriented Programming},
  pages={2--26},
  year={1995},
  organization={Springer}
}

@inproceedings{lhotak2003scaling,
  title={{Scaling Java Points-to Analysis Using Spark}},
  author={Lhot{\'a}k, Ond{\v{r}}ej and Hendren, Laurie},
  booktitle={International Conference on Compiler Construction},
  pages={153--169},
  year={2003},
  organization={Springer}
}

@inproceedings{danvy2001defunctionalization,
  title={{Defunctionalization at Work}},
  author={Danvy, Olivier and Nielsen, Lasse R},
  booktitle={Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming},
  pages={162--174},
  year={2001},
  organization={ACM}
}

@inproceedings{danvy2008defunctionalized,
  title={{Defunctionalized Interpreters for Programming Languages}},
  author={Danvy, Olivier},
  booktitle={ACM Sigplan Notices},
  volume={43},
  number={9},
  pages={131--142},
  year={2008},
  organization={ACM}
}

@article{milanova2005parameterized,
  title={{Parameterized Object Sensitivity for Points-to Analysis for Java}},
  author={Milanova, Ana and Rountev, Atanas and Ryder, Barbara G},
  journal={ACM Transactions on Software Engineering and Methodology (TOSEM)},
  volume={14},
  number={1},
  pages={1--41},
  year={2005},
  publisher={ACM}
}

@article{gilrayallocation,
  title={{Allocation Characterizes Polyvariance}},
  author={Gilray, Thomas and Adams, Michael D and Might, Matthew}
}

@article{johnson2013optimizing,
  title={{Optimizing Abstract Abstract Machines}},
  author={Johnson, J Ian and Labich, Nicholas and Might, Matthew and Van Horn, David},
  journal={ACM SIGPLAN Notices},
  volume={48},
  number={9},
  pages={443--454},
  year={2013},
  publisher={ACM}
}

@inproceedings{johnson2013concrete,
  title={{Concrete Semantics for Pushdown Analysis: The Essence of Summarization}},
  author={Johnson, J Ian and Van Horn, David},
  booktitle={HOPA 2013: Workshop on higher-order program analysis},
  year={2013}
}

@inproceedings{guha2010essence,
  title={{The Essence of JavaScript}},
  author={Guha, Arjun and Saftoiu, Claudiu and Krishnamurthi, Shriram},
  booktitle={European Conference on Object-Oriented Programming},
  pages={126--150},
  year={2010},
  organization={Springer}
}

@book{felleisen2009semantics,
  title={{Semantics Engineering with PLT Redex}},
  author={Felleisen, Matthias and Findler, Robert Bruce and Flatt, Matthew},
  year={2009},
  publisher={Mit Press}
}

@article{danvy1992representing,
  title={{Representing Control: A Study of the CPS Transformation}},
  author={Danvy, Oliver and Filinski, Andrzex},
  journal={Mathematical structures in computer science},
  volume={2},
  number={04},
  pages={361--391},
  year={1992},
  publisher={Cambridge Univ Press}
}

@inproceedings{jensen2009type,
  title={{Type Analysis for JavaScript}},
  author={Jensen, Simon Holm and M{\o}ller, Anders and Thiemann, Peter},
  booktitle={International Static Analysis Symposium},
  pages={238--255},
  year={2009},
  organization={Springer}
}

@article{van2008deciding,
  title={{Deciding k-CFA is Complete for EXPTIME}},
  author={Van Horn, David and Mairson, Harry G},
  journal={ACM Sigplan Notices},
  volume={43},
  number={9},
  pages={275--282},
  year={2008},
  publisher={ACM}
}

@book{sharir1978two,
  title={{Two Approaches to Interprocedural Data Flow Analysis}},
  author={Sharir, Micha and Pnueli, Amir},
  year={1978},
  publisher={New York University. Courant Institute of Mathematical Sciences. ComputerScience Department}
}

@article{wright1998polymorphic,
  title={{Polymorphic Splitting: An Effective Polyvariant Flow Analysis}},
  author={Wright, Andrew K and Jagannathan, Suresh},
  journal={ACM Transactions on Programming Languages and Systems (TOPLAS)},
  volume={20},
  number={1},
  pages={166--207},
  year={1998},
  publisher={ACM}
}

@phdthesis{might2007environment,
  title={{Environment Analysis of Higher-order Languages}},
  author={Might, Matthew},
  year={2007},
  school={Georgia Institute of Technology}
}