ask others

Paul Gazzillo

◁ ▷ joint publications with coauthor community group 1

> Home > Persons > Paul Gazzillo

Publications

2018
[j1]
- view
  - electronic edition @ eatcs.org
- export record
  dblp key:
  - journals/eatcs/DickersonGHK18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eatcs/DickersonGHK18
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen:
Adding Concurrency to Smart Contracts. Bulletin of the EATCS 124 (2018)
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fc/DickersonGHSK18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fc/DickersonGHSK18
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Vikram Saraph, Eric Koskinen:
Proof-Carrying Smart Contracts. Financial Cryptography Workshops 2018: 325-338
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/splc/GazzilloKNW18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/splc/GazzilloKNW18
Paul Gazzillo, Ugur Koc, ThanhVu Nguyen, Shiyi Wei:
Localizing configurations in highly-configurable systems. SPLC 2018: 269-273
2017
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/pldi/AntonopoulosGHK17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pldi/AntonopoulosGHK17
Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei:
Decomposition instead of self-composition for proving the absence of timing channels. PLDI 2017: 362-375
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/podc/DickersonGHK17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/podc/DickersonGHK17
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen:
Brief Announcement: Proust: A Design Space for Highly-Concurrent Transactional Data Structures. PODC 2017: 251-253
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/podc/DickersonGHK17a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/podc/DickersonGHK17a
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen:
Adding Concurrency to Smart Contracts. PODC 2017: 303-312
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/DickersonGHK17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/DickersonGHK17
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen:
Adding Concurrency to Smart Contracts. CoRR abs/1702.04467 (2017)
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/DickersonGKH17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/DickersonGKH17
Thomas D. Dickerson, Paul Gazzillo, Eric Koskinen, Maurice Herlihy:
Proust: A Design Space for Highly-Concurrent Transactional Data Structures. CoRR abs/1702.04866 (2017)

maintained by

, founded at