Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

113 Results
Structure: Internal structure identifier : 105111

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
Image document

RustBelt Meets Relaxed Memory

Hoang-Hai Dang , Jacques-Henri Jourdan , Jan-Oliver Kaiser , Derek Dreyer
POPL, Jan 2020, New Orleans, United States. ⟨10.1145/3371101⟩
Conference papers hal-02351793v1
Image document

The Essence of Higher-Order Concurrent Separation Logic

Robbert Krebbers , Ralf Jung , Aleš Bizjak , Jacques-Henri Jourdan , Derek Dreyer , et al.
European Symposium on Programming (ESOP) 2017., Apr 2017, Uppsala, Sweden. ⟨10.1007/978-3-662-54434-1_26⟩
Conference papers hal-01633133v1

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
Image document

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
Image document

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
Image document

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

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
Image document

Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem

Nathanaël Fijalkow , Pierre Ohlmann , Joël Ouaknine , Amaury Pouly , James Worrell
Theory of Computing Systems, 2019, 63 (5), pp.1027-1048. ⟨10.1007/s00224-019-09913-3⟩
Journal articles hal-02503357v1
Image document

Safe Systems Programming in Rust: The Promise and the Challenge

Ralf Jung , Jacques-Henri Jourdan , Robbert Krebbers , Derek Dreyer
Communications of the ACM, 2021, 64 (4), pp.144-152. ⟨10.1145/3418295⟩
Journal articles hal-03021536v1

On Reachability Problems for Low-Dimensional Matrix Semigroups

Thomas Colcombet , James Worrell , Joel Ouaknine , Pavel Semukhin
46th International Colloquium on Automata, Languages, and Programming (ICALP 2019), Jul 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.44⟩
Conference papers hal-02415432v1

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

Bounded underapproximations

Pierre Ganty , Rupak Majumdar , Benjamin Monmege
Formal Methods in System Design, 2012, 40 (2), pp.206-231. ⟨10.1007/s10703-011-0136-y⟩
Journal articles hal-00776791v1

A unification algorithm for Coq featuring universe polymorphism and overloading

Beta Ziliani , Matthieu Sozeau
20th ACM SIGPLAN International Conference on Functional Programming, Sep 2015, Vancouver, Canada. ⟨10.1145/2784731.2784751⟩
Conference papers hal-01248804v1

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

Verifying Cloud Services: Present and Future

Sara Bouchenak , Gregory Chockler , Hana Chockler , Gabriela Gheorghe , Nuno Santos , et al.
Operating Systems Review, 2013, 47 (2), pp.6-19. ⟨10.1145/2506164.2506167⟩
Journal articles hal-01265437v1

The Coq Proof Assistant, version 8.7.1

The Coq Development Team
Other publications hal-01673716v1
Image document

Towards Designing Cost-Optimal Policies to Utilize IaaS Clouds with Online Learning

Xiaohu Wu , Patrick Loiseau , Esa Hyytiä
IEEE Transactions on Parallel and Distributed Systems, 2020, 31 (3), pp.501--514. ⟨10.1109/TPDS.2019.2935199⟩
Journal articles hal-02303480v1
Image document

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
Image document

On fair selection in the presence of implicit and differential variance

Vitalii Emelianov , Nicolas Gast , Krishna P Gummadi , Patrick Loiseau
Artificial Intelligence, 2021, 302, pp.1-20. ⟨10.1016/j.artint.2021.103609⟩
Journal articles hal-03398739v1
Image document

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

Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem

Nathanaël Fijalkow , Pierre Ohlmann , Joël Ouaknine , Amaury Pouly , James Worrell
Symposium on Theoretical Aspects of Computer Science, STACS, 2017, NA, Germany. ⟨10.4230/LIPIcs.STACS.2017.29⟩
Conference papers hal-03410679v1
Image document

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
Image document

Dissecting demand response mechanisms: The role of consumption forecasts and personalized offers

Alberto Benegiamo , Patrick Loiseau , Giovanni Neglia
Sustainable Energy, Grids and Networks, 2018, 16, pp.156-166. ⟨10.1016/j.segan.2018.07.005⟩
Journal articles hal-01955356v1
Image document

A Transfinite Knuth-Bendix Order for Lambda-Free Higher-Order Terms

Heiko Becker , Jasmin Christian Blanchette , Uwe Waldmann , Daniel Wand
CADE-26 - 26th International Conference on Automated Deduction, Aug 2017, Gothenburg, Sweden. pp.432-453, ⟨10.1007/978-3-319-63046-5_27⟩
Conference papers hal-01592186v1

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.
Real-Time Systems, 2018, 55, ⟨10.1007/s11241-018-9316-9⟩
Journal articles hal-03204282v1
Image document

Executable Rounds: a Programming Abstraction for Fault-Tolerant Protocols

Cezara Dragoi , Josef Widder , Damien Zufferey
2019
Preprints, Working Papers, ... hal-02317446v1
Image document

Auditing Offline Data Brokers via Facebook's Advertising Platform

Giridhari Venkatadri , Piotr Sapiezynski , Elissa M Redmiles , Alan Mislove , Oana Goga , et al.
The Web Conference 2019, May 2019, San Fransisco, United States. ⟨10.1145/3308558.3313666⟩
Conference papers hal-02069470v1

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
Image document

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