( en | de | ru )

 

Disambiguierung von "Sarkar, Susmit"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Small Proof Witnesses for LF.

, , und . ICLP, Volume 3668 von Lecture Notes in Computer Science, Seite 387-401. Springer, (2005)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Susmit Jha

Anindita Sarkar

Abhijit Sarkar

Tapabrato Sarkar

Abhishek Sarkar

 

Weitere Publikationen von Autoren mit dem selben Namen

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