Ales Bizjak

According to our database, Ales Bizjak authored at least 18 papers between 2013 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Denotational semantics for guarded dependent type theory.

Ales Bizjak, Rasmus Ejlers Møgelberg

Math. Struct. Comput. Sci., 2020

2019

Iron: managing obligations in higher-order concurrent separation logic.

Ales Bizjak, Daniel Gratzer, Robbert Krebbers, Lars Birkedal

Proc. ACM Program. Lang., 2019

Guarded Cubical Type Theory.

Lars Birkedal, Ales Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, Andrea Vezzosi

J. Autom. Reason., 2019

2018

A model of guarded recursion via generalised equilogical spaces.

Ales Bizjak, Lars Birkedal

Theor. Comput. Sci., 2018

Iris from the ground up: A modular foundation for higher-order concurrent separation logic.

Ralf Jung, Robbert Krebbers, Jacques-Henri Jourdan, Ales Bizjak, Lars Birkedal, Derek Dreyer

J. Funct. Program., 2018

On Models of Higher-Order Separation Logic.

Ales Bizjak, Lars Birkedal

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus.

Alejandro Aguirre, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg

Proceedings of the Programming Languages and Systems, 2018

2017

The Essence of Higher-Order Concurrent Separation Logic.

Robbert Krebbers, Ralf Jung, Ales Bizjak, Jacques-Henri Jourdan, Derek Dreyer, Lars Birkedal

Proceedings of the Programming Languages and Systems, 2017

2016

The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types.

Ranald Clouston, Ales Bizjak, Hans Bugge Grathwohl, Lars Birkedal

Log. Methods Comput. Sci., 2016

Guarded Dependent Type Theory with Coinductive Types.

Ales Bizjak, Hans Bugge Grathwohl, Ranald Clouston, Rasmus Ejlers Møgelberg, Lars Birkedal

Proceedings of the Foundations of Software Science and Computation Structures, 2016

Guarded Cubical Type Theory: Path Equality for Guarded Recursion.

Lars Birkedal, Ales Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, Andrea Vezzosi

Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016

2015

A Model of Guarded Recursion With Clock Synchronisation.

Ales Bizjak, Rasmus Ejlers Møgelberg

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

Step-Indexed Logical Relations for Probability (long version).

Ales Bizjak, Lars Birkedal

CoRR, 2015

ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages.

Filip Sieczkowski, Ales Bizjak, Lars Birkedal

Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

Programming and Reasoning with Guarded Recursion for Coinductive Types.

Ranald Clouston, Ales Bizjak, Hans Bugge Grathwohl, Lars Birkedal

Proceedings of the Foundations of Software Science and Computation Structures, 2015

Step-Indexed Logical Relations for Probability.

Ales Bizjak, Lars Birkedal

Proceedings of the Foundations of Software Science and Computation Structures, 2015

2014

A Model of Countable Nondeterminism in Guarded Type Theory.

Ales Bizjak, Lars Birkedal, Marino Miculan

Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014

2013

Step-Indexed Relational Reasoning for Countable Nondeterminism.

Lars Birkedal, Ales Bizjak, Jan Schwinghammer

Log. Methods Comput. Sci., 2013