Publications

Publications by Alexandra Silva

2017

Cantor meets scott: semantic foundations for probabilistic networks

Authors
Smolka, Steffen; Kumar, Praveen; Foster, Nate; Kozen, Dexter; Silva, Alexandra;

Publication
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017

Abstract

2014

Initial Algebras of Terms with Binding and Algebraic Structure

Authors
Jacobs, B; Silva, A;

Publication
Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday

Abstract

2014

A compositional model to reason about end-to-end QoS in Stochastic Reo connectors

Authors
Moon, YJ; Silva, A; Krause, C; Arbab, F;

Publication
SCIENCE OF COMPUTER PROGRAMMING

Abstract
In this paper, we present a compositional semantics for the channel-based coordination language Reo that enables the analysis of quality of service (QoS) properties of service compositions. For this purpose, we annotate Reo channels with stochastic delay rates and explicitly model data-arrival rates at the boundary of a connector, to capture its interaction with the services that comprise its environment. We propose Stochastic Reo Automata as an extension of Reo automata, in order to compositionally derive a QoS-aware semantics for Reo. We further present a translation of Stochastic Reo Automata to Continuous-Time Markov Chains (CTMCs). This translation enables us to use third-party CTMC verification tools to do an end-to-end performance analysis of service compositions. In addition, we discuss to what extent Interactive Markov Chains (IMCs) can serve as an alternative semantic model for Stochastic Reo. We show that the semantics of Stochastic Reo cannot be specified compositionally using the product operator provided by IMCs.

CloseRead Abstract

2013

A Coalgebraic View of e-Transitions

Authors
Silva, A; Westerbaan, B;

Publication
Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings

Abstract

2017

CoCaml: Functional Programming with Regular Coinductive Types

Authors
Jeannin, JeanBaptiste; Kozen, Dexter; Silva, Alexandra;

Publication
Fundam. Inform.

Abstract

2013

Generalizing determinization from automata to coalgebras

Authors
Silva, Alexandra; Bonchi, Filippo; Bonsangue, MarcelloM.; Rutten, JanJ.M.M.;

Publication
Logical Methods in Computer Science

Abstract