Invited and informal talks, workshop presentations, lectures and
seminars. Conference talks are in the proceedings section.
Programming and Proving with Concurrent Resources
University of York, UK, October 2016
University of Cambridge, UK, June 2016
Aarhus University, Denmark, June 2016
Max Planck Institute for Software Systems, Germany, May 2016
Imperial College London, UK, May 2016
Middlesex University, UK, May 2016
University of Birmingham, UK, January 2016
Queen Mary University of London, UK, December 2015
University College London, UK, April 2015
Microsoft Research, Cambridge, UK, March 2015
Anatomy of mechanized reasoning about fine-grained concurrency
Dagstuhl Seminar 15191 on Compositional Verification Methods for
Next-Generation Concurrency, Schloss Dagstuhl, Germany, May 2015 [Slides]
Programming with Proofs
Google, London, UK. April 2015.
Towards Structured Mechanized Verification of Fine-Grained Concurrent Programs
The First International Workshop on Coq for PL at POPL 2015. Mumbai, India. January 2015.
Formal Mathematics as a Branch of Computer Science
Sociological Institute of the Russian Academy of Sciences, Saint
Petersburg, Russia. August 2014.
Communicating State Transition Systems for Fine-Grained Concurrent Resources
1st Microsoft Research and IMDEA Software
Institute Collaboration Workshop (MICW 2014). Madrid, Spain.
April 2014. [Slides]
2nd ACM SIGPLAN Workshop on
Higher-Order Programming with Effects (HOPE
2013). Boston, MA, USA.
September 2013. [Slides]
State Transition System alternative to Linearizability
Concurrency Yak at POPL 2014. San Diego, CA, USA.
Monadic Abstract Interpreters
Invited talk at 15th International Symposium on
Principles and Practice of Declarative Programming (PPDP 2013). Madird, Spain.
Static Analysis and Code Optimizations in Glasgow Haskell
[Slides | SlideShare | Video]
SPb Functional Programming meetup. Saint Petersburg, Russia. December 2012.
- Dominance in Program Semantics, Dominance as Program Semantics
IMDEA Software Institute, Madrid, Spain. August 2012.
- Gradual Ownership Types
Entropy Meeting, Programming Languages Group,
Aarhus University. Aarhus, Denmark. December 2011.
- Scripting an IDE for DSL awareness
Devoxx 2009. Antwerp, Belgium. November 2009.
- Clojure support in IntelliJ IDEA
The Bay Area Clojure User Group meetup. San Francisco, CA, USA. June 2009.
- Cross-Language Development in IntelliJ IDEA
JAX 2009. Mainz, Germany. April 2009.
- Cross-Language Development Experience on the JVM
Devoxx 2008. Antwerp, Belgium. December 2008.