Smart contracts manage a large number of digital assets nowadays. Bugs i...
This paper presents AdaChain, a learning-based blockchain framework that...
This paper presents DeCon, a declarative programming language for
implem...
Cloud data centers are rapidly evolving. At the same time, large-scale d...
Byzantine fault-tolerant protocols cover a broad spectrum of design
dime...
Debugging imperative network programs is a challenging task for develope...
Today's large-scale data management systems need to address distributed
...
The next frontier for the Internet leading by innovations in mobile
comp...
Writing classification rules to identify malicious network traffic is a
...
Software Defined Networking has unfolded a new area of opportunity in
di...
In spite of much progress and many advances, cost-effective, high-qualit...
Network failures continue to plague datacenter operators as their sympto...