108 lines
2.6 KiB
Markdown
108 lines
2.6 KiB
Markdown
---
|
|
title: "Research"
|
|
date: 2019-10-10T18:01:09+02:00
|
|
draft: false
|
|
|
|
menu:
|
|
main:
|
|
weight: 200
|
|
|
|
authors:
|
|
tobast:
|
|
name: "T. Bastian"
|
|
fzn:
|
|
name: "F. Zappa Nardelli"
|
|
page: "https://fzn.fr/"
|
|
skell:
|
|
name: "S. Kell"
|
|
page: "https://www.cs.kent.ac.uk/people/staff/srk21/"
|
|
jch:
|
|
name: "J. Chroboczek"
|
|
page: "https://www.irif.fr/~jch/"
|
|
msheeran:
|
|
name: "M. Sheeran"
|
|
page: "http://www.cse.chalmers.se/~ms/"
|
|
cseger:
|
|
name: "C-J. Seger"
|
|
page: "https://www.chalmers.se/en/Staff/Pages/secarl.aspx"
|
|
gwinskel:
|
|
name: "G. Winskel"
|
|
page: "https://www.cl.cam.ac.uk/~gw104/"
|
|
pclairambault:
|
|
name: "P. Clairambault"
|
|
page: "http://perso.ens-lyon.fr/pierre.clairambault/"
|
|
|
|
publications:
|
|
- authors:
|
|
- tobast
|
|
- skell
|
|
- fzn
|
|
year: 2019
|
|
title: "Fast and Reliable DWARF Stack Unwinding"
|
|
journal: "OOPSLA 2019"
|
|
links:
|
|
- name: PDF
|
|
url: '/doc/publications/oopsla19-dwarf.pdf'
|
|
- authors:
|
|
- tobast
|
|
- jch
|
|
year: 2020
|
|
title: "Announcing IPv4 routes with an IPv6 next-hop in the Babel routing protocol"
|
|
journal: "IETF RFC draft (to be published)"
|
|
links:
|
|
- name: datatracker
|
|
url: "https://datatracker.ietf.org/doc/draft-bastian-babel-v4ov6/"
|
|
|
|
talks:
|
|
- date: 2018-11-14
|
|
title: "Growing the DWARF tougher: synthesis, validation and compilation"
|
|
venue: Oracle Stockholm
|
|
links:
|
|
- name: PDF
|
|
url: '/doc/talks/oracle18.pdf'
|
|
- date: 2019-10-25
|
|
title: "Reliable and fast DWARF-based stack unwinding"
|
|
venue: OOPSLA 2019, Athens
|
|
links:
|
|
- name: PDF
|
|
url: '/doc/talks/oopsla19.pdf'
|
|
- date: 2020-07-27
|
|
title: "Announcing IPv4 routes with an IPv6 next-hop in the Babel routing protocol"
|
|
venue: IETF 108 (online)
|
|
links:
|
|
- name: PDF
|
|
url: '/doc/talks/ietf108-v4ov6.pdf'
|
|
- name: Slides source
|
|
url: 'https://git.tobast.fr/tobast/talk-v4ov6-ietf108'
|
|
|
|
unpublished:
|
|
- with:
|
|
- cseger
|
|
- msheeran
|
|
title: "Pattern matching and substitution in electronic circuits"
|
|
freetext: "internship report, Master's Degree 1st year, at Chalmers, Göteborg (Sweden)"
|
|
links:
|
|
- name: PDF
|
|
url: '/m1/internship.pdf'
|
|
- with:
|
|
- gwinskel
|
|
- pclairambault
|
|
title: "Concurrent games as event structures"
|
|
freetext: "internship report, Bachelor's Degree 3st year, at Cambridge, UK"
|
|
links:
|
|
- name: PDF
|
|
url: '/l3/report.pdf'
|
|
|
|
---
|
|
|
|
## {{< fontawesome "file-text" >}} Publications
|
|
|
|
{{< list-publications >}}
|
|
|
|
## {{< fontawesome "commenting" >}} Talks
|
|
|
|
{{< list-talks >}}
|
|
|
|
## {{< fontawesome "coffee" >}} Unpublished written works
|
|
|
|
{{< list-unpublished-written >}}
|