Soham Sundar Chakraborty
Title
Cited by
Cited by
Year
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
972015
Automated test cycle estimation system and method
SS Chakraborty, PK Chittimalli, V Shah
US Patent 9,032,370, 2015
332015
Automated test execution plan derivation system and method
SS Chakraborty, V Shah
US Patent US9378120 B2, 2016
262016
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
212009
Grounding thin-air reads with event structures
S Chakraborty, V Vafeiadis
Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019
172019
Formalizing the concurrency semantics of an LLVM fragment
S Chakraborty, V Vafeiadis
2017 IEEE/ACM International Symposium on Code Generation and Optimization …, 2017
172017
Validating optimizations of concurrent C/C++ programs
S Chakraborty, V Vafeiadis
Proceedings of the 2016 International Symposium on Code Generation and …, 2016
152016
Aspect-oriented linearizability proofs
S Chakraborty, TA Henzinger, A Sezgin, V Vafeiadis
arXiv preprint arXiv:1502.07639, 2015
122015
Improved MHP analysis
A Sankar, S Chakraborty, VK Nandivada
Proceedings of the 25th International Conference on Compiler Construction …, 2016
92016
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
82020
Towards an approach and framework for test-execution plan derivation
SS Chakraborty, V Shah
2011 26th IEEE/ACM International Conference on Automated Software …, 2011
82011
Precise static type analysis for object oriented programs
R Kumar, SS Chakraborty
ACM Sigplan Notices 42 (2), 17-26, 2007
62007
A rot resistant durable natural fibre and/or geotextiles
S Sinha, S Chakraborty
Patent application number: PCT/IN2004000119, 2004
52004
Scalable partial vectorization
R Ramanarayanan, M Gupta, SS Chakraborty, D Das
US Patent 9,158,511, 2015
32015
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
22014
Experience with partial SIMDization in Open64 compiler using dynamic programming
D Das, SS Chakraborty, M Lai
Open64 Workshop, 2012
22012
Inferring arbitrary distributions for data and computation
SS Chakraborty, VK Nandivada
Proceedings of the ACM international conference companion on Object oriented …, 2010
12010
On Architecture to Architecture Mapping for Concurrency
S Chakraborty
arXiv preprint arXiv:2009.03846, 2020
2020
Random Bits for Quadrature of SDEs
L Mayer
2020
Aspect-oriented linearizability proofs
V Vafeiadis, A Sezgin, TA Henzinger, S Chakraborty
Logical Methods in Computer Science 11, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–20