140
click to vote
PAM
2016
Springer
9 years 11 months ago
2016
Springer
Many efforts are devoted to increase the understanding of the complex and evolving Internet ecosystem. Internet eXchange Points (IXP) are shared infrastructures where Autonomous S...
146
click to vote
PAM
2016
Springer
9 years 11 months ago
2016
Springer
Web trackers are services that monitor user behavior on the web. The information they collect is ostensibly used for customization and targeted advertising. Due to rising privacy c...
120
click to vote
PAM
2016
Springer
9 years 11 months ago
2016
Springer
Abstract. Android applications often rely on alarms to schedule background tasks. Since Android KitKat, applications can opt-in for deferrable alarms, which allows the OS to perfor...
133
Voted
PAM
2016
Springer
9 years 11 months ago
2016
Springer
Abstract. Multipath TCP is a recent TCP extension that enables multihomed hosts like smartphones to send and receive data over multiple interfaces. Despite the growing interest in ...
132
Voted
PADL
2016
Springer
9 years 11 months ago
2016
Springer
The combination of monads and effects leads to a clean and easy to reason about programming paradigm. Monadic programming is easy to reason about, but can be cumbersome, as it requ...
137
Voted
PADL
2016
Springer
9 years 11 months ago
2016
Springer
We describe arithmetic algorithms on a canonical number representation based on the Catalan family of combinatorial objects specified as a Haskell type class. Our algorithms work ...
140
Voted
PADL
2016
Springer
9 years 11 months ago
2016
Springer
We transform probabilistic programs to run more efficiently and read more easily, by composing three semantics-preserving transformations: (1) apply the denotational semantics; (2)...
212
Voted
PADL
2016
Springer
9 years 11 months ago
2016
Springer
SAT has become the backbone of many software systems. In order to make full use of the power of SAT solvers, a SAT compiler must encode domain variables and constraints into an e...
184
Voted
PAAPP
2016
9 years 11 months ago
2016
This paper proposes a new microblogging architecture based on peer-to-peer networks overlays. The proposed platform is comprised of three mostly independent overlay networks. The ...
183
Voted
ORL
2016
9 years 11 months ago
2016
We consider the problem of solving multiple “coupled” root-finding problems at once, in that we can evaluate every function at the same point simultaneously. Using a dynamic ...