add 'theses' section to publication list
[web.git] / personal / _posts /
drwxr-xr-x   ..
-rw-r--r-- 421 2015-10-08-welcome.md
-rw-r--r-- 571 2015-10-09-breaking-all-the-way-out.md
-rw-r--r-- 10208 2015-10-12-formalizing-rust.md
-rw-r--r-- 12064 2016-01-09-the-scope-of-unsafe.md
-rw-r--r-- 1299 2017-01-20-paris-rust-meetup.md
-rw-r--r-- 6364 2017-05-23-internship-starting.md
-rw-r--r-- 15355 2017-06-06-MIR-semantics.md
-rw-r--r-- 10464 2017-06-09-mutexguard-sync.md
-rw-r--r-- 3432 2017-07-08-rustbelt.md
-rw-r--r-- 9072 2017-07-14-undefined-behavior.md
-rw-r--r-- 33246 2017-07-17-types-as-contracts.md
-rw-r--r-- 18540 2017-08-11-types-as-contracts-evaluation.md
-rw-r--r-- 1248 2017-08-12-internship-ending.md
-rw-r--r-- 1519 2017-12-15-people-of-pl-interview.md
-rw-r--r-- 12073 2017-12-26-lets-encrypt.md
-rw-r--r-- 629 2018-01-21-rustbelt-talk.md
-rw-r--r-- 15781 2018-01-31-sharing-for-a-lifetime.md
-rw-r--r-- 22577 2018-04-05-a-formal-look-at-pinning.md
-rw-r--r-- 35863 2018-04-10-safe-intrusive-collections-with-pinning.md
-rw-r--r-- 10551 2018-05-28-cloudless-contact-sync.md
-rw-r--r-- 3381 2018-06-02-mailman-subscription-spam.md
-rw-r--r-- 7789 2018-06-10-mailman-subscription-spam-continued.md
-rw-r--r-- 1418 2018-07-11-research-assistant.md
-rw-r--r-- 13024 2018-07-13-arc-synchronization.md
-rw-r--r-- 19957 2018-07-19-const.md
-rw-r--r-- 18332 2018-07-24-pointers-and-bytes.md
-rw-r--r-- 31336 2018-08-07-stacked-borrows.md
-rw-r--r-- 18915 2018-08-22-two-kinds-of-invariants.md
-rw-r--r-- 44253 2018-11-16-stacked-borrows-implementation.md
-rw-r--r-- 5177 2018-12-12-google-scholar.md
-rw-r--r-- 10572 2018-12-26-stacked-borrows-barriers.md
-rw-r--r-- 7736 2019-01-12-rust-2019.md
-rw-r--r-- 7873 2019-02-12-all-hands-recap.md
-rw-r--r-- 5009 2019-03-09-firejail.md
-rw-r--r-- 1907 2019-03-26-miri-as-rustup-component.md
-rw-r--r-- 30680 2019-04-30-stacked-borrows-2.md
-rw-r--r-- 13195 2019-05-15-typeclasses-exponential-blowup.md
-rw-r--r-- 10571 2019-05-21-stacked-borrows-2.1.md
-rw-r--r-- 14769 2019-07-14-uninit.md
-rw-r--r-- 1168 2019-10-20-type-soundness.md
-rw-r--r-- 2605 2019-11-18-stacked-borrows-paper.md
-rw-r--r-- 18517 2019-11-25-how-to-panic-in-rust.md
-rw-r--r-- 4265 2020-04-04-layout-debugging.md
-rw-r--r-- 6621 2020-07-15-unused-data.md
-rw-r--r-- 6579 2020-07-24-outlook.com-considered-harmful.md
-rw-r--r-- 1431 2020-09-03-phd.md
-rw-r--r-- 11910 2020-09-28-miri.md