tobast.fr-hugo/content/research.md

4.3 KiB

title date draft menu authors publications talks unpublished
Research 2019-10-10T18:01:09+02:00 false
main
weight
200
tobast fzn skell jch msheeran cseger gwinskel pclairambault frastello nderumigny fgruber cguillon giooss lnp
short name
T. Bastian Théophile Bastian
short name page
F. Zappa Nardelli Francesco Zappa Nardelli https://fzn.fr/
short name page
S. Kell Stephen Kell https://www.cs.kent.ac.uk/people/staff/srk21/
short name page
J. Chroboczek Juliusz Chroboczek https://www.irif.fr/~jch/
short name page
M. Sheeran Mary Sheeran http://www.cse.chalmers.se/~ms/
short name page
C-J. Seger Carl-Johan Seger https://www.chalmers.se/en/Staff/Pages/secarl.aspx
short name page
G. Winskel Glynn Winskel https://www.cl.cam.ac.uk/~gw104/
short name page
P. Clairambault Pierre Clairambault https://pageperso.lis-lab.fr/pierre.clairambault/
short name page
F. Rastello Fabrice Rastello https://team.inria.fr/corse/team-members/fabrice-rastello/
short name
N. Derumigny Nicolas Derumigny
short name
F. Gruber Fabian Gruber
short name
C. Guillon Christophe Guillon
short name page
G. Iooss Guillaume Iooss https://guillaume.iooss.fr/
short name page
L-N. Pouchet Louis-Noël Pouchet https://www.cs.colostate.edu/~pouchet/
authors year title journal links
tobast
skell
fzn
2019 Fast and Reliable DWARF Stack Unwinding OOPSLA 2019
name url
PDF /doc/publications/oopsla19-dwarf.pdf
authors year title journal links
tobast
jch
2020 Announcing IPv4 routes with an IPv6 next-hop in the Babel routing protocol IETF RFC draft (to be published)
name url
datatracker https://datatracker.ietf.org/doc/draft-bastian-babel-v4ov6/
authors year title journal links
nderumigny
tobast
fgruber
cguillon
giooss
lnp
frastello
2022 PALMED: Throughput Characterization for Any Architecture CGO 2022
name url
PDF /doc/publications/cgo22-palmed.pdf
name url
extended PDF /doc/publications/cgo22-palmed-extended.pdf
date title venue links
2018-11-14 Growing the DWARF tougher: synthesis, validation and compilation Oracle Stockholm
name url
PDF /doc/talks/oracle18.pdf
date title venue links
2019-10-25 Reliable and fast DWARF-based stack unwinding OOPSLA 2019, Athens
name url
PDF /doc/talks/oopsla19.pdf
date title venue links
2020-07-27 Announcing IPv4 routes with an IPv6 next-hop in the Babel routing protocol IETF 108 (online)
name url
PDF /doc/talks/ietf108-v4ov6.pdf
name url
Slides source https://git.tobast.fr/tobast/talk-v4ov6-ietf108
with title freetext links
fzn
Speeding up stack unwinding by compiling DWARF debugging data internship report, Master's Degree 2nd year, at ENS Paris (France).
name url
PDF /m2/report.pdf
name url
source https://git.tobast.fr/m2-internship/report.git
with title freetext links
cseger
msheeran
Pattern matching and substitution in electronic circuits internship report, Master's Degree 1st year, at Chalmers, Göteborg (Sweden)
name url
PDF /m1/internship.pdf
name url
source https://git.tobast.fr/tobast/m1-internship-report
with title freetext links
gwinskel
pclairambault
Concurrent games as event structures internship report, Bachelor's Degree 3rd year, at Cambridge, UK
name url
PDF /l3/report.pdf
name url
source https://git.tobast.fr/tobast/L3-internship-report

{{< fontawesome "file-text" >}} Publications

{{< list-publications >}}

{{< fontawesome "commenting" >}} Talks

{{< list-talks >}}

{{< fontawesome "coffee" >}} Unpublished written works

{{< list-unpublished-written >}}