Travelled to:1 × China
2 × Spain
Collaborated with:J.A.Silva H.Paulino R.J.Dias D.Distefano J.C.Seco J.Kwiatkowski M.Andruszkiewicz E.Luque T.Margalef J.C.Cunha H.Krawczyk S.Szejko
Talks about:curriculum (1) transact (1) snapshot (1) parallel (1) version (1) softwar (1) program (1) process (1) partial (1) develop (1)
Person: João Lourenço
DBLP: Louren=ccedil=o:Jo=atilde=o
Facilitated 1 volumes:
EdContributed to:
2015
20121996Wrote 3 papers:
- SAC-2015-SilvaLP #locality #multi #replication
- Boosting locality in multi-version partial data replication (JAS, JL, HP), pp. 1309–1314.
- ECOOP-2012-DiasDSL #java #memory management #source code #transaction #verification
- Verification of Snapshot Isolation in Transactional Memory Java Programs (RJD, DD, JCS, JL), pp. 640–664.
- ITiCSE-1996-KwiatkowskiALMCLKS #development #education #parallel #tool support
- Teaching parallel processing: development of curriculum and software tools (JK, MA, EL, TM, JCC, JL, HK, SS), pp. 159–161.