Follow
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
1162015
Application of smart meters in high impedance fault detection on distribution systems
S Chakraborty, S Das
IEEE Transactions on Smart Grid 10 (3), 3465-3473, 2018
542018
Automated test cycle estimation system and method
SS Chakraborty, PK Chittimalli, V Shah
US Patent 9,032,370, 2015
372015
Synthesis and characterization of polyacrylamide–polyaniline conductive blends
B Das, S Kar, S Chakraborty, D Chakraborty, S Gangopadhyay
Journal of applied polymer science 69 (5), 841-844, 1998
361998
Grounding thin-air reads with event structures
S Chakraborty, V Vafeiadis
Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019
352019
Automated test execution plan derivation system and method
SS Chakraborty, V Shah
US Patent US9378120 B2, 2016
322016
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
282020
Formalizing the concurrency semantics of an LLVM fragment
S Chakraborty, V Vafeiadis
2017 IEEE/ACM International Symposium on Code Generation and Optimization …, 2017
252017
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
232009
Smart meters for enhancing protection and monitoring functions in emerging distribution systems
S Chakraborty, S Das, T Sidhu, AK Siva
International Journal of Electrical Power & Energy Systems 127, 106626, 2021
222021
Validating optimizations of concurrent C/C++ programs
S Chakraborty, V Vafeiadis
Proceedings of the 2016 International Symposium on Code Generation and …, 2016
202016
Aspect-oriented linearizability proofs
S Chakraborty, TA Henzinger, A Sezgin, V Vafeiadis
arXiv preprint arXiv:1502.07639, 2015
152015
Improved MHP analysis
A Sankar, S Chakraborty, VK Nandivada
Proceedings of the 25th International Conference on Compiler Construction …, 2016
122016
Communication-less protection scheme for AC microgrids using hybrid tripping characteristic
S Chakraborty, S Das
Electric Power Systems Research 187, 106453, 2020
92020
Control and sizing of modular multilevel converter-based STATCOM with hybrid energy storage system for large-scale integration of wind farms with the grid
A Bharadwaj, S Maiti, N Dhal, S Chakraborty
Electrical Engineering 101 (3), 743-757, 2019
92019
Towards an approach and framework for test-execution plan derivation
SS Chakraborty, V Shah
2011 26th IEEE/ACM International Conference on Automated Software …, 2011
92011
New numerical integration methods for simulation of electromagnetic transients
S Chakraborty, R Ramanujam
International Journal of Emerging Electric Power Systems 19 (4), 2018
62018
Precise static type analysis for object oriented programs
R Kumar, SS Chakraborty
ACM Sigplan Notices 42 (2), 17-26, 2007
62007
Grounding thin-air reads with event structures. PACMPL 3, POPL (2019), 70: 1–70: 28
S Chakraborty, V Vafeiadis
52019
A rot resistant durable natural fibre and/or geotextiles
S Sinha, S Chakraborty
Patent application number: PCT/IN2004000119, 2004
52004
The system can't perform the operation now. Try again later.
Articles 1–20