Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019
Cascais, Portugal
Toggle navigation
Attending
Venue: Hotel Cascais Miragem
Online Participation
Registration
Visa
Information for Students
Code of Conduct
Supporting POPL
Program
Complete Program
Your Program
Sun 13 Jan
Mon 14 Jan
Tue 15 Jan
Wed 16 Jan
Thu 17 Jan
Fri 18 Jan
Sat 19 Jan
Tracks
POPL 2019
Research Papers
Artifact Evaluation
TutorialFest
Student Research Competition
Workshops
Co-hosted Conferences
CPP
VMCAI
Workshops
BEAT
CoqPL
LAFI
(né PPS)
OPCT
Off the Beaten Track
PEPM
PLMW
@POPL
PriSC
Co-hosted Symposiums
PADL
Organization
POPL 2019
Organizing Committee
Steering Committee
Research Papers
Program Committee
Artifact Evaluation
Artifact Evaluation Committee
TutorialFest
Tutorials Evaluation Committee
Student Research Competition
Selection Committee
Contributors
People Index
Co-hosted Conferences
CPP
CPP 2019
Program Committee
VMCAI
VMCAI 2019
Invited Speakers
VMCAI 2019
Organizing Committee
VMCAI 2019
Program Committee
Workshops
BEAT
BEAT 2019
Organizing Committee
BEAT 2019
Program Committee
CoqPL
CoqPL
Organizing Committee
CoqPL
Program Committee
LAFI
LAFI (né PPS)
Program Committee
LAFI (né PPS)
Steering Committee
OPCT
OPCT 2019
Organizing Committee
OPCT 2019
Program Committee
Off the Beaten Track
Off the Beaten Track 2019
Organizing Committee
Off the Beaten Track 2019
Program Committee
PEPM
PEPM 2019
Program Committee
PEPM 2019
Steering Committee
PLMW
PLMW@POPL
Organizing Committee
PLMW@POPL
Speakers
PLMW@POPL
Panelists
PriSC
PriSC 2019
Program Committee
PriSC 2019
Organizing Committee
Co-hosted Symposiums
PADL
PADL 2019
Organizing Committee
PADL 2019
Program Committee
Search
Series
Series
POPL 2020
POPL 2019
POPL 2018
POPL 2017
POPL 2016
Sign in
Sign up
POPL 2019
(
series
) /
Hotel Cascais Miragem
/
Room information: Sala I
Venue
Hotel Cascais Miragem
Room name
Sala I
Floor
0
Room number
Capacity
0
Additional information
There is no additional information of this room available.
Program
Detailed Table
Session Timeline
Detailed Timeline
Wed 16 Jan
POPL-2019-Research-Papers
10:35 - 12:03:
Research Papers
- Reasoning about Probabilistic Programs at
Sala I
Chair(s):
Jan Hoffmann
Carnegie Mellon University
POPL-2019-Research-Papers
10:35 - 10:57
Talk
Formal Verification of Higher-Order Probabilistic Programs
Tetsuya Sato
University at Buffalo, SUNY, USA
,
Alejandro Aguirre
IMDEA Software Institute, Spain
,
Gilles Barthe
IMDEA Software Institute
,
Marco Gaboardi
University at Buffalo, SUNY
,
Deepak Garg
Max Planck Institute for Software Systems
,
Justin Hsu
University of Wisconsin-Madison, USA
Link to publication
DOI
Media Attached
File Attached
POPL-2019-Research-Papers
10:57 - 11:19
Talk
A Separation Logic for Concurrent Randomized Programs
Joseph Tassarotti
Carnegie Mellon University
,
Robert Harper
Link to publication
DOI
Media Attached
File Attached
POPL-2019-Research-Papers
11:19 - 11:41
Talk
Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs
Kevin Batz
RWTH Aachen University
,
Benjamin Lucien Kaminski
RWTH Aachen University; University College London
,
Joost-Pieter Katoen
RWTH Aachen University
,
Christoph Matheja
RWTH Aachen University
,
Thomas Noll
RWTH Aachen University
Link to publication
DOI
Media Attached
File Attached
POPL-2019-Research-Papers
11:41 - 12:03
Talk
Trace Abstraction Modulo Probability
Calvin Smith
University of Wisconsin - Madison
,
Justin Hsu
University of Wisconsin-Madison, USA
,
Aws Albarghouthi
University of Wisconsin-Madison
Link to publication
DOI
Media Attached
POPL-2019-Research-Papers
13:45 - 14:51:
Research Papers
- Probabilistic Programming and Semantics at
Sala I
Chair(s):
Justin Hsu
University of Wisconsin-Madison, USA
POPL-2019-Research-Papers
13:45 - 14:07
Talk
Probabilistic Programming with Densities in SlicStan: Efficient, Flexible and Deterministic
Maria I. Gorinova
The University of Edinburgh
,
Andrew D. Gordon
Microsoft Research and University of Edinburgh
,
Charles Sutton
University of Edinburgh
Link to publication
DOI
Pre-print
Media Attached
File Attached
POPL-2019-Research-Papers
14:07 - 14:29
Talk
A Domain Theory for Statistical Probabilistic Programming
Distinguished Paper
Matthijs Vákár
University of Oxford
,
Ohad Kammar
University of Edinburgh
,
Sam Staton
University of Oxford
Link to publication
DOI
Pre-print
Media Attached
File Attached
POPL-2019-Research-Papers
14:29 - 14:51
Talk
Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling
Feras Saad
Massachusetts Institute of Technology
,
Marco Cusumano-Towner
MIT-CSAIL
,
Ulrich Schaechtle
Massachusetts Institute of Technology, USA
,
Martin Rinard
Massachusetts Institute of Technology
,
Vikash Mansinghka
MIT
Link to publication
DOI
Media Attached
File Attached
POPL-2019-Research-Papers
15:21 - 16:27:
Research Papers
- Machine Learning and Linear Algebra at
Sala I
Chair(s):
Aws Albarghouthi
University of Wisconsin-Madison
POPL-2019-Research-Papers
15:21 - 15:43
Talk
code2vec: Learning Distributed Representations of Code
Uri Alon
Technion
,
Meital Zilberstein
Technion
,
Omer Levy
University of Washington, USA
,
Eran Yahav
Technion
Link to publication
DOI
Pre-print
Media Attached
File Attached
POPL-2019-Research-Papers
15:43 - 16:05
Talk
An Abstract Domain for Certifying Neural Networks
Gagandeep Singh
,
Timon Gehr
,
Markus Püschel
ETH Zürich
,
Martin Vechev
ETH Zürich
Link to publication
DOI
Media Attached
POPL-2019-Research-Papers
16:05 - 16:27
Talk
Closed Forms for Numerical Loops
Zachary Kincaid
Princeton University
,
Jason Breck
University of Wisconsin - Madison
,
John Cyphert
University of Wisconsin - Madison
,
Thomas Reps
University of Wisconsin - Madison and GrammaTech, Inc.
Link to publication
DOI
Media Attached
File Attached
POPL-2019-Research-Papers
16:37 - 17:43:
Research Papers
- Quantum Programming at
Sala I
Chair(s):
Jens Palsberg
University of California, Los Angeles (UCLA)
POPL-2019-Research-Papers
16:37 - 16:59
Talk
Quantitative Robustness Analysis of Quantum Programs
Shih-Han Hung
University of Maryland
,
Kesha Hietala
University of Maryland
,
Shaopeng Zhu
University of Maryland
,
Mingsheng Ying
University of Technology Sydney
,
Michael Hicks
University of Maryland, College Park
,
Xiaodi Wu
University of Oregon, USA
Link to publication
DOI
Media Attached
POPL-2019-Research-Papers
16:59 - 17:21
Talk
Game Semantics for Quantum Programming
Pierre Clairambault
CNRS & ENS Lyon
,
Marc De Visme
ENS Lyon
,
Glynn Winskel
Link to publication
DOI
Media Attached
POPL-2019-Research-Papers
17:21 - 17:43
Talk
Quantum Relational Hoare Logic
Dominique Unruh
University of Tartu
Link to publication
DOI
Pre-print
Media Attached
File Attached
POPL-2019-Research-Papers
18:00 - 18:30:
Research Papers
- Wednesday Evening Program I at
Sala I
POPL-2019-Research-Papers
18:00 - 18:30
Talk
Microsoft Research: Engage, Verify, Open
Thomas Ball
Microsoft Research
Media Attached
Thu 17 Jan
POPL-2019-Research-Papers
09:00 - 10:06:
Research Papers
- Type Abstraction and Effects at
Sala I
Chair(s):
Benjamin Delaware
Purdue University
POPL-2019-Research-Papers
09:00 - 09:22
Talk
Abstraction-Safe Effect Handlers via Tunneling
Yizhou Zhang
Cornell University
,
Andrew Myers
Cornell University
Link to publication
DOI
Media Attached
POPL-2019-Research-Papers
09:22 - 09:44
Talk
Abstracting Algebraic Effects
Dariusz Biernacki
University of Wrocław
,
Maciej Piróg
University of Wrocław
,
Piotr Polesiuk
University of Wrocław
,
Filip Sieczkowski
University of Wrocław
Link to publication
DOI
Media Attached
POPL-2019-Research-Papers
09:44 - 10:06
Talk
Fully Abstract Module Compilation
Karl Crary
Carnegie Mellon University
Link to publication
DOI
Media Attached
File Attached
POPL-2019-Research-Papers
10:36 - 12:04:
Research Papers
- Gradual Types at
Sala I
Chair(s):
Nikhil Swamy
Microsoft Research
POPL-2019-Research-Papers
10:36 - 10:58
Talk
Type-Driven Gradual Security with References
TOPLAS
Matías Toro
University of Chile
,
Ronald Garcia
University of British Columbia
,
Éric Tanter
University of Chile & Inria Paris
DOI
Media Attached
File Attached
POPL-2019-Research-Papers
10:58 - 11:20
Talk
Gradual Type Theory
Max New
Northeastern University
,
Dan Licata
Wesleyan University
,
Amal Ahmed
Northeastern University, USA
Link to publication
DOI
Media Attached
File Attached
POPL-2019-Research-Papers
11:20 - 11:42
Talk
Gradual Parametricity, Revisited
Distinguished Paper
Matías Toro
University of Chile
,
Elizabeth Labrada
University of Chile
,
Éric Tanter
University of Chile & Inria Paris
Link to publication
DOI
Pre-print
Media Attached
File Attached
POPL-2019-Research-Papers
11:42 - 12:04
Talk
Live Functional Programming with Typed Holes
Cyrus Omar
University of Chicago
,
Ian Voysey
Carnegie Mellon University
,
Ravi Chugh
University of Chicago
,
Matthew Hammer
None
Link to publication
DOI
Pre-print
Media Attached
File Attached
POPL-2019-Research-Papers
13:45 - 14:51:
Research Papers
- Type Inference I at
Sala I
Chair(s):
Michael Hicks
University of Maryland, College Park
POPL-2019-Research-Papers
13:45 - 14:07
Talk
Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types
Joshua Dunfield
Queen's University, Kingston, Ontario
,
Neel Krishnaswami
Computer Laboratory, University of Cambridge
Link to publication
DOI
Media Attached
POPL-2019-Research-Papers
14:07 - 14:29
Talk
Abstracting Extensible Data Types; Or, Rows By Any Other Name
J. Garrett Morris
University of Kansas, USA
,
James McKinna
Link to publication
DOI
Media Attached
POPL-2019-Research-Papers
14:29 - 14:51
Talk
Polymorphic Symmetric Multiple Dispatch with Variance
Gyunghee Park
KAIST, Oracle Labs
,
Jaemin Hong
KAIST, South Korea
,
Guy L. Steele Jr.
Oracle Labs
,
Sukyoung Ryu
KAIST, South Korea
Link to publication
DOI
Media Attached
File Attached
POPL-2019-Research-Papers
15:21 - 16:49:
Research Papers
- Type Inference II at
Sala I
Chair(s):
Niki Vazou
IMDEA Software Institute
POPL-2019-Research-Papers
15:21 - 15:43
Talk
Dynamic Type Inference for Gradual Hindley–Milner Typing
Yusuke Miyazaki
Kyoto University
,
Taro Sekiyama
National Institute of Informatics
,
Atsushi Igarashi
Kyoto University, Japan
Link to publication
DOI
Pre-print
Media Attached
File Attached
POPL-2019-Research-Papers
15:43 - 16:05
Talk
Gradual Typing: A New Perspective
Giuseppe Castagna
CNRS - Université Paris Diderot, France
,
Victor Lanvin
IRIF, Université Paris Diderot, France
,
Tommaso Petrucciani
DIBRIS, Università di Genova, Italy & IRIF, Université Paris Diderot, France
,
Jeremy G. Siek
Indiana University, USA
Link to publication
DOI
Media Attached
File Attached
POPL-2019-Research-Papers
16:05 - 16:27
Talk
Intersection Types and Runtime Errors in the Pi-Calculus
Ugo Dal Lago
University of Bologna, Italy / Inria, France
,
Marc De Visme
ENS Lyon
,
Damiano Mazza
CNRS
,
Akira Yoshimizu
INRIA
Link to publication
DOI
Media Attached
File Attached
POPL-2019-Research-Papers
16:27 - 16:49
Talk
Principality and Approximation under Dimensional Bound
Andrej Dudenhefner
Technical University Dortmund
,
Jakob Rehof
Technical University Dortmund
Link to publication
DOI
Media Attached
File Attached
Fri 18 Jan
POPL-2019-Research-Papers
10:35 - 12:03:
Research Papers
- Dependent Types at
Sala I
Chair(s):
Andreas Abel
Gothenburg University
POPL-2019-Research-Papers
10:35 - 10:57
Talk
Higher Inductive Types in Cubical Computational Type Theory
Evan Cavallo
Carnegie Mellon University
,
Robert Harper
Link to publication
DOI
Pre-print
Media Attached
File Attached
POPL-2019-Research-Papers
10:57 - 11:19
Talk
Constructing Quotient Inductive-Inductive Types
Thorsten Altenkirch
University of Nottingham
,
Ambrus Kaposi
University of Nottingham
,
András Kovács
Eötvös Loránd University
Link to publication
DOI
Media Attached
File Attached
POPL-2019-Research-Papers
11:19 - 11:41
Talk
Definitional Proof-Irrelevance without K
Gaetan Gilbert
,
Jesper Cockx
Chalmers | University of Gothenburg
,
Matthieu Sozeau
Inria
,
Nicolas Tabareau
Inria
Link to publication
DOI
Media Attached
File Attached
POPL-2019-Research-Papers
11:41 - 12:03
Talk
Bisimulation as Path Type for Guarded Recursive Types
Rasmus Ejlers Møgelberg
IT University of Copenhagen
,
Niccolò Veltri
IT University of Copenhagen
Link to publication
DOI
Media Attached
File Attached
POPL-2019-Research-Papers
13:45 - 14:51:
Research Papers
- Semantics at
Sala I
Chair(s):
Noam Zeilberger
University of Birmingham, UK
POPL-2019-Research-Papers
13:45 - 14:07
Talk
Better Late Than Never: A Fully Abstract Semantics for Classical Processes
Wen Kokke
University of Edinburgh
,
Fabrizio Montesi
University of Southern Denmark
,
Marco Peressotti
University of Southern Denmark
Link to publication
DOI
Media Attached
POPL-2019-Research-Papers
14:07 - 14:29
Talk
Diagrammatic Algebra: From Linear to Concurrent Systems
Filippo Bonchi
University of Pisa
,
Joshua Holland
University of Southampton
,
Robin Piedeleu
University of Oxford
,
Pawel Sobocinski
University of Southampton
,
Fabio Zanasi
University College London
Link to publication
DOI
Media Attached
POPL-2019-Research-Papers
14:29 - 14:51
Talk
Fixpoint Games on Continuous Lattices
Paolo Baldan
University of Padova
,
Barbara König
University of Duisburg-Essen
,
Christina Mika-Michalski
University of Duisburg-Essen
,
Tommaso Padoan
University of Padova
Link to publication
DOI
Media Attached
File Attached
POPL-2019-Research-Papers
15:21 - 16:27:
Research Papers
- Security and Information Flow at
Sala I
Chair(s):
David Walker
Princeton University
POPL-2019-Research-Papers
15:21 - 15:43
Talk
LWeb: Information Flow Security for Multi-Tier Web Applications
James Parker
University of Maryland
,
Niki Vazou
IMDEA Software Institute
,
Michael Hicks
University of Maryland, College Park
Link to publication
DOI
Media Attached
File Attached
POPL-2019-Research-Papers
15:43 - 16:05
Talk
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back
Distinguished Paper
Marco Vassena
Chalmers University of Technology
,
Alejandro Russo
Chalmers University of Technology, Sweden
,
Deepak Garg
Max Planck Institute for Software Systems
,
Vineet Rajani
MPI-SWS
,
Deian Stefan
University of California San Diego
Link to publication
DOI
Media Attached
File Attached
POPL-2019-Research-Papers
16:05 - 16:27
Talk
Modalities, Cohesion, and Information Flow
G. A. Kavvos
Wesleyan University
Link to publication
DOI
Pre-print
File Attached
POPL-2019-Research-Papers
16:37 - 17:43:
Research Papers
- Verified Compilation and Concurrency at
Sala I
Chair(s):
Michael Greenberg
Pomona College
POPL-2019-Research-Papers
16:37 - 16:59
Talk
A Calculus for Esterel: If can, can. If no can, no can.
Spencer P. Florence
Northwestern University, USA
,
Shu-Hung You
Northwestern University, USA
,
Jesse A. Tov
Northwestern University, Department of Electrical Engineering and Computer Science
,
Robby Findler
Northwestern University, USA
Link to publication
DOI
Media Attached
File Attached
POPL-2019-Research-Papers
16:59 - 17:21
Talk
An Abstract Stack Based Approach to Verified Compositional Compilation to Machine Code
Yuting Wang
Yale University
,
Pierre Wilke
Yale University
,
Zhong Shao
Yale University
Link to publication
DOI
Media Attached
File Attached
POPL-2019-Research-Papers
17:21 - 17:43
Talk
A Verified, Efficient Embedding of a Verifiable Assembly Language
Aymeric Fromherz
Carnegie Mellon University
,
Nick Giannarakis
Princeton University
,
Chris Hawblitzel
Microsoft Research
,
Bryan Parno
,
Aseem Rastogi
Microsoft Research
,
Nikhil Swamy
Microsoft Research
Link to publication
DOI
Media Attached
File Attached
Wed 16 Jan 2019
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Sala I
POPL Research Papers
Reasoning about Probabilistic Programs
10:35 - 12:03
POPL Research Papers
Probabilistic Programming and Semantics
13:45 - 14:51
POPL Research Papers
Machine Learning and Linear Algebra
15:21 - 16:27
POPL Research Papers
Quantum Programming
16:37 - 17:43
POPL Research Papers
Wednesday Evening Program I
18:00 - 18:30
Thu 17 Jan 2019
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Sala I
POPL Research Papers
Type Abstraction and Effects
09:00 - 10:06
POPL Research Papers
Gradual Types
10:36 - 12:04
POPL Research Papers
Type Inference I
13:45 - 14:51
POPL Research Papers
Type Inference II
15:21 - 16:49
Fri 18 Jan 2019
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Sala I
POPL Research Papers
Dependent Types
10:35 - 12:03
POPL Research Papers
Semantics
13:45 - 14:51
POPL Research Papers
Security and Information Flow
15:21 - 16:27
POPL Research Papers
Verified Compilation and Concurrency
16:37 - 17:43
Wed 16 Jan 2019
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
Sala I
POPL Research Papers
Formal Verification of Higher-Order Probabilistic Programs
10:35 - 10:57
POPL Research Papers
A Separation Logic for Concurrent Randomized Programs
10:57 - 11:19
POPL Research Papers
Quantitative Separation Logic - A Logic for Reasoning about Probabilist ...
11:19 - 11:41
POPL Research Papers
Trace Abstraction Modulo Probability
11:41 - 12:03
POPL Research Papers
Probabilistic Programming with Densities in SlicStan: Efficient, Flexib ...
13:45 - 14:07
POPL Research Papers
Distinguished Paper
A Domain Theory for Statistical Probabilistic Programming
14:07 - 14:29
POPL Research Papers
Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling
14:29 - 14:51
POPL Research Papers
code2vec: Learning Distributed Representations of Code
15:21 - 15:43
POPL Research Papers
An Abstract Domain for Certifying Neural Networks
15:43 - 16:05
POPL Research Papers
Closed Forms for Numerical Loops
16:05 - 16:27
POPL Research Papers
Quantitative Robustness Analysis of Quantum Programs
16:37 - 16:59
POPL Research Papers
Game Semantics for Quantum Programming
16:59 - 17:21
POPL Research Papers
Quantum Relational Hoare Logic
17:21 - 17:43
POPL Research Papers
Microsoft Research: Engage, Verify, Open
18:00 - 18:30
Thu 17 Jan 2019
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Sala I
POPL Research Papers
Abstraction-Safe Effect Handlers via Tunneling
09:00 - 09:22
POPL Research Papers
Abstracting Algebraic Effects
09:22 - 09:44
POPL Research Papers
Fully Abstract Module Compilation
09:44 - 10:06
POPL Research Papers
TOPLAS
Type-Driven Gradual Security with References
10:36 - 10:58
POPL Research Papers
Gradual Type Theory
10:58 - 11:20
POPL Research Papers
Distinguished Paper
Gradual Parametricity, Revisited
11:20 - 11:42
POPL Research Papers
Live Functional Programming with Typed Holes
11:42 - 12:04
POPL Research Papers
Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorph ...
13:45 - 14:07
POPL Research Papers
Abstracting Extensible Data Types; Or, Rows By Any Other Name
14:07 - 14:29
POPL Research Papers
Polymorphic Symmetric Multiple Dispatch with Variance
14:29 - 14:51
POPL Research Papers
Dynamic Type Inference for Gradual Hindley–Milner Typing
15:21 - 15:43
POPL Research Papers
Gradual Typing: A New Perspective
15:43 - 16:05
POPL Research Papers
Intersection Types and Runtime Errors in the Pi-Calculus
16:05 - 16:27
POPL Research Papers
Principality and Approximation under Dimensional Bound
16:27 - 16:49
Fri 18 Jan 2019
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Sala I
POPL Research Papers
Higher Inductive Types in Cubical Computational Type Theory
10:35 - 10:57
POPL Research Papers
Constructing Quotient Inductive-Inductive Types
10:57 - 11:19
POPL Research Papers
Definitional Proof-Irrelevance without K
11:19 - 11:41
POPL Research Papers
Bisimulation as Path Type for Guarded Recursive Types
11:41 - 12:03
POPL Research Papers
Better Late Than Never: A Fully Abstract Semantics for Classical Processes
13:45 - 14:07
POPL Research Papers
Diagrammatic Algebra: From Linear to Concurrent Systems
14:07 - 14:29
POPL Research Papers
Fixpoint Games on Continuous Lattices
14:29 - 14:51
POPL Research Papers
LWeb: Information Flow Security for Multi-Tier Web Applications
15:21 - 15:43
POPL Research Papers
Distinguished Paper
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back
15:43 - 16:05
POPL Research Papers
Modalities, Cohesion, and Information Flow
16:05 - 16:27
POPL Research Papers
A Calculus for Esterel: If can, can. If no can, no can.
16:37 - 16:59
POPL Research Papers
An Abstract Stack Based Approach to Verified Compositional Compilation ...
16:59 - 17:21
POPL Research Papers
A Verified, Efficient Embedding of a Verifiable Assembly Language
17:21 - 17:43
x
Fri 6 Dec 09:56