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
1452015
Grounding thin-air reads with event structures
S Chakraborty, V Vafeiadis
Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019
642019
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
592020
Formalizing the concurrency semantics of an LLVM fragment
S Chakraborty, V Vafeiadis
2017 IEEE/ACM International Symposium on Code Generation and Optimization …, 2017
392017
Automated test cycle estimation system and method
SS Chakraborty, PK Chittimalli, V Shah
US Patent 9,032,370, 2015
392015
Automated test execution plan derivation system and method
SS Chakraborty, V Shah
US Patent US9378120 B2, 2016
382016
Validating optimizations of concurrent C/C++ programs
S Chakraborty, V Vafeiadis
Proceedings of the 2016 International Symposium on Code Generation and …, 2016
282016
Aspect-oriented linearizability proofs
S Chakraborty, TA Henzinger, A Sezgin, V Vafeiadis
Logical Methods in Computer Science 11, 2015
262015
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
242009
Improved mhp analysis
A Sankar, S Chakraborty, VK Nandivada
Proceedings of the 25th International Conference on Compiler Construction …, 2016
132016
Lasagne: a static binary translator for weak memory model architectures
RCO Rocha, D Sprokholt, M Fink, R Gouicem, T Spink, S Chakraborty, ...
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
122022
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
Precise static type analysis for object oriented programs
R Kumar, SS Chakraborty
ACM Sigplan Notices 42 (2), 17-26, 2007
62007
Parameterized verification under release acquire is pspace-complete
S Krishna, A Godbole, R Meyer, S Chakraborty
Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing …, 2022
52022
Probabilistic Concurrency Testing for Weak Memory Programs
M Gao, S Chakraborty, BK Ozkan
Proceedings of the 28th ACM International Conference on Architectural …, 2023
42023
Risotto: a dynamic binary translator for weak memory model architectures
R Gouicem, D Sprokholt, J Ruehl, RCO Rocha, T Spink, S Chakraborty, ...
Proceedings of the 28th ACM International Conference on Architectural …, 2022
42022
Grounding thin-air reads with event structures. PACMPL 3, POPL (2019), 70: 1–70: 28
S Chakraborty, V Vafeiadis
42019
Scalable partial vectorization
R Ramanarayanan, M Gupta, SS Chakraborty, D Das
US Patent 9,158,511, 2015
42015
Optimal Reads-From Consistency Checking for C11-Style Memory Models
HC Tunç, PA Abdulla, S Chakraborty, S Krishna, U Mathur, ...
Proceedings of the ACM on Programming Languages 7 (PLDI), 761-785, 2023
32023
Robustness between Weak Memory Models
S Chakraborty
2021 Formal Methods in Computer Aided Design (FMCAD), 173-182, 2021
32021
The system can't perform the operation now. Try again later.
Articles 1–20