PhD 2019 | |
MS 2008 |
Published by LAP LAMBERT Academic Publishing GmbH & Co. KG. 2012.
|
PLDI 2020 | Promising 2.0: Global Optimizations in Relaxed Memory Concurrency. [Project page] Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis. | |
POPL 2019 |
In Proc. ACM Program. Lang. 3, POPL, Article 70 (January 2019, to appear)
|
|
CGO 2017 |
In CGO 2017, pp. 100-110. ACM (February 2017)
(Best Paper Nominee)
|
|
CGO 2016 |
In CGO 2016, pp. 216-226. ACM (March 2016)
|
|
CC 2016 |
In CC 2016, pp 207-217. ACM (March, 2016)
|
|
POPL 2015 | Common compiler optimisations are invalid in the C11 memory model and what we can do about it.
[Project page]
Viktor Vafeiadis,
Thibaut Balabonski,
Soham Chakraborty,
Robin Morisset,
Francesco Zappa Nardelli.
In POPL 2015, pp. 209-220. ACM (January 2015)
|
|
LMCS 2015 |
In Logical Methods in Computer Science 11(1:20) (March 2015).
|
|
IACC 2014 |
In IACC 2014, pp. 813-824. IEEE (2014)
|
|
ASE 2011 |
In ASE 2011, pp. 488-491. IEEE (November, 2011)
|
|
Onward 2010 |
In Onward 2010, OOPSLA Companion, pp. 51-60. ACM (October, 2010)
|
|
SERVICES 2009 |
In Congress on Services - I 2009, pp: 585-592. IEEE (July, 2009)
|
|
ICWS 2009 |
In ICWS 2009, pp: 197-204. IEEE (July, 2009)
|
|
ISEC 2008 | Precise static type analysis in component based programming environment. (Extended Abstract)
In ISEC 2008, pp: 133-134. ACM (February, 2008)
|
|
ADCOM 2007 |
In ADCOM 2007, IEEE (December, 2007)
|
|
SIGPLAN 2007 |
In SIGPLAN Notices (42:2), pp: 17 - 26. ACM (February 2007)
|
Open64-W 2012 | |
IBM 2010 |
In IBM Research Report : RI10007. IBM (October, 2010)
|
POPL 2015 |
In POPL 2015.
|
AATC 2012 |
In AMD Asia Technical Conference (AATC), 2012.(Company Internal).
|
HiPC 2008 |
In HiPC 2008.
|