Подписаться
Soham Sundar Chakraborty
Soham Sundar Chakraborty
TU Delft
Подтвержден адрес электронной почты в домене tudelft.nl - Главная страница
Название
Процитировано
Процитировано
Год
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
1612015
Grounding thin-air reads with event structures
S Chakraborty, V Vafeiadis
Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019
782019
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
702020
Formalizing the concurrency semantics of an LLVM fragment
S Chakraborty, V Vafeiadis
2017 IEEE/ACM International Symposium on Code Generation and Optimization …, 2017
452017
Automated test execution plan derivation system and method
SS Chakraborty, V Shah
US Patent US9378120 B2, 2016
412016
Automated test cycle estimation system and method
SS Chakraborty, PK Chittimalli, V Shah
US Patent 9,032,370, 2015
392015
Validating optimizations of concurrent C/C++ programs
S Chakraborty, V Vafeiadis
Proceedings of the 2016 International Symposium on Code Generation and …, 2016
322016
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
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
192022
Compound memory models
A Goens, S Chakraborty, S Sarkar, S Agarwal, N Oswald, V Nagarajan
Proceedings of the ACM on Programming Languages 7 (PLDI), 1145-1168, 2023
112023
Improved mhp analysis
A Sankar, S Chakraborty, VK Nandivada
Proceedings of the 25th International Conference on Compiler Construction …, 2016
112016
Towards an approach and framework for test-execution plan derivation
SS Chakraborty, V Shah
2011 26th IEEE/ACM International Conference on Automated Software …, 2011
112011
Probabilistic concurrency testing for weak memory programs
M Gao, S Chakraborty, BK Ozkan
Proceedings of the 28th ACM International Conference on Architectural …, 2023
82023
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
82022
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
62023
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
62022
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
Scalable partial vectorization
R Ramanarayanan, M Gupta, SS Chakraborty, D Das
US Patent 9,158,511, 2015
42015
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20