-
Notifications
You must be signed in to change notification settings - Fork 0
/
refs.bib
94 lines (81 loc) · 2.66 KB
/
refs.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
% Optional fields: author, title, howpublished, month, year, note
@MISC{erlang:actor,
title = {Erlang Concurrent Programming},
note = {\url{http://www.erlang.org/course/concurrent_programming.html}},
}
% Optional fields: author, title, howpublished, month, year, note
@MISC{elixir:actor,
title = {Elixir Agents},
note = {\url{http://elixir-lang.org/getting-started/mix-otp/agent.html}}
}
% Optional fields: author, title, howpublished, month, year, note
@MISC{go:actor,
title = {Go Statement Specification},
note = {\url{https://golang.org/ref/spec#Go_statements}}
}
% Optional fields: author, title, howpublished, month, year, note
@MISC{rust:actor,
title = {Concurrenty in Rust Language},
note = {\url{https://doc.rust-lang.org/book/concurrency.html}}
}
@inproceedings{rust:2014,
title={The rust language},
author={Matsakis, Nicholas D and Klock II, Felix S},
booktitle={Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology},
pages={103--104},
year={2014},
organization={ACM}
}
% Optional fields: author, title, howpublished, month, year, note
@MISC{kilim,
author = {Sriram Srinivasan},
title = {Kilim},
note = {\url{http://www.malhar.net/sriram/kilim/}}
}
% Optional fields: author, title, howpublished, month, year, note
@MISC{quasar,
author = {Parallel Universe Co.},
title = {Quasar},
note = {\url{https://github.com/puniverse/quasar}}
}
@incollection{dahm1999byte,
title={Byte code engineering},
author={Dahm, Markus},
booktitle={JIT’99},
pages={267--277},
year={1999},
publisher={Springer}
}
@article{bruneton2002asm,
title={{ASM}: a code manipulation tool to implement adaptable systems},
author={Bruneton, Eric and Lenglet, Romain and Coupaye, Thierry},
journal={Adaptable and extensible component systems},
volume={30},
year={2002}
}
@inproceedings{vallee1999soot,
title={Soot-a Java bytecode optimization framework},
author={Vall{\'e}e-Rai, Raja and Co, Phong and Gagnon, Etienne and Hendren, Laurie and Lam, Patrick and Sundaresan, Vijay},
booktitle={Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research},
pages={13},
year={1999},
organization={IBM Press}
}
@article{leroy2003java,
title={Java bytecode verification: algorithms and formalizations},
author={Leroy, Xavier},
journal={Journal of Automated Reasoning},
volume={30},
number={3-4},
pages={235--269},
year={2003},
publisher={Springer}
}
@inproceedings{leroy2001java,
title={Java bytecode verification: an overview},
author={Leroy, Xavier},
booktitle={Computer aided verification},
pages={265--285},
year={2001},
organization={Springer}
}