Susmit Sarkar

34 papers A* 11A 4B 3C 2Journal 11Unranked 3
YearRankTypeTitle / Venue / Authors
2024 C conf
LOPSTR
Adam D. Barwell, Christopher Brown, Susmit Sarkar
2023 J jnl
Proc. ACM Program. Lang.
Andrés Goens, Soham Chakraborty, Susmit Sarkar, Sukarn Agarwal, Nicolai Oswald, Vijay Nagarajan
2020 J jnl
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Martin Kristien, Tom Spink, Brian Campbell, Susmit Sarkar, Ian Stark, Björn Franke, Igor Böhm, Nigel P. Topham
2018 J jnl
Future Gener. Comput. Syst.
David Castro, Kevin Hammond, Susmit Sarkar, Yasir Alguwaifli
2018 J jnl
CoRR
Ruth Hoffmann, Özgür Akgün, Susmit Sarkar
2018 J jnl
Proc. ACM Program. Lang.
Christopher Pulte, Shaked Flur, Will Deacon, Jon French, Susmit Sarkar, Peter Sewell
2017 A* conf
POPL
Shaked Flur, Susmit Sarkar, Christopher Pulte, Kyndylan Nienhuis, Luc Maranget, Kathryn E. Gray, Ali Sezgin, Mark Batty, Peter Sewell
2017 B conf
FMCAD
Christopher J. Banks, Marco Elver, Ruth Hoffmann, Susmit Sarkar, Paul B. Jackson, Vijay Nagarajan
2017 J jnl
CoRR
Christopher J. Banks, Marco Elver, Ruth Hoffmann, Susmit Sarkar, Paul B. Jackson, Vijay Nagarajan
2016 A conf
ICFP
David Castro, Kevin Hammond, Susmit Sarkar
2016 J jnl
ACM Trans. Archit. Code Optim.
Andrew J. McPherson, Vijay Nagarajan, Susmit Sarkar, Marcelo Cintra
2016 A* conf
POPL
Shaked Flur, Kathryn E. Gray, Christopher Pulte, Susmit Sarkar, Ali Sezgin, Luc Maranget, Will Deacon, Peter Sewell
2015 A* conf
MICRO
Kathryn E. Gray, Gabriel Kerneis, Dominic P. Mulligan, Christopher Pulte, Susmit Sarkar, Peter Sewell
2015 B conf
PPoPP
Andrew J. McPherson, Vijay Nagarajan, Susmit Sarkar, Marcelo Cintra
2015 conf
FOPARA
Kevin Hammond, Christopher Brown, Susmit Sarkar
2013 A* conf
PLDI
Bharghava Rajaram, Vijay Nagarajan, Susmit Sarkar, Marco Elver
2012 A* conf
CAV
Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo M. K. Martin, Peter Sewell, Derek Williams
2012 A* conf
POPL
Mark Batty, Kayvan Memarian, Scott Owens, Susmit Sarkar, Peter Sewell
2012 J jnl
Formal Methods Syst. Des.
Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell
2012 A* conf
PLDI
Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams
2011 A conf
TACAS
Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell
2011 A* conf
POPL
Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewell, Tjark Weber
2011 C conf
PPDP
Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar
2011 A* conf
PLDI
Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams
2010 A* conf
CAV
Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell
2010 J jnl
J. Funct. Program.
Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnisa
2010 J jnl
Commun. ACM
Peter Sewell, Susmit Sarkar, Scott Owens, Francesco Zappa Nardelli, Magnus O. Myreen
2009 conf
TPHOLs
Scott Owens, Susmit Sarkar, Peter Sewell
2009 conf
DAMP
Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli
2009 A* conf
POPL
Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave
2008 J jnl
ACM Trans. Comput. Log.
Karl Crary, Susmit Sarkar
2007 A conf
ICFP
Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa
2005 B conf
ICLP
Susmit Sarkar, Brigitte Pientka, Karl Crary
2003 A conf
CADE
Karl Crary, Susmit Sarkar