( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Small Proof Witnesses for LF.

, , и . ICLP, том 3668 из Lecture Notes in Computer Science, стр. 387-401. Springer, (2005)

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.

Susmit Jha

Anindita Sarkar

Abhijit Sarkar

Tapabrato Sarkar

Abhishek Sarkar

 

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

Foundational certified code in the Twelf metalogical framework., и . ACM Trans. Comput. Log., 9 (3): 16:1-16:26 (2008)Fences in Weak Memory Models., , , и . CAV, том 6174 из Lecture Notes in Computer Science, стр. 258-272. Springer, (2010)Litmus: Running Tests against Hardware., , , и . TACAS, том 6605 из Lecture Notes in Computer Science, стр. 41-44. Springer, (2011)Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores., , и . FOPARA, том 9964 из Lecture Notes in Computer Science, стр. 101-125. (2015)A Better x86 Memory Model: x86-TSO., , и . TPHOLs, том 5674 из Lecture Notes in Computer Science, стр. 391-407. Springer, (2009)Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms., , и . ICFP, стр. 4-17. ACM, (2016)Compound Memory Models., , , , , и . Proc. ACM Program. Lang., 7 (PLDI): 1145-1168 (2023)Automatically deriving cost models for structured parallel processes using hylomorphisms., , , и . Future Gener. Comput. Syst., (2018)Mixed-size concurrency: ARM, POWER, C/C++11, and SC., , , , , , , , и . POPL, стр. 429-442. ACM, (2017)Modelling the ARMv8 architecture, operationally: concurrency and ISA., , , , , , , и . POPL, стр. 608-621. ACM, (2016)