Soham Sundar Chakraborty
Citado por
Citado por
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
Automated test cycle estimation system and method
SS Chakraborty, PK Chittimalli, V Shah
US Patent 9,032,370, 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
Formalizing the concurrency semantics of an LLVM fragment
S Chakraborty, V Vafeiadis
2017 IEEE/ACM International Symposium on Code Generation and Optimization …, 2017
Validating optimizations of concurrent C/C++ programs
S Chakraborty, V Vafeiadis
Proceedings of the 2016 International Symposium on Code Generation and …, 2016
Grounding thin-air reads with event structures
S Chakraborty, V Vafeiadis
Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019
Aspect-oriented linearizability proofs
S Chakraborty, TA Henzinger, A Sezgin, V Vafeiadis
arXiv preprint arXiv:1502.07639, 2015
Towards an approach and framework for test-execution plan derivation
SS Chakraborty, V Shah
2011 26th IEEE/ACM International Conference on Automated Software …, 2011
Improved MHP analysis
A Sankar, S Chakraborty, VK Nandivada
Proceedings of the 25th International Conference on Compiler Construction …, 2016
Precise static type analysis for object oriented programs
R Kumar, SS Chakraborty
ACM Sigplan Notices 42 (2), 17-26, 2007
Promising 2.0: global optimizations in relaxed memory concurrency.
SH Lee, M Cho, A Podkopaev, S Chakraborty, CK Hur, O Lahav, ...
PLDI, 362-376, 2020
Harnessing partial vectorization in Open64 compiler
R Ramanarayanan, M Gupta, SS Chakraborty, D Das, M Lai
2014 IEEE International Advance Computing Conference (IACC), 813-824, 2014
Experience with partial SIMDization in Open64 compiler using dynamic programming
D Das, SS Chakraborty, M Lai
Open64 Workshop, 2012
Inferring arbitrary distributions for data and computation
SS Chakraborty, VK Nandivada
Proceedings of the ACM international conference companion on Object oriented …, 2010
On Architecture to Architecture Mapping for Concurrency
S Chakraborty
arXiv preprint arXiv:2009.03846, 2020
Correct Compilation of Relaxed Memory Concurrency
S Chakraborty
Automated test execution plan derivation system and method
SS Chakraborty, V Shah
US Patent US9378120 B2, 2016
Scalable partial vectorization
R Ramanarayanan, M Gupta, SS Chakraborty, D Das
US Patent 9,158,511, 2015
Aspect-oriented linearizability proofs
V Vafeiadis, A Sezgin, TA Henzinger, S Chakraborty
Logical Methods in Computer Science 11, 2015
Precise static type analysis in component based programming environment
SS Chakraborty, R Kumar
Proceedings of the 1st India software engineering conference, 133-134, 2008
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20