Distributed System
A Snapshot-Based Introduction to the Linearizability Hierarchy
Varda : An architectural framework for compositional distributed programming
Recycling Memory in Recoverable Mutex Locks
PoWacle: a proof-of-work based decentralized blockchain oracle
FEBR: Expert-Based Recommendation Framework for beneficial and personalized content
Bird@Edge: Bird Species Recognition at the Edge
Solvability of Byzantine Fault-Tolerant Causal Ordering Problems
Relaxed Reliable Broadcast for Decentralized Trust
A Self-Stabilizing Low Stretch Spanning Tree Construction
Analysis of Interactions Among Infrastructure Provider Fronting Content Provider
Networking
An Eventually Perfect Failure Detector on ADD Channels Using Clustering
Making CSMA Collision-Free and Stable Using Collaborative Indexing
ProgDTN: Programmable Disruption-tolerant Networking
Distributed oracle for estimating global network delay with known error bounds
Mechanical energy minimization UAV-mounted base station Path plan for public safety communication
Dynamics analysis for a duopoly game with bounded rationality in cognitive radio network
IoT based Prediction of Active and Passive Earth Pressure Coefficients using Artificial Neural Networks
Verification
Applying Custom Patterns in Semantic Equality Analysis
Verifying Reachability for TSO Programs with Dynamic Thread Creation
Security
Chromatic and spatial analysis of one-pixel attacks against an image classifier.