Travelled to:1 × Germany
1 × USA
1 × United Kingdom
Collaborated with:P.Thiemann P.Heidegger Christopher S. Meiklejohn Vitor Enes Junghun Yoo C.Baquero P.V.Roy
Talks about:transform (1) transact (1) properti (1) contract (1) softwar (1) program (1) practic (1) permiss (1) languag (1) script (1)
Person: Annette Bieniusa
DBLP: Bieniusa:Annette
Contributed to:
2012
2011
2009
2017Wrote 4 papers:
- POPL-2012-HeideggerBT #contract #scripting language
- Access permission contracts for scripting languages (PH, AB, PT), pp. 111–122.
- ESOP-2011-BieniusaT #memory management #proving #transaction
- Proving Isolation Properties for Software Transactional Memory (AB, PT), pp. 38–56.
- CC-2009-BieniusaT #continuation #how #monad
- How to CPS Transform a Monad (AB, PT), pp. 266–280.
- PPDP-2017-MeiklejohnEYBRB #case study #evaluation #experience #programming #scalability
- Practical evaluation of the Lasp programming model at large scale: an experience report (CSM, VE, JY, CB, PVR, AB), pp. 109–114.