tobast.fr-hugo/content/research.md

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 name T. Bastian name page F. Zappa Nardelli https://fzn.fr/ name page S. Kell https://www.cs.kent.ac.uk/people/staff/srk21/ name page J. Chroboczek https://www.irif.fr/~jch/ name page M. Sheeran http://www.cse.chalmers.se/~ms/ name page C-J. Seger https://www.chalmers.se/en/Staff/Pages/secarl.aspx name page G. Winskel https://www.cl.cam.ac.uk/~gw104/ name page P. Clairambault http://perso.ens-lyon.fr/pierre.clairambault/	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/	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 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 with title freetext links gwinskel pclairambault Concurrent games as event structures internship report, Bachelor's Degree 3st year, at Cambridge, UK name url PDF /l3/report.pdf

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

{{< list-publications >}}

{{< fontawesome "commenting" >}} Talks

{{< list-talks >}}

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

{{< list-unpublished-written >}}