https://vtss.doc.ic.ac.uk/people/ayoun.html 2024-06-10T11:59:43+01:00 https://vtss.doc.ic.ac.uk/people/bodin.html 2024-06-10T11:59:43+01:00 https://vtss.doc.ic.ac.uk/people/cerone.html 2024-06-10T11:59:43+01:00 https://vtss.doc.ic.ac.uk/people/d-osualdo.html 2024-06-10T11:59:43+01:00 https://vtss.doc.ic.ac.uk/people/da-rocha-pinto.html 2024-06-10T11:59:43+01:00 https://vtss.doc.ic.ac.uk/people/fragoso-santos.html 2024-06-10T11:59:43+01:00 https://vtss.doc.ic.ac.uk/people/gardner.html 2024-06-10T11:59:43+01:00 https://vtss.doc.ic.ac.uk/people/karmios.html 2024-06-10T11:59:43+01:00 https://vtss.doc.ic.ac.uk/people/loow.html 2024-06-10T11:59:43+01:00 https://vtss.doc.ic.ac.uk/people/maksimovic.html 2024-06-10T11:59:43+01:00 https://vtss.doc.ic.ac.uk/people/nantes.html 2024-06-10T11:59:43+01:00 https://vtss.doc.ic.ac.uk/people/naudziuniene.html 2024-06-10T11:59:43+01:00 https://vtss.doc.ic.ac.uk/people/ntzik.html 2024-06-10T11:59:43+01:00 https://vtss.doc.ic.ac.uk/people/raad.html 2024-06-10T11:59:43+01:00 https://vtss.doc.ic.ac.uk/people/rao.html 2024-06-10T11:59:43+01:00 https://vtss.doc.ic.ac.uk/people/sampaio.html 2024-06-10T11:59:43+01:00 https://vtss.doc.ic.ac.uk/people/sutherland.html 2024-06-10T11:59:43+01:00 https://vtss.doc.ic.ac.uk/people/wood.html 2024-06-10T11:59:43+01:00 https://vtss.doc.ic.ac.uk/people/xiong.html 2024-06-10T11:59:43+01:00 https://vtss.doc.ic.ac.uk/2016/07/26/advert.html 2016-07-26T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2016/09/01/newmember.html 2016-09-01T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2016/09/15/daiva.html 2016-09-15T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2016/10/03/papers.html 2016-10-03T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2016/10/12/talk.html 2016-10-12T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2016/11/14/inferlab.html 2016-11-14T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2016/11/23/dagstuhl.html 2016-11-23T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2016/12/05/ECMA.html 2016-12-05T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2016/12/15/Dolby.html 2016-12-15T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2017/01/13/Pedro_viva.html 2017-01-13T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2017/01/20/PIP_talk.html 2017-01-20T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2017/02/01/Gian_viva.html 2017-02-01T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2017/02/06/ESOP.html 2017-02-06T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2017/02/10/Azalea_viva.html 2017-02-10T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2017/02/11/INVEST.html 2017-02-11T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2017/02/14/NCSC_official_opening.html 2017-02-14T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2017/02/20/Schmitt.html 2017-02-20T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2017/03/28/Colloquium.html 2017-03-28T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2017/04/24/Dosualdo.html 2017-04-24T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2017/04/28/fsen.html 2017-04-28T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2017/05/01/farzan.html 2017-05-01T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2017/05/03/consistency.html 2017-05-03T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2017/05/08/aarhus.html 2017-05-08T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2017/05/09/Kloos.html 2017-05-09T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2017/05/17/Gian.html 2017-05-17T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2017/05/25/Azalea.html 2017-05-25T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2017/05/25/ecma.html 2017-05-25T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2017/06/13/csf.html 2017-06-13T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2017/06/16/Algebraic.html 2017-06-16T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2017/07/03/urops.html 2017-07-03T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2017/07/07/jstools.html 2017-07-07T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2017/08/12/cade.html 2017-08-12T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2017/09/06/darmstadt.html 2017-09-06T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2017/09/22/fmats5.html 2017-09-22T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2017/09/26/popl.html 2017-09-26T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2017/10/02/gabriela.html 2017-10-02T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2017/11/15/bernardi.html 2017-11-15T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2017/11/24/siddharth.html 2017-11-24T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2017/12/07/google-summit-munich.html 2017-12-07T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2018/01/06/PhD_opportunity.html 2018-01-06T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2018/01/12/popl.html 2018-01-12T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2018/01/15/tech_talk.html 2018-01-15T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2018/01/29/grohens.html 2018-01-29T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2018/01/31/chungkilhur.html 2018-01-31T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2018/02/14/hu-talk.html 2018-02-14T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2018/03/01/daiva-thesis.html 2018-03-01T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2018/03/19/formal-methods-meets-js.html 2018-03-19T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2018/04/18/papers-accepted-april-18.html 2018-04-18T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2018/04/23/felix-stutz.html 2018-04-23T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2018/06/13/martin.html 2018-06-13T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2018/07/16/seminar.html 2018-07-16T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2018/09/01/marie_curie.html 2018-09-01T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2018/09/02/fellowship.html 2018-09-02T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2018/09/03/radu.html 2018-09-03T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2018/10/15/sacha.html 2018-10-15T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2018/11/07/facebook.html 2018-11-07T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2018/11/10/popl19.html 2018-11-10T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2019/04/01/eccop2019.html 2019-04-01T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2019/05/01/fMfSS_talk.html 2019-05-01T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2019/05/13/lorentz-_seminar.html 2019-05-13T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2019/05/31/goodbye-_andrea.html 2019-05-31T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2019/06/03/calco.html 2019-06-03T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2019/07/26/srepls.html 2019-07-26T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2019/08/09/marktoberdorf.html 2019-08-09T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2019/08/15/jose.html 2019-08-15T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2019/09/26/workshop.html 2019-09-26T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2019/10/01/internship.html 2019-10-01T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2019/10/28/iris.html 2019-10-28T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2019/10/30/livestream.html 2019-10-30T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2019/11/11/ini_workshop.html 2019-11-11T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2020/01/22/hase.html 2020-01-22T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2020/02/20/shale.html 2020-02-20T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2020/04/27/ecoop.html 2020-04-27T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2020/05/11/pldi.html 2020-05-11T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2020/05/19/thisispldi.html 2020-05-19T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2020/06/16/advert.html 2020-06-16T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2020/06/16/deepspec.html 2020-06-16T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2020/06/19/plditalk.html 2020-06-19T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2020/08/31/concur2020.html 2020-08-31T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2020/09/01/manu.html 2020-09-01T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2020/09/03/concurtalk.html 2020-09-03T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2020/09/27/fellow.html 2020-09-27T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2020/10/01/martin.html 2020-10-01T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2020/10/01/rao.html 2020-10-01T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2020/11/04/codemeshtalk.html 2020-11-04T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2020/12/01/facetav.html 2020-12-01T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2021/01/12/gabi-internship.html 2021-01-12T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2021/01/14/world-logic-day.html 2021-01-14T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2021/04/06/verified.html 2021-04-06T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2021/04/15/collegedefrance.html 2021-04-15T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2021/05/04/pldi21.html 2021-05-04T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2021/05/06/talk.html 2021-05-06T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2021/05/12/sampaio.html 2021-05-12T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2021/05/31/cav21.html 2021-05-31T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2021/06/16/fm21.html 2021-06-16T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2021/07/02/toplas.html 2021-07-02T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2021/08/14/ara.html 2021-08-14T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2021/09/03/caroline.html 2021-09-03T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2021/10/03/andreas.html 2021-10-03T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2021/11/01/sacha_amazon.html 2021-11-01T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2021/11/05/his.html 2021-11-05T00:00:00+00:00 https://vtss.doc.ic.ac.uk/2022/03/29/Gabi_viva.html 2022-03-29T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2022/04/04/rust.html 2022-04-04T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2022/04/26/daniele.html 2022-04-26T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2022/05/15/floc22.html 2022-05-15T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2022/06/02/julian.html 2022-06-02T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2022/06/13/pldi.html 2022-06-13T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2022/06/14/types21.html 2022-06-14T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2022/06/30/vistas.html 2022-06-30T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2022/07/26/concurrency.html 2022-07-26T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2022/08/01/asl22.html 2022-08-01T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2022/08/04/wil22.html 2022-08-04T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2022/08/31/kashish.html 2022-08-31T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2022/10/10/karmios.html 2022-10-10T00:00:00+01:00 https://vtss.doc.ic.ac.uk/2022/12/07/lab.html 2022-12-07T00:00:00+00:00 https://vtss.doc.ic.ac.uk/403.html https://vtss.doc.ic.ac.uk/teaching/InferLab.html https://vtss.doc.ic.ac.uk/teaching/ModelsComputation.html https://vtss.doc.ic.ac.uk/accessibility/ https://vtss.doc.ic.ac.uk/research/concurrency.html https://vtss.doc.ic.ac.uk/contact/ https://vtss.doc.ic.ac.uk/research/gillian.html https://vtss.doc.ic.ac.uk/ https://vtss.doc.ic.ac.uk/research/javascript.html https://vtss.doc.ic.ac.uk/accessibility/non-accessible-list/ https://vtss.doc.ic.ac.uk/people/ https://vtss.doc.ic.ac.uk/publications/ https://vtss.doc.ic.ac.uk/teaching/separationlogic.html https://vtss.doc.ic.ac.uk/publications/Youn2024WasmSpectec.html https://vtss.doc.ic.ac.uk/publications/KarmiosAyoun2023SymbolicDebugging.html https://vtss.doc.ic.ac.uk/publications/Maksimovic2023ExactSL.html https://vtss.doc.ic.ac.uk/publications/RaoGeorges2023IrisWasm.html https://vtss.doc.ic.ac.uk/publications/Sampaio2022Trusted.html https://vtss.doc.ic.ac.uk/publications/Nantes2022Certified.html https://vtss.doc.ic.ac.uk/publications/Nantes2022Nominal.html https://vtss.doc.ic.ac.uk/publications/DOsualdo2020TaDa.html https://vtss.doc.ic.ac.uk/publications/Maksimovic2021Gillian.html https://vtss.doc.ic.ac.uk/publications/Watt2021Two.html https://vtss.doc.ic.ac.uk/publications/Nantes2021Types.html https://vtss.doc.ic.ac.uk/publications/DOsualdo2020Decidable.html https://vtss.doc.ic.ac.uk/publications/FragosoSantos2020Gillian.html https://vtss.doc.ic.ac.uk/publications/Xiong2020Parametric.html https://vtss.doc.ic.ac.uk/publications/Xiong2020Data.html https://vtss.doc.ic.ac.uk/publications/Sampaio2020Trusted.html https://vtss.doc.ic.ac.uk/publications/FragosoSantos2019JaVerT.html https://vtss.doc.ic.ac.uk/publications/Bodin2019Skeletal.html https://vtss.doc.ic.ac.uk/publications/Watt2019Program.html https://vtss.doc.ic.ac.uk/publications/FragosoSantos2018Symbolic.html https://vtss.doc.ic.ac.uk/publications/Gardner2018JaVerT.html https://vtss.doc.ic.ac.uk/publications/Dinsdale-Young2018perspective.html https://vtss.doc.ic.ac.uk/publications/Ntzik2018Concurrent.html https://vtss.doc.ic.ac.uk/publications/Chargueraud2018JSExplain.html https://vtss.doc.ic.ac.uk/publications/FragosoSantos2018JaVerT.html https://vtss.doc.ic.ac.uk/publications/Naudziuniene2018Infrastructure.html https://vtss.doc.ic.ac.uk/publications/Cerone2017Algebraic.html https://vtss.doc.ic.ac.uk/publications/Gardner2017Verified.html https://vtss.doc.ic.ac.uk/publications/FragosoSantos2017Towards.html https://vtss.doc.ic.ac.uk/publications/DOsualdo2017Deciding.html https://vtss.doc.ic.ac.uk/publications/Raad2017Abstraction.html https://vtss.doc.ic.ac.uk/publications/daRochaPinto2017Reasoning.html https://vtss.doc.ic.ac.uk/publications/Dinsdale-Young2017Caper.html https://vtss.doc.ic.ac.uk/publications/Xiong2017Abstract.html https://vtss.doc.ic.ac.uk/publications/Ntzik2017Reasoning.html https://vtss.doc.ic.ac.uk/publications/daRochaPinto2016Modular.html https://vtss.doc.ic.ac.uk/publications/Raad2016DOM.html https://vtss.doc.ic.ac.uk/publications/Luo2016Mashic.html https://vtss.doc.ic.ac.uk/publications/Raad2016Verifying.html https://vtss.doc.ic.ac.uk/publications/Ntzik2015Fault.html https://vtss.doc.ic.ac.uk/publications/Ntzik2015Reasoning.html https://vtss.doc.ic.ac.uk/publications/daRochaPinto2015Steps.html https://vtss.doc.ic.ac.uk/publications/Raad2015CoLoSL.html https://vtss.doc.ic.ac.uk/publications/Gardner2015Trusted.html https://vtss.doc.ic.ac.uk/publications/FragosoSantos2015Modular.html https://vtss.doc.ic.ac.uk/publications/FragosoSantos2015Hybrid.html https://vtss.doc.ic.ac.uk/publications/daRochaPinto2014TaDA.html https://vtss.doc.ic.ac.uk/publications/Bodin2014Trusted.html https://vtss.doc.ic.ac.uk/publications/Gardner2014Local.html https://vtss.doc.ic.ac.uk/publications/Gardner2014Abstract.html https://vtss.doc.ic.ac.uk/publications/Wright2013Structural.html https://vtss.doc.ic.ac.uk/publications/Gardner2013JuS.html https://vtss.doc.ic.ac.uk/publications/Dinsdale-Young2013Views.html https://vtss.doc.ic.ac.uk/publications/Felleisen2013Programming.html https://vtss.doc.ic.ac.uk/publications/Wheelhouse2012Segment.html https://vtss.doc.ic.ac.uk/publications/Gardner2012Towards.html https://vtss.doc.ic.ac.uk/publications/Cardelli2012Processes.html https://vtss.doc.ic.ac.uk/publications/Dinsdale-Young2011Abstracta.html https://vtss.doc.ic.ac.uk/publications/daRochaPinto2011Simple.html https://vtss.doc.ic.ac.uk/publications/Smith2011Local.html https://vtss.doc.ic.ac.uk/publications/Dinsdale-Young2010Locality.html https://vtss.doc.ic.ac.uk/publications/Dinsdale-Young2011Abstract.html https://vtss.doc.ic.ac.uk/publications/Raza2010Resource.html https://vtss.doc.ic.ac.uk/publications/Gardner2010Resource.html https://vtss.doc.ic.ac.uk/publications/Benedikt2010Report.html https://vtss.doc.ic.ac.uk/publications/Cardelli2010Processes.html https://vtss.doc.ic.ac.uk/publications/Calcagno2010Adjunct.html https://vtss.doc.ic.ac.uk/publications/Dinsdale-Young2010Concurrent.html https://vtss.doc.ic.ac.uk/publications/Dinsdale-Young2010Abstraction.html https://vtss.doc.ic.ac.uk/publications/Gardner2010Reasoning.html https://vtss.doc.ic.ac.uk/publications/Cardelli2009Process.html https://vtss.doc.ic.ac.uk/publications/Gardner2009Database.html https://vtss.doc.ic.ac.uk/publications/Gardner2009Small.html https://vtss.doc.ic.ac.uk/publications/Raza2009Automatic.html https://vtss.doc.ic.ac.uk/publications/Raza2009Footprints.html https://vtss.doc.ic.ac.uk/publications/Calcagno2009Decidability.html https://vtss.doc.ic.ac.uk/publications/Cardelli2009Processa.html https://vtss.doc.ic.ac.uk/publications/Maffeis2008Behavioural.html https://vtss.doc.ic.ac.uk/publications/Cardelli2008Process.html https://vtss.doc.ic.ac.uk/publications/Gardner2008DOM.html https://vtss.doc.ic.ac.uk/publications/Gardner2008Local.html https://vtss.doc.ic.ac.uk/publications/Raza2008Footprints.html https://vtss.doc.ic.ac.uk/publications/Gardner2008Reasoning.html https://vtss.doc.ic.ac.uk/publications/Calcagno2007Adjunct.html https://vtss.doc.ic.ac.uk/publications/Calcagno2007Local.html https://vtss.doc.ic.ac.uk/publications/Cardelli2007Manipulating.html https://vtss.doc.ic.ac.uk/publications/Gardner2007Linear.html https://vtss.doc.ic.ac.uk/publications/Dawar2007Expressiveness.html https://vtss.doc.ic.ac.uk/publications/Calcagno2007Context.html https://vtss.doc.ic.ac.uk/publications/Gardner2007Introduction.html https://vtss.doc.ic.ac.uk/publications/Zarfaty2007Context.html https://vtss.doc.ic.ac.uk/publications/Zarfaty2006Local.html https://vtss.doc.ic.ac.uk/publications/Gardner2006Editorial.html https://vtss.doc.ic.ac.uk/publications/Gardner2005Modelling.html https://vtss.doc.ic.ac.uk/publications/Gardner2005Note.html https://vtss.doc.ic.ac.uk/publications/Wischik2005Explicit.html https://vtss.doc.ic.ac.uk/publications/Calcagno2005Separation.html https://vtss.doc.ic.ac.uk/publications/Calcagno2005Context.html https://vtss.doc.ic.ac.uk/publications/Koenig2005Graph.html https://vtss.doc.ic.ac.uk/publications/Dawar2004Adjunct.html https://vtss.doc.ic.ac.uk/publications/Maffeis2004Behavioural.html https://vtss.doc.ic.ac.uk/publications/Wischik2004Strong.html https://vtss.doc.ic.ac.uk/publications/Gardner2004CONCUR.html https://vtss.doc.ic.ac.uk/publications/Gardner2003Linear.html https://vtss.doc.ic.ac.uk/publications/Gardner2003Modelling.html https://vtss.doc.ic.ac.uk/publications/Bierman2003Ubiquitous.html https://vtss.doc.ic.ac.uk/publications/Cardelli2003Manipulating.html https://vtss.doc.ic.ac.uk/publications/Gardner2002Fusion.html https://vtss.doc.ic.ac.uk/publications/Cardelli2002Spatial.html https://vtss.doc.ic.ac.uk/publications/Gardner2000Explicit.html https://vtss.doc.ic.ac.uk/publications/Gardner2000Process.html https://vtss.doc.ic.ac.uk/publications/Gardner1999Symmetric.html https://vtss.doc.ic.ac.uk/publications/Gardner1999Closed.html https://vtss.doc.ic.ac.uk/publications/Gardner1997Type.html https://vtss.doc.ic.ac.uk/publications/Barber1997Action.html https://vtss.doc.ic.ac.uk/publications/Gardner1997Types.html https://vtss.doc.ic.ac.uk/publications/Gardner1995Name.html https://vtss.doc.ic.ac.uk/publications/Gardner1995Equivalences.html https://vtss.doc.ic.ac.uk/publications/Gardner1994Discovering.html https://vtss.doc.ic.ac.uk/publications/Gardner1993New.html https://vtss.doc.ic.ac.uk/publications/Gardner1992Representing.html https://vtss.doc.ic.ac.uk/publications/Gardner1991UnfoldFold.html https://vtss.doc.ic.ac.uk/publications/Barber1997Action.pdf 2024-06-10T11:59:35+01:00 https://vtss.doc.ic.ac.uk/publications/Bierman2003Ubiquitous.pdf 2024-06-10T11:59:35+01:00 https://vtss.doc.ic.ac.uk/publications/Bierman2003Ubiquitous.slides.pdf 2024-06-10T11:59:35+01:00 https://vtss.doc.ic.ac.uk/publications/Bodin2014Trusted.pdf 2024-06-10T11:59:35+01:00 https://vtss.doc.ic.ac.uk/publications/Bodin2019Skeletal.pdf 2024-06-10T11:59:35+01:00 https://vtss.doc.ic.ac.uk/publications/Calcagno2005Context.extended.pdf 2024-06-10T11:59:35+01:00 https://vtss.doc.ic.ac.uk/publications/Calcagno2005Context.pdf 2024-06-10T11:59:35+01:00 https://vtss.doc.ic.ac.uk/publications/Calcagno2005Separation.pdf 2024-06-10T11:59:35+01:00 https://vtss.doc.ic.ac.uk/publications/Calcagno2007Adjunct.pdf 2024-06-10T11:59:35+01:00 https://vtss.doc.ic.ac.uk/publications/Calcagno2007Context.pdf 2024-06-10T11:59:35+01:00 https://vtss.doc.ic.ac.uk/publications/Calcagno2007Local.pdf 2024-06-10T11:59:35+01:00 https://vtss.doc.ic.ac.uk/publications/Calcagno2007Local.published.pdf 2024-06-10T11:59:35+01:00 https://vtss.doc.ic.ac.uk/publications/Calcagno2009Decidability.pdf 2024-06-10T11:59:35+01:00 https://vtss.doc.ic.ac.uk/publications/Calcagno2010Adjunct.pdf 2024-06-10T11:59:35+01:00 https://vtss.doc.ic.ac.uk/publications/Cardelli2002Spatial.pdf 2024-06-10T11:59:35+01:00 https://vtss.doc.ic.ac.uk/publications/Cardelli2003Manipulating.pdf 2024-06-10T11:59:35+01:00 https://vtss.doc.ic.ac.uk/publications/Cardelli2003Manipulating.techreport.pdf 2024-06-10T11:59:35+01:00 https://vtss.doc.ic.ac.uk/publications/Cardelli2007Manipulating.pdf 2024-06-10T11:59:35+01:00 https://vtss.doc.ic.ac.uk/publications/Cardelli2009Processa.pdf 2024-06-10T11:59:35+01:00 https://vtss.doc.ic.ac.uk/publications/Cardelli2009Processes.techreport.pdf.pdf 2024-06-10T11:59:35+01:00 https://vtss.doc.ic.ac.uk/publications/Cerone2017Algebraic.pdf 2024-06-10T11:59:35+01:00 https://vtss.doc.ic.ac.uk/publications/Chargueraud2018JSExplain.pdf 2024-06-10T11:59:35+01:00 https://vtss.doc.ic.ac.uk/publications/DOsualdo2017Deciding.pdf 2024-06-10T11:59:35+01:00 https://vtss.doc.ic.ac.uk/publications/DOsualdo2020Decidable.extended.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/DOsualdo2020Decidable.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/DOsualdo2020TaDa.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Dawar2004Adjunct.extended.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Dawar2004Adjunct.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Dawar2007Expressiveness.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Dinsdale-Young2010Abstraction.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Dinsdale-Young2010Abstraction.techreport.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Dinsdale-Young2010Concurrent.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Dinsdale-Young2010Locality.techreport.pdf.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Dinsdale-Young2011Abstract.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Dinsdale-Young2011Abstracta.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Dinsdale-Young2013Views.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Dinsdale-Young2017Caper.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Dinsdale-Young2017Caper.techreport.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Dinsdale-Young2018perspective.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/FragosoSantos2015Hybrid.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/FragosoSantos2015Modular.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/FragosoSantos2017Towards.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/FragosoSantos2018JaVerT.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/FragosoSantos2018Symbolic.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/FragosoSantos2019JaVerT.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/FragosoSantos2020Gillian.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner1992Representing.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner1994Discovering.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner1995Equivalences.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner1995Name.published.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner1997Type.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner1997Types.extended.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner1999Closed.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner1999Symmetric.abstract.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner1999Symmetric.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner2000Explicit.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner2000Process.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner2002Fusion.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner2003Linear.extended.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner2003Modelling.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner2005Modelling.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner2005Note.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner2007Linear.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner2008DOM.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner2008Local.extended.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner2008Local.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner2008Reasoning.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner2009Small.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner2010Local.extended.pdf.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner2010Reasoning.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner2010Resource.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner2010Resource.techreport.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner2012Towards.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner2013JuS.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner2014Abstract.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner2014Local.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner2015Trusted.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner2017Verified.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Gardner2018JaVerT.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/KarmiosAyoun2023SymbolicDebugging.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Koenig2005Graph.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Luo2016Mashic.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Maffeis2004Behavioural.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Maffeis2008Behavioural.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Maksimovic2021Gillian.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Maksimovic2023ExactSL.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Nantes2021Types.extended.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Nantes2021Types.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Nantes2022Certified.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Nantes2022Nominal.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Naudziuniene2018Infrastructure.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Ntzik2015Fault.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Ntzik2015Reasoning.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Ntzik2017Reasoning.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Ntzik2018Concurrent.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Ntzik2018Concurrent.techreport.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Raad2015CoLoSL.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Raad2016DOM.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Raad2016Verifying.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Raad2017Abstraction.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/RaoGeorges2023IrisWasm.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Raza2009Automatic.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Raza2009Automatic.techreport.pdf.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Raza2009Footprints.published.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Raza2010Resource.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Sampaio2020Trusted.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Sampaio2022Trusted.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Smith2011Local.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/TODO.Dinsdale-Young2010Abstraction.journal.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/TODO.Dinsdale-Young2013Views.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Watt2019Program.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Watt2021Two.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Wheelhouse2012Segment.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Wischik2004Strong.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Wischik2005Explicit.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Wright2013Structural.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Xiong%20Abstract2017.extended.pdf.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Xiong2017Abstract.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Xiong2017Abstract.techreport.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Xiong2020Data.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Xiong2020Parametric.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Youn2024WasmSpectec.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Zarfaty2006Local.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/Zarfaty2007Context.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/daRochaPinto2011Simple.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/daRochaPinto2011Simple.techreport.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/daRochaPinto2014TaDA.extended.pdf.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/daRochaPinto2014TaDA.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/daRochaPinto2015Steps.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/daRochaPinto2016Modular.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/daRochaPinto2016Modular.techreport.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/publications/daRochaPinto2017Reasoning.pdf 2024-06-10T11:59:36+01:00 https://vtss.doc.ic.ac.uk/slides/ECMA_JaVerT.pdf 2024-06-10T11:59:32+01:00 https://vtss.doc.ic.ac.uk/slides/From_JSCert_to_JSExplain_and_beyond.pdf 2024-06-10T11:59:32+01:00 https://vtss.doc.ic.ac.uk/slides/Neither_Web%20nor_Assembly.pdf 2024-06-10T11:59:32+01:00 https://vtss.doc.ic.ac.uk/slides/Practical_Dynamic_Symbolic_Execution_of_Standalone_JavaScript.pdf 2024-06-10T11:59:32+01:00 https://vtss.doc.ic.ac.uk/slides/Reasoning_for_Open_Systems.pdf 2024-06-10T11:59:32+01:00 https://vtss.doc.ic.ac.uk/slides/Safe_types_untyped_contexts.pdf 2024-06-10T11:59:32+01:00 https://vtss.doc.ic.ac.uk/slides/Sampaio-Automatic-JavaScript.pdf 2024-06-10T11:59:32+01:00 https://vtss.doc.ic.ac.uk/slides/Systematic_approaches_for_increasing_soundness_and_precision_of_static_analyzers.pdf 2024-06-10T11:59:32+01:00 https://vtss.doc.ic.ac.uk/slides/Testing_and_Evolving_TypeScript_Declaration_Files_with_Program_Analysis.pdf 2024-06-10T11:59:32+01:00 https://vtss.doc.ic.ac.uk/slides/Towards_Formal_Verification_in_Cryptographic_Web_Applications.pdf 2024-06-10T11:59:32+01:00 https://vtss.doc.ic.ac.uk/slides/Verify_what_Navigating_the_Attack_Surface.pdf 2024-06-10T11:59:32+01:00 https://vtss.doc.ic.ac.uk/slides/Verifying_Cryptographic_Web_Application.pdf 2024-06-10T11:59:32+01:00 https://vtss.doc.ic.ac.uk/slides/Xiong-Concurrent.pdf 2024-06-10T11:59:32+01:00 https://vtss.doc.ic.ac.uk/slides/adventures_in_machanising_and_verifying_webassembly.pdf 2024-06-10T11:59:32+01:00 https://vtss.doc.ic.ac.uk/teaching/Bi-Abduction-slides-Sutherland.pdf 2024-06-10T11:59:32+01:00