357 citations
- National University of SingaporeSG21 papers
- Centre for Quantum TechnologiesSG5 papers
- UMI MajuLabSG4 papers
- Université Bourgogne Franche-ComtéFR4 papers
- Cornell UniversityUS3 papers
- European Southern ObservatoryCL3 papers
- International Centre for Radio Astronomy ResearchAU3 papers
- National Radio Astronomy ObservatoryUS3 papers
- The University of Texas at AustinUS3 papers
- Yale UniversityUS3 papers
- Australian National UniversityAU2 papers
- Instituto de Astrofísica de CanariasES2 papers
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2024★ 1 cited
Concurrent Data Structures Made Easy (Extended Version)
Callista Le, Kiran Gopinathan, Koon Wen Lee +2
Design of an efficient thread-safe concurrent data structure is a balancing act between its implementation complexity and performance. Lock-based concurrent data structures, which…
cs.PL2020
Compiling a Higher-Order Smart Contract Language to LLVM
Vaivaswatha Nagaraj, Jacob Johannsen, Anton Trunov +3
Scilla is a higher-order polymorphic typed intermediate level language for implementing smart contracts. In this talk, we describe a Scilla compiler targeting LLVM, with a focus on…