Affiliation:
1. Imperial College London, UK
2. Dirac, Sweden
3. Uppsala University, Sweden
Funder
Svenska Forskningsrådet Formas
FP7 Information and Communication Technologies
Engineering and Physical Sciences Research Council
Swedish research council
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Encore: Coda;Lecture Notes in Computer Science;2024
2. Dargent: A Silver Bullet for Verified Data Layout Refinement;Proceedings of the ACM on Programming Languages;2023-01-09
3. Automatic Array Transformation to Columnar Storage at Run Time;Proceedings of the 19th International Conference on Managed Programming Languages and Runtimes;2022-09-14
4. L-QoCo;Proceedings of the 59th ACM/IEEE Design Automation Conference;2022-07-10
5. Programming and execution models for parallel bounded exhaustive testing;Proceedings of the ACM on Programming Languages;2021-10-20