Untangling Mechanized Proofs

Untangling Mechanized Proofs

SLE ’20, November 16–17, 2020, Virtual, USA

Bibliographic Details
Main Author:	Pit-Claudel, Cl?ment
Other Authors:	Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format:	Article
Language:	English
Published:	ACM\|Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering 2025
Online Access:	https://hdl.handle.net/1721.1/158169

Similar Items

Specification and Verification of Strong Timing Isolation of Hardware Enclaves
by: Lau, Stella, et al.
Published: (2025)

Untangling complexity in ASEAN air traffic management through time-varying queuing models
by: Itoh, Eri, et al.
Published: (2023)

Untangling Carbon-free Energy Attribution and Carbon Intensity Estimation for Carbon-aware Computing
by: Maji, Diptyaroop, et al.
Published: (2024)

Live Verification in an Interactive Proof Assistant
by: Gruetter, Samuel, et al.
Published: (2024)

SNARGs under LWE via Propositional Proofs
by: Jin, Zhengzhong, et al.
Published: (2024)

Mechanised Hypersafety Proofs about Structured Data
by: Gladshtein, Vladimir, et al.
Published: (2024)

A proof of the Nisan-Ronen conjecture --- an overview
by: Christodoulou, G, et al.
Published: (2024)

Nonlinear self-confined plasmonic beams: experimental proof
by: Kuriakose, T, et al.
Published: (2020)

Formal Privacy Proof of Data Encoding: The Possibility and Impossibility of Learnable Encryption
by: Xiao, Hanshen, et al.
Published: (2025)

Viscoelastic material characterization and novel damper development for sound proof HDD
by: Yeo, Hui Jie.
Published: (2009)

Incentivizing consensus propagation in proof-of-stake based consortium blockchain networks
by: Kang, Jiawen, et al.
Published: (2020)

Water rapid hardening polyurethane for minimally invasive surgery: proof-of-concept
by: Neo, Jordon Ting Xuan
Published: (2024)

Preservice and novice teachers’ knowledge on preformal proofs: triangle postulate as an example
by: Leung, K-CI, et al.
Published: (2017)

Foundational Integration Verification of a Cryptographic Server
by: Erbsen, Andres, et al.
Published: (2024)

Proof of Travel for Trust-Based Data Validation in V2I Communication
by: Suo, Dajiang, et al.
Published: (2024)

Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq
by: Gross, Jason, et al.
Published: (2024)

What could happen, will happen? A mathematical proof and an application to the creation of our sub-universe
by: Ng, Yew-Kwang
Published: (2014)

Gaussian processes for probabilistic estimates of earthquake ground shaking: a 1-D proof-of-concept
by: Scivier, SA, et al.
Published: (2024)

Important mathematical competences for students in the age of generative artificial intelligence: proof comprehension and evaluation, and ChatGPT
by: Stylianides, AJ, et al.
Published: (2024)

Toward curing neurological autoimmune disorders: biomarkers, immunological mechanisms, and therapeutic targets
by: Segal, Y, et al.
Published: (2025)

Enhancing care quality and accessibility through digital technology-supported decentralisation of hypertension and diabetes management: a proof-of-concept study in rural Bangladesh
by: Xie, Wubin, et al.
Published: (2024)

Perceptions of meteorological phenomena in ancient Egypt
by: Jensen, CL
Published: (2024)

Information structure and syntactic choices in Kelabit
by: Hemmings, CL
Published: (2024)

Local Community Development through community-based tourism management: a Case Study of Mae Kampong Village
by: Jitpakdee, Pit, et al.
Published: (2016)

Exposure therapy with personalized real-time arousal detection and feedback to alleviate social anxiety symptoms in an analogue adult sample : pilot proof-of-concept randomized controlled trial
by: Lin, Bernice Xiangting, et al.
Published: (2020)

A co-produced online cultural experience compared to a typical museum website for mental health in people aged 16–24: a proof-of-principle randomised controlled trial
by: Syed Sheriff, RJ, et al.
Published: (2022)

The limits of liberalization: WTO entry and Chinese state-owned firms
by: Tan, Y, et al.
Published: (2023)

Labour pains: mothers and motherhood on the British left in the twentieth century
by: Riley, CL, et al.
Published: (2025)

MECHANICS OF MATERIALS
by: Ferdinand P. Beer, E. Russell Johnston, Jr., John T. Dewolf
Published: (2002)

Quantum Mechanics
by: R. K. Srivastava
Published: (2007)

Mechanism behind the controlled generation of liquid metal nanoparticles by mechanical agitation
by: Nor-Azman, Nur-Adania, et al.
Published: (2024)

Mechanisms of cancer transdifferentiation
by: Lee, Jane Jia Hui
Published: (2022)

Mechanical characterization of an endoprosthesis.
by: Tan, Xue Yu.
Published: (2009)

Mechanism of dropwise condensation
by: Umur, Aydin
Published: (2008)

An investigation of adhesion mechanisms
by: Yee, Geary Yee.
Published: (2024)

Perspectives in Fluid Mechanics /
by: Coles, Donald, editor 226175
Published: (1988)

Mechanisms in Heterogeneous Catalysis /
by: Santen, R. A. van (Rutger A.), author 419818, et al.

Introduction to Quantum Mechanics
by: David J. Griffith
Published: (2005)

Engineering mechanics : Dynamics /
by: Hibbeler, R. C., author 301582
Published: (2010)

Nonlinear dynamic analysis of a piezoelectric energy harvester with mechanical plucking mechanism
by: Noh, Jinhong, et al.
Published: (2023)