Merge branch 'dev' of https://github.com/JetBrains-Research/FormalLanguageConstrainedReachability-LectureNotes into dev

Author: gsvgit

tex/FormalLanguageConstrainedReachabilityLectureNotes.bib

@@ -1,3 +1,114 @@
+@article{cohen2016parsing,
+	title={Parsing linear context-free rewriting systems with fast matrix multiplication},
+	author={Cohen, Shay B and Gildea, Daniel},
+	journal={Computational Linguistics},
+	volume={42},
+	number={3},
+	pages={421--455},
+	year={2016},
+	publisher={MIT Press One Rogers Street, Cambridge, MA 02142-1209, USA journals-info~…}
+}
+
+@inproceedings{nakanishi1997efficient,
+	title={An efficient recognition algorithm for multiple context-free languages},
+	author={Nakanishi, Ryuichi and Takada, Keita and Seki, Hiroyuki},
+	booktitle={In Proceedings of the Fifth Meeting on Mathematics of Language, MOL5},
+	year={1997},
+	organization={Citeseer}
+}
+
+@inproceedings{zhang2013fast,
+	title={Fast algorithms for Dyck-CFL-reachability with applications to alias analysis},
+	author={Zhang, Qirun and Lyu, Michael R and Yuan, Hao and Su, Zhendong},
+	booktitle={Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation},
+	pages={435--446},
+	year={2013}
+}
+
+@article{kodumal2004set,
+	title={The set constraint/CFL reachability connection in practice},
+	author={Kodumal, John and Aiken, Alex},
+	journal={ACM Sigplan Notices},
+	volume={39},
+	number={6},
+	pages={207--218},
+	year={2004},
+	publisher={ACM New York, NY, USA}
+}
+
+@article{reps2000undecidability,
+	title={Undecidability of context-sensitive data-dependence analysis},
+	author={Reps, Thomas},
+	journal={ACM Transactions on Programming Languages and Systems (TOPLAS)},
+	volume={22},
+	number={1},
+	pages={162--186},
+	year={2000},
+	publisher={ACM New York, NY, USA}
+}
+
+@inproceedings{yan2011demand,
+	title={Demand-driven context-sensitive alias analysis for Java},
+	author={Yan, Dacong and Xu, Guoqing and Rountev, Atanas},
+	booktitle={Proceedings of the 2011 International Symposium on Software Testing and Analysis},
+	pages={155--165},
+	year={2011}
+}
+
+@inproceedings{bastani2015specification,
+	title={Specification inference using context-free language reachability},
+	author={Bastani, Osbert and Anand, Saswat and Aiken, Alex},
+	booktitle={Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
+	pages={553--566},
+	year={2015}
+}
+
+@inproceedings{zheng2008demand,
+	title={Demand-driven alias analysis for C},
+	author={Zheng, Xin and Rugina, Radu},
+	booktitle={Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
+	pages={197--208},
+	year={2008}
+}
+
+@inproceedings{huang2015scalable,
+	title={Scalable and precise taint analysis for android},
+	author={Huang, Wei and Dong, Yao and Milanova, Ana and Dolby, Julian},
+	booktitle={Proceedings of the 2015 International Symposium on Software Testing and Analysis},
+	pages={106--117},
+	year={2015}
+}
+
+@article{sridharan2006refinement,
+	title={Refinement-based context-sensitive points-to analysis for Java},
+	author={Sridharan, Manu and Bod{\'\i}k, Rastislav},
+	journal={ACM SIGPLAN Notices},
+	volume={41},
+	number={6},
+	pages={387--400},
+	year={2006},
+	publisher={ACM New York, NY, USA}
+}
+
+@inproceedings{zhang2017context,
+	title={Context-sensitive data-dependence analysis via linear conjunctive language reachability},
+	author={Zhang, Qirun and Su, Zhendong},
+	booktitle={Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages},
+	pages={344--358},
+	year={2017}
+}
+
+@article{seki1991multiple,
+	title={On multiple context-free grammars},
+	author={Seki, Hiroyuki and Matsumura, Takashi and Fujii, Mamoru and Kasami, Tadao},
+	journal={Theoretical Computer Science},
+	volume={88},
+	number={2},
+	pages={191--229},
+	year={1991},
+	publisher={Elsevier}
+}
+
 @book{Hopcroft+Ullman/79/Introduction,
     added-at = {2009-05-20T01:29:36.000+0200},
     author = {Hopcroft, John E. and Ullman, Jeff D.},