:orphan:

###############
Formal Writings
###############

Peer Reviewed Papers
####################

In reverse chronological order:

.. toctreeish::
   :maxdepth: 1

   2024-cornucopia-reloaded
   2023-micro-cheriot
   2020-cornucopia
   2019-cherivoke
   2019-cheri-concentrate
   2019-cheriabi
   2017-mapl
   2012-vc
   2012-iclp
   2012-modality
   2011-datalog
   2010-modality
   2010-simt
   _ :ref:`Styx Caching via Journal Callbacks (2009) <cs_plan9_styxcache_iwp9-2009>`

Thesis and Related Documents
############################

My Ph.D. thesis ("Dyna 2: Towards a General Weighted Logic Language", JHU
Computer Science, Fall 2017) is available :doc:`here <2017-thesis>`.  Parts of
the work leading up to the thesis were also written up as smaller documents and
self-published:

.. toctree::
   :maxdepth: 1

   2017-default
   2017-set
   2016-2cm
   2016-tsa

.. toctree::
   :hidden:

   2017-thesis

Extended Abstracts and Similar
##############################

.. toctree::
   :maxdepth: 1

   2018-sysml
   2016-ttatt

Invited Papers
##############

.. toctree::
   :maxdepth: 1

   2016-sandstorm

Talks
#####

.. toctree::
   :maxdepth: 1

   2022-hope-cheri

Invited Talks
#############

.. toctree::
   :maxdepth: 1

   2022-cheritech-snmalloc
   2019-cmu-cheri
   2015-afs-vos-each

.. 2022-ismm-industry-panel

Technical Reports
#################

.. toctree::
   :maxdepth: 1
 
   2023-cheriot-report 
   2023-cheri-isav9
   2020-cheri-isav8
   2020-cheri-guide
   2018-cheri-isav7
   2009-simt