Travelled to:1 × USA
Collaborated with:E.Morse E.Mercer J.McCarthy E.G.Mercer P.Anderson V.Sarkar
Talks about:program (2) model (2) asynchron (1) parallel (1) permiss (1) gradual (1) messag (1) check (1) task (1) pass (1)
Person: Nick Vrvilo
DBLP: Vrvilo:Nick
Contributed to:
2012
2015Wrote 2 papers:
- VMCAI-2012-MorseVMM #c #message passing #modelling #source code
- Modeling Asynchronous Message Passing for C Programs (EM, NV, EM, JM), pp. 332–347.
- ASE-2015-MercerAVS #model checking #parallel #source code #using
- Model Checking Task Parallel Programs Using Gradual Permissions (N) (EGM, PA, NV, VS), pp. 535–540.