ZEUS: Analyzing Safety of Smart Contracts
- Sukrit Kalra
- Seep Goel
- et al.
- 2018
- NDSS 2018
Conference paper
Publications
9293 results for Computer Science
Challenges and experiences in building an efficient apache beam runner for IBM streams
- Shen Li
- Paul Gerver
- et al.
- 2018
- VLDB
PaperFrontier: Resilient edge processing for the Internet of Things
- Dan O'Keeffe
- Theodoros Salonidis
- et al.
- 2018
- VLDB
PaperOn optimizing operator fusion plans for largeScale Machine Learning in System ML
- Matthias Boehm
- Berthold Reinwald
- et al.
- 2018
- VLDB
PaperTooling framework for instantiating natural language querying system
- Manasa Jammi
- Jaydeep Sen
- et al.
- 2018
- VLDB
PaperA concave path to lowoverhead robust query processing
- Srinivas Karthik
- Jayant R Haritsa
- et al.
- 2018
- VLDB
PaperMatching triangles and basing hardness on an extremely popular conjecture
- Amir Abboud
- Virginia Vassilevska Williams
- et al.
- 2018
- SIAM Journal on Computing
PaperLinear convergence of stochastic iterative greedy algorithms with sparse constraints
- Nam Nguyen
- Deanna Needell
- et al.
- 2017
- IEEE Trans. Inf. Theory
PaperLong-span program behavior modeling and attack detection
- Xiaokui Shu
- Danfeng Yao
- et al.
- 2017
- ACM TOPS
PaperWorkflow Complexity for Collaborative Interactions: Where are the Metrics? A Challenge
- Kartik Talamadupula
- Biplav Srivastava
- et al.
- 2017
- arXiv
Paper