-
Notifications
You must be signed in to change notification settings - Fork 2
/
cheri_misidioms_preamble.ltx
128 lines (112 loc) · 3.4 KB
/
cheri_misidioms_preamble.ltx
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
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
\documentclass[sigplan,screen,authorversion=true]{acmart}
\settopmatter{printfolios=false,printccs=false,printacmref=false}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{booktabs}
\usepackage{courier}
\usepackage{enumitem}
\usepackage{hyperref}
\usepackage{listings}
\usepackage{lstlinebgrd}
\usepackage{microtype}
\usepackage{numprint}
\usepackage{softdev}
\usepackage{xspace}
\lstset{
basicstyle=\ttfamily\small,
xleftmargin=\parindent,
lineskip=-1pt,
numbers=left,
numbersep=.8em,
numberstyle=\tiny\tt\color{gray},
captionpos=b,
escapeinside={{<!}{!>}},
commentstyle=\color{gray}\itshape,
keywordstyle=\textbf,
}
\newcommand{\fnc}[1]{\texttt{#1}}
\newcommand{\numattacks}{{\color{red} TODO}}
\newcommand{\alloccount}{{\color{red} TODO}}
\newcommand{\allocbugs}{{\color{red} TODO}}
\newcommand{\filename}[1]{\texttt{#1}}
% from https://tex.stackexchange.com/questions/264361/skipping-line-numbers-in-lstlisting#264373
\let\origthelstnumber\thelstnumber
\makeatletter
\newcommand*\Suppressnumber{%
\lst@AddToHook{OnNewLine}{%
\let\thelstnumber\relax%
\advance\c@lstnumber-\@ne\relax%
}%
}
\renewcommand{\sectionautorefname}{Section}
\newcommand{\memalloc}[1]{\emph{#1}}
\newcommand\bumpalloc{\emph{bmpalloc}\xspace}
\newcommand\narrowingdoesnt{\textsc{Narrow}\xspace}
\newcommand\narrowwiden{\textsc{NarrowWiden}\xspace}
\newcommand\escperms{\textsc{EscPerms}\xspace}
\newcommand\escinauthentic{\textsc{EscInauthentic}\xspace}
\newcommand\myundef{\textsc{Undef}\xspace}
\newcommand\overlap{\textsc{Overlap}\xspace}
\newcommand\footnoteurl[2]{\footnote{\url{#1}, accessed {#2}}}
\newcommand\tblnarrowwidencapleak{\tiny{NrwWide}}
\newcommand\tblescperms{\tiny{EscPrms}}
\newcommand\tblescunauthentic{\tiny{EscInauth}}
\newcommand\tblundef{\tiny{Undef}}
\newcommand\tbloverlap{\tiny{Overlap}}
\setlist{topsep=0pt, leftmargin=*}
\title{Picking a CHERI Allocator: Security and Performance Considerations}
%% Authors
\author{Jacob Bramley}
\affiliation{%
\institution{Arm Limited}
\city{Cambridge}
\country{United Kingdom}
}
%%
\author{Dejice Jacob}
\affiliation{%
\institution{University of Glasgow}
\city{Glasgow}
\country{United Kingdom}
}
%\email{[email protected]}
\orcid{0000-0002-4137-0353}
%%
\author{Andrei Lascu}
\affiliation{%
\institution{King's College London}
\city{London}
\country{United Kingdom}
}
%\email{[email protected]}
\orcid{0000-0002-6623-2053}
%%
\author{Jeremy Singer}
\affiliation{%
\institution{University of Glasgow}
\city{Glasgow}
\country{United Kingdom}
}
%\email{[email protected]}
\orcid{0000-0001-9462-6802}
%%
\author{Laurence Tratt}
\affiliation{%
\institution{King's College London}
\city{London}
\country{United Kingdom}
}
%\email{}
\orcid{0000-0002-5258-3805}
%% Websites
\thanks{Authors' URLs: %
D.~Jacob~[\url{https://www.dcs.gla.ac.uk/~jacobd/}],
A.~Lascu~[\url{https://andreil.eu/}],
J.~Singer~[\url{https://www.dcs.gla.ac.uk/~jsinger/}],
L.~Tratt~[\url{https://tratt.net/laurie/}].
}
\setcopyright{rightsretained}
\copyrightyear{2023}
\acmConference[ISMM '23]{Proceedings of the 2023 ACM SIGPLAN International Symposium on Memory Management}{June 18, 2023}{Orlando, FL, USA}
\acmBooktitle{Proceedings of the 2023 ACM SIGPLAN International Symposium on Memory Management (ISMM '23), June 18, 2023, Orlando, FL, USA}
\acmDOI{10.1145/3591195.3595278}