Papers Digest Topics Labs Collections FAQ

Track papers across labs, topics, and trends.

Papers Digest Topics Labs Saved

Search

Search papers, labs, and topics across Lattice.

Lattice AI Lattice Medical Lattice Physics Lattice Chemistry Lattice Maths Lattice Robotics Lattice Biology

Built by Flynn Lachendro·𝕏 / Twitter·RSS··FAQ·Glossary·Privacy

William Mansky

Papers on Lattice

1

Total citations

0

Topics

2

h-index

12

Research focus

Code Generation & Program Synthesis (1)Distributed Systems & Hardware (1)

Frequent co-authors

Ke Du (1)Anshu Sharma (1)Liyi Li (1)

Papers (1)

May 26, 2026

Ke Du +3May 26, 2026

A Formal Semantics of C with OpenMP Parallelism (Extended Version)

Guaranteeing data-race-free execution for C code with OpenMP directives

Ke Du, Anshu Sharma, Liyi Li +1

Code Generation & Program Synthesis Distributed Systems & Hardware