forked from tanghaoth90/DissertationTemplate
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathmain.bib
97 lines (91 loc) · 3.79 KB
/
main.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
@article{test-en,
author = {Author},
title = {Title},
type = {J},
journal = {Journal},
date = {2014-04-01},
language = {english},
}
@article{test-zh,
author = {作者},
title = {标题},
type = {J},
journal = {期刊},
date = {2014-04-01},
language = {chinese},
}
@inproceedings{rountev2006interprocedural,
author = {Atanas Rountev and
Scott Kagan and
Thomas J. Marlowe},
title = {Interprocedural Dataflow Analysis in the Presence of Large Libraries},
booktitle = {Compiler Construction, 15th International Conference, {CC} 2006, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2006, Vienna, Austria, March 30-31, 2006, Proceedings},
pages = {2--16},
crossref = {DBLP:conf/cc/2006},
doi = {10.1007/11688839_2},
timestamp = {Tue, 26 Jun 2018 14:12:33 +0200},
biburl = {https://dblp.org/rec/bib/conf/cc/RountevKM06},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/RountevSX08,
author = {Atanas Rountev and
Mariana Sharp and
Guoqing (Harry) Xu},
title = {{IDE} Dataflow Analysis in the Presence of Large Object-Oriented Libraries},
booktitle = {Compiler Construction, 17th International Conference, {CC} 2008, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2008, Budapest, Hungary, March 29 - April 6, 2008.
Proceedings},
pages = {53--68},
crossref = {DBLP:conf/cc/2008},
doi = {10.1007/978-3-540-78791-4_4},
timestamp = {Tue, 26 Jun 2018 14:12:33 +0200},
biburl = {https://dblp.org/rec/bib/conf/cc/RountevSX08},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LattnerLA07,
author = {Chris Lattner and
Andrew Lenharth and
Vikram S. Adve},
title = {Making context-sensitive points-to analysis with heap cloning practical
for the real world},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {278--289},
crossref = {DBLP:conf/pldi/2007},
doi = {10.1145/1250734.1250766},
timestamp = {Wed, 13 Jun 2007 10:00:03 +0200},
biburl = {https://dblp.org/rec/bib/conf/pldi/LattnerLA07},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{Madhaven2012modular,
author = {Ravichandhran Madhavan and
G. Ramalingam and
Kapil Vaswani},
title = {Modular Heap Analysis for Higher-Order Programs},
booktitle = {Static Analysis - 19th International Symposium, {SAS} 2012, Deauville,
France, September 11-13, 2012. Proceedings},
pages = {370--387},
crossref = {DBLP:conf/sas/2012},
doi = {10.1007/978-3-642-33125-1_25},
timestamp = {Mon, 05 Jun 2017 12:39:22 +0200},
biburl = {https://dblp.org/rec/bib/conf/sas/MadhavanRV12},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{BoddenICSE16,
author = {Steven Arzt and
Eric Bodden},
title = {StubDroid: automatic inference of precise data-flow summaries for
the android framework},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {725--735},
crossref = {DBLP:conf/icse/2016},
doi = {10.1145/2884781.2884816},
timestamp = {Sun, 30 Apr 2017 09:41:43 +0200},
biburl = {https://dblp.org/rec/bib/conf/icse/ArztB16},
bibsource = {dblp computer science bibliography, https://dblp.org}
}