299 citations
- American Rock Mechanics AssociationUS2 papers
- ETH ZurichCH2 papers
- Imperial College LondonGB2 papers
- Newcastle UniversityGB2 papers
- N. I. Lobachevsky State University of Nizhny NovgorodRU2 papers
- University College LondonGB2 papers
- University of BristolGB2 papers
- University of CambridgeGB2 papers
- University of LeicesterGB2 papers
- Beijing Institute of TechnologyCN1 paper
- Eindhoven University of TechnologyNL1 paper
- Fraunhofer Institute for Experimental Software EngineeringDE1 paper
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2024★ 3 cited
Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
Luke Geeson, James Brotherston, Wilco Dijkstra +4
The correctness of complex software depends on the correctness of both the source code and the compilers that generate corresponding binary code. Compilers must do more than preser…
cs.PL2017★ 17 cited
The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++
Nathan Chong, Tyler Sorensen, John Wickerson
Weak memory models provide a complex, system-centric semantics for concurrent programs, while transactional memory (TM) provides a simpler, programmer-centric semantics. Both have…
cs.PL2013★ 10 cited
PENCIL: Towards a Platform-Neutral Compute Intermediate Language for DSLs
Riyadh Baghdadi, Albert Cohen, Serge Guelton +9
We motivate the design and implementation of a platform-neutral compute intermediate language (PENCIL) for productive and performance-portable accelerator programming.