Soham Sundar Chakraborty
Cited by
Cited by
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
Grounding thin-air reads with event structures
S Chakraborty, V Vafeiadis
Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019
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
Aspect-oriented linearizability proofs
S Chakraborty, TA Henzinger, A Sezgin, V Vafeiadis
arXiv preprint arXiv:1502.07639, 2015
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
Improved MHP analysis
A Sankar, S Chakraborty, VK Nandivada
Proceedings of the 25th International Conference on Compiler Construction …, 2016
Towards an approach and framework for test-execution plan derivation
SS Chakraborty, V Shah
2011 26th IEEE/ACM International Conference on Automated Software …, 2011
Precise static type analysis for object oriented programs
R Kumar, SS Chakraborty
ACM Sigplan Notices 42 (2), 17-26, 2007
A rot resistant durable natural fibre and/or geotextiles
S Sinha, S Chakraborty
Patent application number: PCT/IN2004000119, 2004
Scalable partial vectorization
R Ramanarayanan, M Gupta, SS Chakraborty, D Das
US Patent 9,158,511, 2015
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
Random Bits for Quadrature of SDEs
L Mayer
Automated test execution plan derivation system and method
SS Chakraborty, V Shah
US Patent US9378120 B2, 2016
Aspect-oriented linearizability proofs
V Vafeiadis, A Sezgin, TA Henzinger, S Chakraborty
Logical Methods in Computer Science 11, 2015
The system can't perform the operation now. Try again later.
Articles 1–20