关注
Timothy Zakian
Timothy Zakian
在 cs.ox.ac.uk 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Move: A language with programmable resources
S Blackshear, E Cheng, DL Dill, V Gao, B Maurer, T Nowacki, A Pott, ...
Libra Assoc, 1, 2019
732019
Distributed digital ledger transaction network for flexible, lazy deletion of data stored within an authenticated data structure
SH Blackshear, BD Maurer, TAK Zakian
US Patent 11,249,947, 2022
232022
Concurrent Cilk: Lazy Promotion from Tasks to Threads in C/C++
CS Zakian, TAK Zakian, A Kulkarni, B Chamith, RR Newton
Languages and Compilers for Parallel Computing: 28th International Workshop …, 2016
222016
Reactive key-loss protection in blockchains
S Blackshear, K Chalkias, P Chatzigiannis, R Faizullabhoy, ...
Financial Cryptography and Data Security. FC 2021 International Workshops …, 2021
122021
Incrementalization of vertex-centric programs
TAK Zakian, LAR Capelli, Z Hu
2019 IEEE International Parallel and Distributed Processing Symposium (IPDPS …, 2019
122019
Ghostbuster: A tool for simplifying and converting GADTs
TL McDonell, TAK Zakian, M Cimini, RR Newton
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
82016
ipregel: A combiner-based in-memory shared memory vertex-centric framework
LAR Capelli, Z Hu, TAK Zakian
Workshop Proceedings of the 47th International Conference on Parallel …, 2018
62018
iPregel: Vertex-centric programmability vs memory efficiency and performance, why choose?
LAR Capelli, Z Hu, TAK Zakian, N Brown, JM Bull
Parallel Computing 86, 45-56, 2019
42019
Distributed digital ledger transaction network for flexible, lazy deletion of data stored within an authenticated data structure
SH Blackshear, BD Maurer, TAK Zakian
US Patent App. 17/530,017, 2022
2022
Cost semantics for heterogeneous parallel functional languages
J Gibbons, T Zakian
2020
Cost semantics for heterogeneous parallel functional languages
TAK Zakian
University of Oxford, 2019
2019
Ghostbuster: A tool for simplifying and converting GADTs
TAK Zakian, TL McDonell, M Cimini, RR Newton
Journal of Functional Programming 28, e16, 2018
2018
Semantic Profiling for Heterogeneous Parallel Languages
TAK ZAKIAN
系统目前无法执行此操作,请稍后再试。
文章 1–13