Susmit Sarkar
发表
Christopher Brown,
Kevin Hammond,
Susmit Sarkar,
2015,
FOPARA.
Kevin Hammond,
Susmit Sarkar,
David Castro,
2018,
Future Gener. Comput. Syst..
Francesco Zappa Nardelli,
Magnus O. Myreen,
Peter Sewell,
2010,
Commun. ACM.
Susmit Sarkar,
Aishika Chakraborty,
Aveek Saha,
2019
.
Peter Sewell,
Susmit Sarkar,
Scott Owens,
2010
.
Francesco Zappa Nardelli,
Magnus O. Myreen,
Jade Alglave,
2009,
SIGP.
Ali Sezgin,
Shaked Flur,
Peter Sewell,
2017,
POPL.
Susmit Sarkar,
Marcelo Cintra,
Vijay Nagarajan,
2015,
ACM Trans. Archit. Code Optim..
Tom Ridge,
Francesco Zappa Nardelli,
Peter Sewell,
2007,
ICFP '07.
Tanmoy Banerjee,
Susmit Sarkar,
Sampriti Das,
2019,
Advances in Intelligent Systems and Computing.
Gabriel Kerneis,
Peter Sewell,
Susmit Sarkar,
2015,
2015 48th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO).
Kevin Hammond,
Susmit Sarkar,
David Castro,
2016,
ICFP.
Susmit Sarkar,
Vijay Nagarajan,
Bharghava Rajaram,
2013,
PLDI.
Jade Alglave,
Peter Sewell,
Kayvan Memarian,
2012,
PLDI.
Shaked Flur,
Peter Sewell,
Susmit Sarkar,
2017,
Proc. ACM Program. Lang..
Tom Ridge,
Francesco Zappa Nardelli,
Peter Sewell,
2010,
J. Funct. Program..
Jade Alglave,
Peter Sewell,
Luc Maranget,
2012,
Formal Methods in System Design.
Susmit Sarkar,
Marcelo Cintra,
Vijay Nagarajan,
2015,
PPOPP.
Karl Crary,
Susmit Sarkar,
Karl Crary,
2009
.
Karl Crary,
Brigitte Pientka,
Susmit Sarkar,
2005,
ICLP.
Jade Alglave,
Peter Sewell,
Luc Maranget,
2011,
PLDI '11.
Susmit Sarkar,
Jasmin Christian Blanchette,
Scott Owens,
2011,
PPDP.
Francesco Zappa Nardelli,
Jade Alglave,
Peter Sewell,
2009
.
Ozgur Akgun,
Susmit Sarkar,
Ruth Hoffmann,
2018,
ArXiv.
Karl Crary,
Susmit Sarkar,
2008,
TOCL.
Ali Sezgin,
Shaked Flur,
Peter Sewell,
2016
.
Peter Sewell,
Susmit Sarkar,
Scott Owens,
2009
.
Ali Sezgin,
Shaked Flur,
Peter Sewell,
2016,
POPL.
Susmit Sarkar,
Vijay Nagarajan,
Bharghava Rajaram,
2013
.
Himadri Nath Saha,
Susmit Sarkar,
Subrata Pal,
2017,
2017 8th Annual Industrial Automation and Electromechanical Engineering Conference (IEMECON).
Rajeev Alur,
Milo M. K. Martin,
Jade Alglave,
2012,
CAV.
Tom Ridge,
Francesco Zappa Nardelli,
Magnus O. Myreen,
2009,
POPL '09.
Jade Alglave,
Peter Sewell,
Luc Maranget,
2010,
CAV.
Peter Sewell,
Susmit Sarkar,
Scott Owens,
2009,
TPHOLs.
Karl Crary,
Susmit Sarkar,
2003,
CADE.
Jade Alglave,
Peter Sewell,
Luc Maranget,
2013
.
Peter Sewell,
Susmit Sarkar,
Scott Owens,
2011,
POPL '11.
Susmit Sarkar,
Vijay Nagarajan,
Bharghava Rajaram,
2013,
PLDI.
Peter Sewell,
Kayvan Memarian,
Susmit Sarkar,
2012,
POPL '12.
Jade Alglave,
Peter Sewell,
Luc Maranget,
2011,
TACAS.
Francesco Zappa Nardelli,
Magnus O. Myreen,
Jade Alglave,
2009,
DAMP '09.
Susmit Sarkar,
Susmit Sarkar,
2005
.