Publications

187 results for Distributed Systems

PHRYCTORIA: A messaging system for transprecision OpenCAPI-attached FPGA accelerators
- - Dionysios Diamantopoulos
  - Mitra Purandare
  - et al.
- 2020
- IPDPSW 2020
Verification of customizable blockchain consensus rule using a formal method
- - Ryo Kawahara
- 2020
- ICBC 2020
Hardening Permissioned Blockchains with Verifiable Randomness
- - Artem Barger
  - Yacov Manevich
  - et al.
- 2020
- ICBC 2020
PUF-derived IoT identities in a zero-knowledge protocol for blockchain
- - Miguel ÁNgel Prada-delgado
  - Iluminada Baturone
  - et al.
- 2020
- IoT
On Efficiently Processing Workflow Provenance Queries in Spark
- - Rajmohan C
  - Pranay Kumar Lohia
  - et al.
- 2019
- ICDCS 2019
Promoting Distributed Trust in Machine Learning and Computational Simulation via a Blockchain Network
- - Kibichii Bore
  - Ravi Kiran Raman
  - et al.
- 2019
- ICBC 2019
On Consensus-Disagreement Tradeoff in Distributed Optimization
- - Zhanhong Jiang
  - Kushal Mukherjee
  - et al.
- 2018
- ACC 2018
Hyperledger Fabric: A Distributed Operating System for Permissioned Blockchains
- - Elli Androulaki
  - Artem Barger
  - et al.
- 2018
- EuroSys 2018
ZEUS: Analyzing Safety of Smart Contracts
- - Sukrit Kalra
  - Seep Goel
  - et al.
- 2018
- NDSS 2018
Challenges and experiences in building an efficient apache beam runner for IBM streams
- - Shen Li
  - Paul Gerver
  - et al.
- 2018
- VLDB