Soham Sundar Chakraborty
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
952015
Automated test cycle estimation system and method
SS Chakraborty, PK Chittimalli, V Shah
US Patent 9,032,370, 2015
312015
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
192009
Formalizing the concurrency semantics of an LLVM fragment
S Chakraborty, V Vafeiadis
2017 IEEE/ACM International Symposium on Code Generation and Optimization …, 2017
162017
Validating optimizations of concurrent C/C++ programs
S Chakraborty, V Vafeiadis
Proceedings of the 2016 International Symposium on Code Generation and …, 2016
152016
Grounding thin-air reads with event structures
S Chakraborty, V Vafeiadis
Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019
112019
Aspect-oriented linearizability proofs
S Chakraborty, TA Henzinger, A Sezgin, V Vafeiadis
arXiv preprint arXiv:1502.07639, 2015
112015
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
Improved MHP analysis
A Sankar, S Chakraborty, VK Nandivada
Proceedings of the 25th International Conference on Compiler Construction …, 2016
72016
Precise static type analysis for object oriented programs
R Kumar, SS Chakraborty
ACM Sigplan Notices 42 (2), 17-26, 2007
62007
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
32020
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
Correct Compilation of Relaxed Memory Concurrency
S Chakraborty
2019
Automated test execution plan derivation system and method
SS Chakraborty, V Shah
US Patent US9378120 B2, 2016
2016
Scalable partial vectorization
R Ramanarayanan, M Gupta, SS Chakraborty, D Das
US Patent 9,158,511, 2015
2015
Aspect-oriented linearizability proofs
V Vafeiadis, A Sezgin, TA Henzinger, S Chakraborty
Logical Methods in Computer Science 11, 2015
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
2008
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20