From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

An Extended Polyhedral Model for SPMD Programs and Its Use in Static Data Race Detection., , , и . LCPC, том 10136 из Lecture Notes in Computer Science, стр. 106-120. Springer, (2016)S2FA: an accelerator automation framework for heterogeneous computing in datacenters., , , , , и . DAC, стр. 153:1-153:6. ACM, (2018)Linear Promises: Towards Safer Concurrent Programming (Artifact)., , и . Dagstuhl Artifacts Ser., 7 (2): 15:1-15:3 (2021)Towards Safe HPC: Productivity and Performance via Rust Interfaces for a Distributed C++ Actors Library (Work in Progress)., , , , , и . MPLR, стр. 165-172. ACM, (2023)Compile-time partitioning and scheduling of parallel programs., и . SIGPLAN Symposium on Compiler Construction, стр. 17-26. ACM, (1986)Delegated isolation., , , , и . OOPSLA, стр. 885-902. ACM, (2011)Automatic parallelization of pure method calls via conditional future synthesis., и . OOPSLA, стр. 20-38. ACM, (2016)A Transformation Framework for Optimizing Task-Parallel Programs., , , и . ACM Trans. Program. Lang. Syst., 35 (1): 3:1-3:48 (2013)Scheduling Iterative Task Computation on Message-Passing Architectures., , , и . PPSC, стр. 581-586. SIAM, (1995)Detecting MPI usage anomalies via partial program symbolic execution., , и . SC, стр. 63:1-63:5. IEEE / ACM, (2018)