Sciweavers

91

Voted

POPL
2015
ACM

19views Programming Languages» more POPL 2015»

Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems

9 years 11 months ago

We propose the ﬁrst sound and complete learning-based compositional veriﬁcation technique for probabilistic safety properties on concurrent systems where each component is an ...

Fei He, Xiaowei Gao, Bow-Yaw Wang, Lijun Zhang

claim paper

Read More »

99

Voted

POPL
2015
ACM

10views Programming Languages» more POPL 2015»

K-Java: A Complete Semantics of Java

9 years 11 months ago

Download fsl.cs.illinois.edu

This paper presents K-Java, a complete executable formal seman

Denis Bogdanas, Grigore Rosu

claim paper

Read More »

100

Voted

POPL
2015
ACM

10views Programming Languages» more POPL 2015»

Programming up to Congruence

9 years 11 months ago

Download www.cs.yale.edu

This paper presents the design of ZOMBIE, a dependently-typed programming language that uses an adaptation of a congruence closure algorithm for proof and type inference. This alg...

Vilhelm Sjöberg, Stephanie Weirich

claim paper

Read More »

73

click to vote

POPL
2015
ACM

9views Programming Languages» more POPL 2015»

Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning

9 years 11 months ago

Download www.mpi-sws.org

We present Iris, a concurrent separation logic with a simple premise: monoids and invariants are all you need. Partial commutative monoids enable us to express—and invariants en...

Ralf Jung 0002, David Swasey, Filip Sieczkowski, K...

claim paper

Read More »

94

Voted

POPL
2015
ACM

51views Programming Languages» more POPL 2015»

How to give a good research talk

9 years 11 months ago

Download www.cs.olemiss.edu

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers