`Travelled to:`

1 × Canada

1 × China

1 × USA

`Collaborated with:`

R.Jhala P.M.Rondon M.Kawaguchi K.v.Gleissenthall Rami Gökhan Kici N.Vazou D.Stefan

`Talks about:`

distribut (2) program (2) verifi (2) liquid (2) type (2) determinist (1) synchroni (1) asynchron (1) synchron (1) sequenti (1)

## Person: Alexander Bakst

### DBLP: Bakst:Alexander

### Contributed to:

### Wrote 5 papers:

- ICFP-2015-VazouBJ #bound #refinement
- Bounded refinement types (NV, AB, RJ), pp. 48–61.
- CAV-2012-RondonBKJ #c #named #verification
- CSolve: Verifying C with Liquid Types (PMR, AB, MK, RJ), pp. 744–750.
- PLDI-2012-KawaguchiRBJ #parallel
- Deterministic parallelism via liquid effects (MK, PMR, AB, RJ), pp. 45–54.
- OOPSLA-2017-BakstGKJ #canonical #distributed #source code #verification
- Verifying distributed programs via canonical sequentialization (AB, KvG, RGK, RJ), p. 27.
- POPL-2019-GleissenthallKB #distributed #source code #verification
- Pretend synchrony: synchronous verification of asynchronous distributed programs (KvG, RGK, AB, DS, RJ), p. 30.