Susmit Sarkar — Talks List
An infrequently updated list of talks I have given, and the slides I used.
- Shared Memory Concurrency in the Real World (slides, pdf) : Tutorial at POPL, Jan'13.
- Inventing Abstractions: An academic view on industrial memory models
(slides, pdf) : Invited Talk at REORDER, Jul'12.
- Synchronising C/C++ and POWER
(slides, pdf) : Talk at PLDI, Jun'12.
- Understanding POWER Multiprocesors
(slides, pdf) : Talk at PLDI, Jun'11.
- Multiprocessor Architectures Don't Really Exist (But They Should)
(slides, pdf) : Invited Talk at MTV, Dec'09.
- The Semantics of X86-CC Multiprocessor Machine Code
(slides, pdf) : Talk at POPL, Jan'09.
- Real-World Binding Structures
(slides, pdf) : Talk at WMM, Sep'07.
- Small Proof Witnesses for LF
(slides, ppt) : Talk at ICLP, Oct'05.
- Certified Typechecking in Foundational Certified Code Systems
(slides, ppt) : Talk at Dagstuhl, Sep'04.
- Foundational Certified Code in a Metalogical Framework
(slides, ppt) : Talk at CADE, Aug'03.