Items where Author is "Chakraborty, Soham"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

Conference or Workshop Item (A Paper)

Chakraborty, Soham and Vafeiadis, Viktor
(2017) Formalizing the concurrency semantics of an LLVM fragment.
In: Proceedings of the 2017 International Symposium on Code Generation and Optimization, CGO 2017, Austin, TX, USA, February 4-8, 2017.
Conference: CGO International Symposium on Code Generation and Optimization

Chakraborty, Soham and Vafeiadis, Viktor
(2016) Validating optimizations of concurrent C/C++ programs.
In: Proceedings of the 2016 International Symposium on Code Generation and Optimization, CGO 2016, Barcelona, Spain, March 12-18, 2016.
Conference: CGO International Symposium on Code Generation and Optimization

Vafeiadis, Viktor and Balabonski, Thibaut and Chakraborty, Soham and Morisset, Robin and Nardelli, Francesco Zappa
(2015) Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it.
In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015.
Conference: POPL ACM-SIGACT Symposium on Principles of Programming Languages

Article

Chakraborty, Soham and Henzinger, Thomas A. and Sezgin, Ali and Vafeiadis, Viktor
(2015) Aspect-oriented linearizability proofs.
Logical Methods in Computer Science, 11 (1).

This list was generated on Mon Dec 5 00:04:23 2022 CET.