Alexander Bakst
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2012–2016
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | VMCAI | Predicate Abstraction for Linked Data Structures. | Alexander Bakst, Ranjit Jhala |
| 2015 | ICFP | Bounded refinement types. | Niki Vazou, Alexander Bakst, Ranjit Jhala |
| 2012 | CAV | CSolve: Verifying C with Liquid Types. | Patrick Maxim Rondon, Alexander Bakst, Ming Kawaguchi, Ranjit Jhala |
| 2012 | PLDI | Deterministic parallelism via liquid effects. | Ming Kawaguchi, Patrick Maxim Rondon, Alexander Bakst, Ranjit Jhala |