Implicit self-adjusting computation for purely functional programs
Yan Chen
,
Joshua Dunfield
,
Matthew A. Hammer
,
Umut A. Acar
Journal of Functional Programming , 2014, 24 (1), pp.56-112
Journal articles
hal-01100346v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
RustBelt Meets Relaxed Memory
Hoang-Hai Dang
,
Jacques-Henri Jourdan
,
Jan-Oliver Kaiser
,
Derek Dreyer
Conference papers
hal-02351793v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The Essence of Higher-Order Concurrent Separation Logic
Robbert Krebbers
,
Ralf Jung
,
Aleš Bizjak
,
Jacques-Henri Jourdan
,
Derek Dreyer
,
et al.
Conference papers
hal-01633133v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Trillium: Unifying Refinement and Higher-Order Distributed Separation Logic
Amin Timany
,
Simon Oddershede Gregersen
,
Léo Stefanesco
,
Léon Gondelman
,
Abel Nieto
,
et al.
2022
Preprints, Working Papers, ...
hal-03526284v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Proving Correctness of Highly-Concurrent Linearisable Objects
Viktor Vafeiadis
,
Maurice Herlihy
,
Tony Car Hoare Hoare
,
Marc Shapiro
PPoPP 2006 - 11th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming , Mar 2006, New York, United States. pp.129--136,
⟨10.1145/1122971.1122992⟩
Conference papers
hal-01248204v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Data Path Queries over Embedded Graph Databases
Diego Figueira
,
Artur Jeż
,
Anthony W Lin
Symposium on Principles of Database Systems (PODS) , Jun 2022, Philadelphia, United States
Conference papers
hal-03684553v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The boundedness and zero isolation problems for weighted automata over nonnegative rationals
Wojciech Czerwiński
,
Engel Lefaucheux
,
Filip Mazowiecki
,
David Purser
,
Markus A Whiteland
LICS 2022 - 37th Annual ACM/IEEE Symposium on Logic in Computer Science , Aug 2022, Haifa, Israel.
⟨10.1145/3531130⟩
Conference papers
hal-03708876v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Low-Latency Sliding Window Algorithms for Formal Languages
Moses Ganardi
,
Louis Jachiet
,
Markus Lohrey
,
Thomas Schwentick
42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2022) , Dec 2022, Chennai, India.
⟨10.4230/LIPIcs.FSTTCS.2022.38⟩
Conference papers
hal-03925398v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem
Nathanaël Fijalkow
,
Pierre Ohlmann
,
Joël Ouaknine
,
Amaury Pouly
,
James Worrell
Journal articles
hal-02503357v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Safe Systems Programming in Rust: The Promise and the Challenge
Ralf Jung
,
Jacques-Henri Jourdan
,
Robbert Krebbers
,
Derek Dreyer
Journal articles
hal-03021536v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On Reachability Problems for Low-Dimensional Matrix Semigroups
Thomas Colcombet
,
James Worrell
,
Joel Ouaknine
,
Pavel Semukhin
Conference papers
hal-02415432v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Analysis of Recurrent Neural Networks via Property-Directed Verification of Surrogate Models
Igor Khmelnitsky
,
Daniel Neider
,
Rajarshi Roy
,
Xuan Xie
,
Benoit Barbot
,
et al.
International Journal on Software Tools for Technology Transfer , In press
Journal articles
hal-03794442v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Bounded underapproximations
Pierre Ganty
,
Rupak Majumdar
,
Benjamin Monmege
Journal articles
hal-00776791v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A unification algorithm for Coq featuring universe polymorphism and overloading
Beta Ziliani
,
Matthieu Sozeau
Conference papers
hal-01248804v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Leaving your ancestral neighborhood makes you leave your ancestral ecosystem functioning: Decomposition of oak litter
Xu Pan
,
Benjamin Yguel
,
Phil Murray
,
Matty Berg
,
Olaf Butenschoen
,
et al.
42nd Annual Meeting of the Ecological Society of Germany, Austria and Switzerland , Sep 2012, Lüneburg, Germany
Conference papers
hal-01130333v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Verifying Cloud Services: Present and Future
Sara Bouchenak
,
Gregory Chockler
,
Hana Chockler
,
Gabriela Gheorghe
,
Nuno Santos
,
et al.
Journal articles
hal-01265437v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The Coq Proof Assistant, version 8.7.1
The Coq Development Team
Other publications
hal-01673716v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Towards Designing Cost-Optimal Policies to Utilize IaaS Clouds with Online Learning
Xiaohu Wu
,
Patrick Loiseau
,
Esa Hyytiä
Journal articles
hal-02303480v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
RustBelt: Securing the Foundations of the Rust Programming Language
Ralf Jung
,
Jacques-Henri Jourdan
,
Robbert Krebbers
,
Derek Dreyer
45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018) , Jan 2018, Los Angeles, CA, United States. pp.66,
⟨10.1145/3158154⟩
Conference papers
hal-01633165v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On fair selection in the presence of implicit and differential variance
Vitalii Emelianov
,
Nicolas Gast
,
Krishna P Gummadi
,
Patrick Loiseau
Journal articles
hal-03398739v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Verified Security of Merkle-Damgaard
Michael Backes
,
Gilles Barthe
,
Matthias Berg
,
Benjamin Grégoire
,
Cesar Kunz
,
et al.
25th IEEE Computer Security Foundations Symposium, CSF 2012 , Jun 2012, Cambridge, MA, United States. pp.354-368,
⟨10.1109/CSF.2012.14⟩
Conference papers
hal-00765883v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem
Nathanaël Fijalkow
,
Pierre Ohlmann
,
Joël Ouaknine
,
Amaury Pouly
,
James Worrell
Conference papers
hal-03410679v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Extending Intel-x86 Consistency and Persistency
Azalea Raad
,
Luc Maranget
,
Viktor Vafeiadis
POPL 2022 - Symposium on Principles of Programming Languages , Jan 2022, Philadelphia, United States.
⟨10.1145/3498683⟩
Conference papers
hal-03426997v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Dissecting demand response mechanisms: The role of consumption forecasts and personalized offers
Alberto Benegiamo
,
Patrick Loiseau
,
Giovanni Neglia
Journal articles
hal-01955356v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Transfinite Knuth-Bendix Order for Lambda-Free Higher-Order Terms
Heiko Becker
,
Jasmin Christian Blanchette
,
Uwe Waldmann
,
Daniel Wand
Conference papers
hal-01592186v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Many Suspensions, Many Problems: A Review of Self-Suspending Tasks in Real-Time Systems
Jian-Jia Chen
,
Geoffrey Nelissen
,
Wen-Hung Huang
,
Maolin Yang
,
Bjorn Brandenburg
,
et al.
Journal articles
hal-03204282v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Executable Rounds: a Programming Abstraction for Fault-Tolerant Protocols
Cezara Dragoi
,
Josef Widder
,
Damien Zufferey
2019
Preprints, Working Papers, ...
hal-02317446v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Auditing Offline Data Brokers via Facebook's Advertising Platform
Giridhari Venkatadri
,
Piotr Sapiezynski
,
Elissa M Redmiles
,
Alan Mislove
,
Oana Goga
,
et al.
Conference papers
hal-02069470v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation
Carmine Abate
,
Roberto Blanco
,
Deepak Garg
,
Catalin Hritcu
,
Marco Patrignani
,
et al.
CSF 2019 - 32nd IEEE Computer Security Foundations Symposium , Jun 2019, Hoboken, United States. pp.256-271,
⟨10.1109/CSF.2019.00025⟩
Conference papers
hal-02398915v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
MoSeL: a general, extensible modal framework for interactive proofs in separation logic
Robbert Krebbers
,
Jacques-Henri Jourdan
,
Ralf Jung
,
Joseph Tassarotti
,
Jan-Oliver Kaiser
,
et al.
International Conference on Functional Programming (ICFP 2018) , ACM, Sep 2018, St Louis, MO, United States. pp.77,
⟨10.1145/3236772⟩
Conference papers
hal-01898522v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More