Filter your results
- 19
- 4
- 12
- 4
- 2
- 2
- 2
- 1
- 1
- 22
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 3
- 6
- 5
- 1
- 22
- 1
- 22
- 4
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 23
- 13
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
23 Results
|
|
sorted by
|
|
Bringing Theorem Proving to the (sonic) Masses2015
Preprints, Working Papers, ...
hal-01254456v1
|
||
|
La preuve de théorèmes pour les masses (soniques)Revue Francophone d'Informatique et Musique, 2018, N°6, 14 p
Journal articles
hal-01877004v1
|
||
|
Mutation Analysis for Coq34th International Conference on Automated Software Engineering (ASE 2019, Nov 2019, San Diego, United States
Conference papers
hal-02434236v1
|
||
Sensitivity analysis using type-based constraintsFPCDSL - 1st annual workshop on Functional programming concepts in domain-specific languages - 2013, 2013, Boston, BA, USA, United States. pp.43--50, ⟨10.1145/2505351.2505353⟩
Conference papers
hal-00909341v1
|
|||
|
Towards Principled Compilation of Ethereum Smart Contracts (SoK)10th IFIP International Conference on New Technologies, Mobility and Security, NTMS 2019, Jun 2019, Iles Canaries, Spain. ⟨10.1109/NTMS.2019.8763856⟩
Conference papers
hal-02434176v1
|
||
|
A Foundational Framework for the Specification and Verification of Mechanism DesignEC'22 - Twenty-Third ACM Conference on Economics and Computation, Jul 2022, Colorado, United States.
Poster communications
hal-03715847v1
|
||
|
SerAPI: Machine-Friendly, Data-Centric Serialization for COQ2016
Preprints, Working Papers, ...
hal-01384408v1
|
||
Bringing Theorem Proving to the (Sonic) MassesLaurent Pottier. Innovative Tools and Methods to Teach Music and Signal Processing, Presses des Mines, In press
Book sections
hal-01702717v1
|
|||
|
The W-calculus: A Synchronous Framework for the Verified Modelling of Digital Signal Processing AlgorithmsFARM 2021 - 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design, Aug 2021, Virtual, South Korea. ⟨10.1145/3471872.3472970⟩
Conference papers
hal-03322174v2
|
||
|
A Foundational Framework for the Specification and Verification of Mechanism Design[Research Report] E-458.PDF, MINES ParisTech - PSL Research University. 2022
Reports
hal-03666871v1
|
||
|
Certified Graph View Maintenance with Regular DatalogTheory and Practice of Logic Programming, 2018, 34th International Conference on Logic Programming, 18 (3-4), pp.372-389. ⟨10.1017/S1471068418000224⟩
Journal articles
hal-01932818v1
|
||
|
Adventures in the (not so) Complex SpaceThe 7th Coq Workshop, Jun 2015, Sophia Antipolis, France
Conference papers
hal-01251147v1
|
||
|
jsCoq: Towards Hybrid Theorem Proving Interfaces12th International Workshop on User Interfaces for Theorem Provers (UITP '16), Jul 2016, Coimbra, Portugal. pp.15-27, ⟨10.4204/EPTCS.239.2⟩
Conference papers
hal-01425752v2
|
||
Dual Query: Practical Private Query Release for High Dimensional DataJournal of Privacy and Confidentiality, 2016, 7 (Issue 2, Article N°4), pp.53 - 77
Journal articles
hal-01702734v1
|
|||
|
Verification of Faust Signal Processing Programs in COQThe 1st International Workshop on Coq for PL (Co-located with POPL), Jan 2015, Mumbai, India
Conference papers
hal-01108173v1
|
||
|
A Taste of Sound Reasoning in FaustThe Linux Audio Conference (LAC 2015) , Johannes Gutenberg University (JGU), Apr 2015, Mainz, Germany
Conference papers
hal-01251069v1
|
||
|
Blockchain Performance Benchmarking: a VCG Auction Smart Contract Use Case for Ethereum and Tezos (Short Paper)FAB 2021 - Fourth International Symposium on Foundations and Applications of Blockchain, University of California, Davis, May 2021, Davis / Virtual, United States
Conference papers
hal-03210222v1
|
||
|
Computer-Aided Verification for Mechanism DesignThe 12th Conference on Web and Internet Economics (WINE 2016), Dec 2016, Montreal, Canada. pp.279 - 293, ⟨10.1007/978-3-662-54110-4_20⟩
Conference papers
hal-01446918v1
|
||
|
Differentially Private Bayesian ProgrammingThe 23rd ACM Conference on Computer and Communications Security, Oct 2016, Vienne, Austria. pp.68-79 ⟨10.1145/2976749.2978371⟩
Conference papers
hal-01446970v1
|
||
Constraint logic programming with a relational machineFormal Aspects of Computing, 2016, 29 (Issue 1), pp.97-124. ⟨10.1007/s00165-016-0369-z⟩
Journal articles
hal-01433373v1
|
|||
|
Impulse-Response and CAD-Model-Based Physical Modeling in FaustLinux Audio Conférence 2017, May 2017, Saint Etienne, France. pp.151-153
Conference papers
hal-01710232v1
|
||
|
Computer-aided Verification in Mechanism Design[Research Report] MINES ParisTech. 2015
Reports
hal-01260071v1
|
||
|
Impulse-Response and CAD-Model-Based Physical Modeling in FAUSTLinux Audio Conférence 2017, May 2017, Saint Etienne, France. 2017
Poster communications
hal-01526607v2
|