tobast.fr-hugo/content/research.md

155 lines
3.8 KiB
Markdown
Raw Normal View History

2019-10-10 19:30:34 +02:00
---
title: "Research"
date: 2019-10-10T18:01:09+02:00
2019-10-21 08:09:04 +02:00
draft: false
2019-10-10 19:30:34 +02:00
menu:
main:
weight: 200
authors:
tobast:
2022-01-20 12:00:23 +01:00
short: "T. Bastian"
name: "Théophile Bastian"
2019-10-10 19:30:34 +02:00
fzn:
2022-01-20 12:00:23 +01:00
short: "F. Zappa Nardelli"
name: "Francesco Zappa Nardelli"
2019-10-12 20:46:10 +02:00
page: "https://fzn.fr/"
2019-10-10 19:30:34 +02:00
skell:
2022-01-20 12:00:23 +01:00
short: "S. Kell"
name: "Stephen Kell"
2019-10-10 19:30:34 +02:00
page: "https://www.cs.kent.ac.uk/people/staff/srk21/"
2020-05-29 22:04:08 +02:00
jch:
2022-01-20 12:00:23 +01:00
short: "J. Chroboczek"
name: "Juliusz Chroboczek"
2020-05-29 22:04:08 +02:00
page: "https://www.irif.fr/~jch/"
2020-06-19 16:55:43 +02:00
msheeran:
2022-01-20 12:00:23 +01:00
short: "M. Sheeran"
name: "Mary Sheeran"
2020-06-19 16:55:43 +02:00
page: "http://www.cse.chalmers.se/~ms/"
cseger:
2022-01-20 12:00:23 +01:00
short: "C-J. Seger"
name: "Carl-Johan Seger"
2020-06-19 16:55:43 +02:00
page: "https://www.chalmers.se/en/Staff/Pages/secarl.aspx"
2021-07-12 23:43:19 +02:00
gwinskel:
2022-01-20 12:00:23 +01:00
short: "G. Winskel"
name: "Glynn Winskel"
2021-07-12 23:43:19 +02:00
page: "https://www.cl.cam.ac.uk/~gw104/"
pclairambault:
2022-01-20 12:00:23 +01:00
short: "P. Clairambault"
name: "Pierre Clairambault"
2021-07-12 23:43:19 +02:00
page: "http://perso.ens-lyon.fr/pierre.clairambault/"
2022-01-20 11:18:30 +01:00
frastello:
2022-01-20 12:00:23 +01:00
short: "F. Rastello"
name: "Fabrice Rastello"
2022-01-20 11:18:30 +01:00
page: "https://team.inria.fr/corse/team-members/fabrice-rastello/"
nderumigny:
2022-01-20 12:00:23 +01:00
short: "N. Derumigny"
name: "Nicolas Derumigny"
2022-01-20 11:18:30 +01:00
fgruber:
2022-01-20 12:00:23 +01:00
short: "F. Gruber"
name: "Fabian Gruber"
2022-01-20 11:18:30 +01:00
cguillon:
2022-01-20 12:00:23 +01:00
short: "C. Guillon"
name: "Christophe Guillon"
2022-01-20 11:18:30 +01:00
giooss:
2022-01-20 12:00:23 +01:00
short: "G. Iooss"
name: "Guillaume Iooss"
2022-01-20 11:18:30 +01:00
page: "https://guillaume.iooss.fr/"
lnp:
2022-01-20 12:00:23 +01:00
short: "L-N. Pouchet"
name: "Louis-Noël Pouchet"
2022-01-20 11:18:30 +01:00
page: "https://www.cs.colostate.edu/~pouchet/"
2019-10-10 19:30:34 +02:00
publications:
- authors:
- tobast
- skell
- fzn
2020-07-25 14:14:57 +02:00
year: 2019
2019-10-10 19:30:34 +02:00
title: "Fast and Reliable DWARF Stack Unwinding"
journal: "OOPSLA 2019"
links:
- name: PDF
url: '/doc/publications/oopsla19-dwarf.pdf'
2020-05-29 22:04:08 +02:00
- authors:
- tobast
- jch
2020-07-25 14:14:57 +02:00
year: 2020
2020-05-29 22:04:08 +02:00
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/"
2022-01-20 11:18:30 +01:00
- authors:
- nderumigny
- tobast
- fgruber
- cguillon
- giooss
- lnp
- frastello
year: 2022
title: "PALMED: Throughput Characterization for Any Architecture"
2022-01-20 12:00:23 +01:00
journal: "preprint, being published"
2022-01-20 11:18:30 +01:00
links:
- name: arXiv
url: "https://arxiv.org/abs/2012.11473"
2019-10-10 19:30:34 +02:00
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'
2019-10-21 08:36:18 +02:00
- date: 2019-10-25
title: "Reliable and fast DWARF-based stack unwinding"
venue: OOPSLA 2019, Athens
links:
- name: PDF
url: '/doc/talks/oopsla19.pdf'
2020-07-27 16:51:55 +02:00
- 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'
2020-07-27 16:54:31 +02:00
- name: Slides source
url: 'https://git.tobast.fr/tobast/talk-v4ov6-ietf108'
2020-06-19 16:55:43 +02:00
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'
2021-07-12 23:43:19 +02:00
- with:
- gwinskel
- pclairambault
title: "Concurrent games as event structures"
2022-01-22 01:52:46 +01:00
freetext: "internship report, Bachelor's Degree 3rd year, at Cambridge, UK"
2021-07-12 23:43:19 +02:00
links:
- name: PDF
url: '/l3/report.pdf'
2019-10-10 19:30:34 +02:00
---
## {{< fontawesome "file-text" >}} Publications
{{< list-publications >}}
## {{< fontawesome "commenting" >}} Talks
{{< list-talks >}}
2020-06-19 16:55:43 +02:00
## {{< fontawesome "coffee" >}} Unpublished written works
{{< list-unpublished-written >}}