liamoc.net2023-06-24T00:00:00ZLiam O'Connorhttp://liamoc.nethttp://liamoc.net/posts/2023-06-24-popl/index.htmlDargent (and Cogent) at POPL2023-06-24T00:00:00Zhttp://liamoc.net/posts/2022-12-15-splash/index.htmlHolbert and Cogent at SPLASH2022-12-15T00:00:00Zhttp://liamoc.net/posts/2022-08-18-quickstrom/index.htmlQuickstrom at PLDI2022-08-18T00:00:00Zhttp://liamoc.net/posts/2022-08-18-cogent-pubs/index.htmlThe latest in Cogent publications2022-08-18T00:00:00Zhttp://liamoc.net/posts/2022-08-17-appointments/index.htmlA status update, two years late.2022-08-17T00:00:00Zhttp://liamoc.net/posts/2020-01-15-doctorate/index.htmlI'm a doctor now2020-01-15T00:00:00Zhttp://liamoc.net/posts/2017-07-08-abstraction/index.htmlWhat is abstraction anyway?2017-07-08T00:00:00Zhttp://liamoc.net/posts/2016-08-01-trifecta/index.htmlTrifecta at Nara2016-08-01T00:00:00Zhttp://liamoc.net/posts/2016-06-11-publications/index.htmlPublication Storm for Cogent!2016-06-11T00:00:00Zhttp://liamoc.net/posts/2015-11-11-blog-like-mine/index.htmlBits of Hackage for liamoc.net2015-11-11T00:00:00Zhttp://liamoc.net/posts/2015-11-10-patch-theory/index.htmlThe Theory of patches-vector2015-11-10T00:00:00Zhttp://liamoc.net/posts/2015-11-09-seplogics-behind-it-all/index.htmlAd-hoc Frame Conditions are Logical, Separately2015-11-09T00:00:00Zhttp://liamoc.net/posts/2015-09-10-girards-paradox/index.htmlThe Trouble with Typing Type as Type2015-09-10T12:00:00Zhttp://liamoc.net/posts/2015-08-23-verified-compiler/index.htmlWrite your Compiler by Proving it Correct2015-08-23T00:00:00Zhttp://liamoc.net/posts/2015-06-16-semantic-lattice/index.htmlA Lattice of Languages is a Verification Buffet2015-06-16T12:00:00Zhttp://liamoc.net/posts/2014-04-26-coqfight/index.htmlFP-SYD Coq-fight 20142014-04-26T12:00:00Zhttp://liamoc.net/posts/2014-02-20-teaching/index.htmlUNSW courses for semester one, 20142014-02-20T12:00:00Zhttp://liamoc.net/posts/2014-01-01-context-split/index.htmlContext splitting and substructural terms2014-01-01T12:00:00Zhttp://liamoc.net/posts/2013-12-16-sapling/index.htmlSAPLING 20132013-12-16T12:00:00Zhttp://liamoc.net/posts/2013-12-13-aplascpp/index.htmlAPLAS/CPP 2013 Highlights2013-12-13T12:00:00Zhttp://liamoc.net/posts/2013-11-13-imperativereasoning/index.htmlImperative Reasoning is Hard2013-11-13T12:00:00Zhttp://liamoc.net/posts/2013-10-16-fpsyd/index.htmlFP-Syd Talk on CDSL (and TFS)2013-10-16T00:00:00Zhttp://liamoc.net/posts/2013-10-07-plospaper/index.htmlTrustworthy File Systems accepted to PLOS2013-10-07T09:00:00Z