-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathvss-own.bib
134 lines (125 loc) · 5.93 KB
/
vss-own.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
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
129
130
131
132
133
134
@InProceedings{dietrich:21:plos,
author = {Christian Dietrich},
title = {CppSig: Extracting Type Information for C-Preprocessor Macro Expansions},
year = {2021},
month = oct,
booktitle = {Proceedings of the 11th SOSP Workshop on Programming Languages and Operating Systems (PLOS '21)},
userc = {CORE21:C},
userd = {PLOS '21},
isbn = {978-1-4503-8707-1/21/10},
location = {Virtual Event},
doi = {10.1145/3477113.3487268},
publisher = {ACM},
address = {New York, NY, USA},
entrysubtype = {Workshop},
x-projects = {CADOS},
x-pdf = {https://osg.tuhh.de/Publications/2021/dietrich_21_plos.pdf},
x-slides = {https://osg.tuhh.de/Publications/2021/dietrich_21_plos_slides.pdf},
x-video = {https://osg.tuhh.de/Publications/2021/dietrich_21_plos_video.mp4},
x-video-teaser = {https://osg.tuhh.de/Publications/2021/dietrich_21_plos_video_short.mp4},
x-rawdata = {https://collaborating.tuhh.de/e-exk4/projects/cpp-macro-types},
}
@InProceedings{leis:23:sigmod,
author = {Viktor Leis and Adnan Alhomssi and Tobias Ziegler and Yannick Loeck and Christian Dietrich},
title = {Virtual-Memory Assisted Buffer Management},
year = {2023},
month = jun,
booktitle = {Proceedings of the ACM SIGMOD/PODS International Conference on Management of Data},
userc = {CORE21:A*},
userd = {SIGMOD '23},
location = {Seattle, WA, USA},
publisher = {ACM},
address = {New York, NY, USA},
entrysubtype = {Conference},
x-projects = {ParPerOS},
doi = {10.1145/3588687},
x-pdf = {https://osg.tuhh.de/Publications/2023/leis_23_sigmod.pdf},
}
@inproceedings{gollenstede:23:lctes,
author = {Gollenstede, Niklas and Kulau, Ulf and Dietrich, Christian},
userd = {LCTES '23},
userc = {CORE21:B},
booktitle = {Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems},
title = {{reUpNix}: Reconfigurable and Updateable Embedded Systems},
year = {2023},
entrysubtype = {Conference},
booktitle = {Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems},
doi = {10.1145/3589610.3596273},
isbn = {979-8-4007-0174-0/23/06},
address = {New York, NY, USA},
publisher = {ACM Press},
year = {2023},
month = jun,
x-projects = {ATLAS},
x-rawdata = {https://doi.org/10.5281/zenodo.7929610},
x-pdf = {https://osg.tuhh.de/Publications/2023/gollenstede_23_lctes.pdf},
x-slides = {https://osg.tuhh.de/Publications/2023/gollenstede_23_lctes_talk.pdf}
}
@inproceedings{dietrich:23:iccad,
author = {Dietrich, Christian and Thomas, Tim-Marek and Mnich, Matthias},
title = {Checkpoint Placement for Systematic Fault-Injection Campaigns},
booktitle = {ICCAD '23: Proceedings of the 2023 IEEE/ACM International Conference on Computer-aided design},
year = {2023},
venue = {San Francisco, CA, USA},
month = oct,
publisher = {ACM Press},
address = {New York, NY, USA},
doi={10.1109/ICCAD57390.2023.10323809},
x-rawdata = {https://doi.org/10.5281/zenodo.8233288},
x-pdf = {https://arxiv.org/pdf/2308.05521.pdf},
url = {https://arxiv.org/abs/2308.05521},
userc = {CORE21:A},
userd = {ICCAD '23},
entrysubtype = {Conference}
}
@article{loeck:23:access,
author = {Loeck, Yannick and Dietrich, Christian},
journal = {IEEE Access},
title = {Evaluation and Refinement of an Explicit Virtual-Memory Primitive},
year = {2023},
month = dec,
volume = {11},
number = {},
pages = {136855-136868},
doi = {10.1109/ACCESS.2023.3338149},
entrysubtype = {Journal},
x-pdf = {https://osg.tuhh.de/Publications/2023/loeck_23_access.pdf},
userd = {ACCESS}
}
@inproceedings{leis:24:vldb-vision,
entrysubtype = {Conference},
userc = {CORE23:A*},
userd = {VLDB '24},
title = {{Cloud-Native Database Systems and Unikernels: Reimagining OS Abstractions for Modern Hardware [Vision]}},
author = {Leis, Viktor and Dietrich, Christian},
booktitle = {Proceedings of the 50th International Conference on Very Large Data Bases},
year = {2024},
address = {Guangzhou, China},
month = aug,
publisher = {VLDB Endowment},
note = {Vision Paper},
doi = {10.14778/3659437.3659462},
x-rawdata = {https://doi.org/10.5281/zenodo.10672473},
x-pdf = {https://www.vldb.org/pvldb/vol17/p2115-leis.pdf}
}
@inproceedings{maroun:24:wcet,
entrysubtype = {Workshop},
userd = {WCET '24},
title = {The Platin Multi-Target Worst-Case Analysis Tool},
author = {Maroun, Emad Jacob and Dengler, Eva and Dietrich, Christian and Hepp, Stefan and Herzog, Henriette and Huber, Benedikt and Knoop, Jens and Wiltsche-Prokesch, Daniel and Puschner, Peter and Raffeck, Phillip and Schoeberl, Martin and Schuster, Simon and Wägemann, Peter},
booktitle = {Proceedings of the 22nd International Workshop on Worst-Case Execution Time Analysis (WCET '24)},
year = {2024},
x-pdf = {https://drops.dagstuhl.de/storage/01oasics/oasics-vol121-wcet2024/OASIcs.WCET.2024.2/OASIcs.WCET.2024.2.pdf},
}
@inproceedings{tempel:25:date,
author = {Sören Tempel and Tobias Brandt and Christoph Lüth and Christian Dietrich and Rolf Drechsler},
title = {Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics},
booktitle = {Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE)},
year = {2025},
address = {Lyon, France},
month = mar,
publisher = {IEEE},
note = {Accepted for publication},
x-pdf = {https://www.ibr.cs.tu-bs.de/vss/Publications/2025/tempel_25_binsym.pdf},
userc = {CORE23:B}
}