Soham Sundar Chakraborty

Citado por

	Total	Desde 2020
Citas	614	386
Índice h	11	10
Índice i10	14	11

120

20102011201220132014201520162017201820192020202120222023202420253 1 7 7 3 23 41 50 33 50 44 72 82 58 117 12

Acceso público

Ver todo

7 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Pramod BhatotiaProfessor, TU MunichDirección de correo verificada de tum.de
Anton PodkopaevJetBrains Research, Constructor University BremenDirección de correo verificada de jetbrains.com
Rodrigo RochaHuaweiDirección de correo verificada de huawei.com
Shankara Narayanan KrishnaIIT BombayDirección de correo verificada de cse.iitb.ac.in
Redha GouicemRWTH AachenDirección de correo verificada de rwth-aachen.de
Tom SpinkLecturer, University of St AndrewsDirección de correo verificada de st-andrews.ac.uk
Chung-Kil HurSeoul National UniversityDirección de correo verificada de sf.snu.ac.kr
Ori LahavTel Aviv UniversityDirección de correo verificada de tau.ac.il
Andreas PavlogiannisAssociate Professor, Aarhus UniversityDirección de correo verificada de cs.au.dk
Umang MathurPresidential Young Professor at National University of SingaporeDirección de correo verificada de comp.nus.edu.sg
Parosh AbdullaProfessor of Computer Science, Uppsala UniversityDirección de correo verificada de it.uu.se
Andrés GoensUniversity of AmsterdamDirección de correo verificada de uva.nl
Vijay NagarajanProfessor, University of UtahDirección de correo verificada de cs.utah.edu
Susmit SarkarProfessor of Computer Science, University of St AndrewsDirección de correo verificada de st-andrews.ac.uk
Nicolai OswaldNvidiaDirección de correo verificada de nvidia.com
Sukarn AgarwalAssistant ProfessorDirección de correo verificada de iiserb.ac.in
Roland MeyerProfessor of Theoretical Computer ScienceDirección de correo verificada de tu-bs.de
Hünkar Can TunçUber Technologies Inc.Dirección de correo verificada de uber.com

Seguir

Soham Sundar Chakraborty

TU Delft

Dirección de correo verificada de tudelft.nl - Página principal

Compiler Memory Consistency Model Programming Language Software Engineering


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Common compiler optimisations are invalid in the C11 memory model and what we can do about it V Vafeiadis, T Balabonski, S Chakraborty, R Morisset, F Zappa Nardelli Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015	160	2015
Grounding thin-air reads with event structures S Chakraborty, V Vafeiadis Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019	75	2019
Promising 2.0: global optimizations in relaxed memory concurrency SH Lee, M Cho, A Podkopaev, S Chakraborty, CK Hur, O Lahav, ... Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020	65	2020
Formalizing the concurrency semantics of an LLVM fragment S Chakraborty, V Vafeiadis 2017 IEEE/ACM International Symposium on Code Generation and Optimization …, 2017	44	2017
Automated test execution plan derivation system and method SS Chakraborty, V Shah US Patent US9378120 B2, 2016	39	2016
Automated test cycle estimation system and method SS Chakraborty, PK Chittimalli, V Shah US Patent 9,032,370, 2015	39	2015
Validating optimizations of concurrent C/C++ programs S Chakraborty, V Vafeiadis Proceedings of the 2016 International Symposium on Code Generation and …, 2016	33	2016
Aspect-oriented linearizability proofs S Chakraborty, TA Henzinger, A Sezgin, V Vafeiadis Logical Methods in Computer Science 11, 2015	25	2015
Efficient testing of service-oriented applications using semantic service stubs S Mani, VS Sinha, S Sinha, P Dhoolia, D Mukherjee, S Chakraborty 2009 IEEE International Conference on Web Services, 197-204, 2009	24	2009
Lasagne: a static binary translator for weak memory model architectures RCO Rocha, D Sprokholt, M Fink, R Gouicem, T Spink, S Chakraborty, ... Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022	20	2022
Improved mhp analysis A Sankar, S Chakraborty, VK Nandivada Proceedings of the 25th International Conference on Compiler Construction …, 2016	13	2016
Compound memory models A Goens, S Chakraborty, S Sarkar, S Agarwal, N Oswald, V Nagarajan Proceedings of the ACM on Programming Languages 7 (PLDI), 1145-1168, 2023	11	2023
Towards an approach and framework for test-execution plan derivation SS Chakraborty, V Shah 2011 26th IEEE/ACM International Conference on Automated Software …, 2011	11	2011
Risotto: a dynamic binary translator for weak memory model architectures R Gouicem, D Sprokholt, J Ruehl, RCO Rocha, T Spink, S Chakraborty, ... Proceedings of the 28th ACM International Conference on Architectural …, 2022	10	2022
Probabilistic concurrency testing for weak memory programs M Gao, S Chakraborty, BK Ozkan Proceedings of the 28th ACM International Conference on Architectural …, 2023	7	2023
Parameterized verification under release acquire is PSPACE-complete S Krishna, A Godbole, R Meyer, S Chakraborty Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing …, 2022	6	2022
Precise static type analysis for object oriented programs R Kumar, SS Chakraborty ACM Sigplan Notices 42 (2), 17-26, 2007	6	2007
Optimal Reads-From Consistency Checking for C11-Style Memory Models HC Tunç, PA Abdulla, S Chakraborty, S Krishna, U Mathur, ... Proceedings of the ACM on Programming Languages 7 (PLDI), 761-785, 2023	5	2023
Grounding thin-air reads with event structures. PACMPL 3, POPL (2019), 70: 1–70: 28 S Chakraborty, V Vafeiadis	5	2019
Robustness between Weak Memory Models S Chakraborty 2021 Formal Methods in Computer Aided Design (FMCAD), 173-182, 2021	4	2021

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores