Travelled to:3 × USA
Collaborated with:M.Gaboardi J.Hsu C.Hritcu B.C.Pierce E.J.G.Arias S.Katsumata Ikram Cherigui J.Hughes A.Spector-Zabusky D.Vytiniotis L.Lampropoulos N.Collins A.DeHon D.Demange D.Pichardie R.Pollack A.Tolmach
Talks about:noninterfer (1) architectur (1) preserv (1) account (1) verifi (1) semant (1) realli (1) metric (1) linear (1) inform (1)
Person: Arthur Azevedo de Amorim
DBLP: Amorim:Arthur_Azevedo_de
Contributed to:
2014
2014
20132017Wrote 4 papers:
- IFL-2014-AmorimGAH #linear #type checking
- Really Natural Linear Indexed Type Checking (AAdA, MG, EJGA, JH), p. 5.
- POPL-2014-AmorimCDDHPPPT #architecture #data flow
- A verified information-flow architecture (AAdA, NC, AD, DD, CH, DP, BCP, RP, AT), pp. 165–178.
- ICFP-2013-HritcuHPSVAL #testing
- Testing noninterference, quickly (CH, JH, BCP, ASZ, DV, AAdA, LL), pp. 455–468.
- POPL-2017-AmorimGHKC #metric #semantics
- A semantic account of metric preservation (AAdA, MG, JH, SyK, IC), pp. 545–556.