Cited By
View all- Neves DPaulino HHong JBures MPark JCerny T(2022)Condition-based synchronization in data-centric concurrency controlProceedings of the 37th ACM/SIGAPP Symposium on Applied Computing10.1145/3477314.3507120(1268-1275)Online publication date: 25-Apr-2022
- Bourgeat TPit-Claudel CChlipala AArvind Donaldson ATorlak E(2020)The essence of Bluespec: a core language for rule-based hardware designProceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3385412.3385965(243-257)Online publication date: 11-Jun-2020
- Duarte RDu Bois APilla MCavalheiro GReiser R(2018)Comparing the performance of concurrent hash tables implemented in HaskellScience of Computer Programming10.1016/j.scico.2018.06.004Online publication date: Jul-2018
- Show More Cited By