Peter Sewell

发表

Martin Uecker, Peter Sewell, Kayvan Memarian, 2019 .
Gavin M. Bierman, Peter Sewell, Michael W. Hicks, 2003, ICFP '03.
Matthew J. Parkinson, Peter Sewell, Rok Strnisa, 2007, OOPSLA.
Peter Sewell, 1829, The London medical and physical journal.
Francesco Zappa Nardelli, Peter Sewell, Scott Owens, 2011, ITP.
Peter Sewell, Keith Wansbrough, James J. Leifer, 2003, ACM SIGPLAN Notices.
Suresh Jagannathan, Viktor Vafeiadis, Francesco Zappa Nardelli, 2011, POPL '11.
Francesco Zappa Nardelli, Magnus O. Myreen, Peter Sewell, 2010, Commun. ACM.
Michael Norrish, Peter Sewell, Keith Wansbrough, 2002, ESOP.
Michael Hicks, Gavin M. Bierman, Peter Sewell, 2003, ACM SIGPLAN Notices.
Robert N. M. Watson, Brooks Davis, Stephen Kell, 2019, Proc. ACM Program. Lang..
Peter Sewell, Keith Wansbrough, James J. Leifer, 2003, ICFP '03.
Peter Sewell, Paul E. Scears, P. Sewell, 1988 .
Benjamin C. Pierce, Peter Sewell, Pawel T. Wojciechowski, 1998, ICCL Workshop: Internet Programming Languages.
Peter Sewell, 2010 .
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.
Andrew D. Gordon, Robert Harper, John Harrison, 2011, POPL '11.
Tom Ridge, Francesco Zappa Nardelli, Peter Sewell, 2007, ICFP '07.
Jan Vitek, Peter Sewell, Peter Sewell, 1999, Proceedings of the 12th IEEE Computer Security Foundations Workshop.
Peter Sewell, Peter Sewell, 1998, CONCUR.
Peter Sewell, Moritz Y. Becker, Peter Sewell, 2004, Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..
Peter Sewell, 2013 .
Tom Ridge, Peter Sewell, Sam Jansen, 2006, Proceedings of the 2006 IEEE International Conference on Network Protocols.
Tom Ridge, Peter Sewell, Scott Owens, 2014, ICFP.
Gabriel Kerneis, Peter Sewell, Susmit Sarkar, 2015, 2015 48th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO).
Peter Sewell, Kayvan Memarian, Jean Pichon-Pharabod, 2015, ESOP.
Peter Sewell, Kayvan Memarian, Kyndylan Nienhuis, 2016, OOPSLA.
Michael Norrish, Peter Sewell, Keith Wansbrough, 2002, EW 10.
Jade Alglave, Peter Sewell, Kayvan Memarian, 2012, PLDI.
David Lang, Peter Sewell, Linus Torvalds, 2014 .
Shaked Flur, Peter Sewell, Susmit Sarkar, 2017, Proc. ACM Program. Lang..
Shaked Flur, Peter Sewell, Luc Maranget, 2020, ESOP.
Peter Sewell, Andrei Serjantov, 2004, International Journal of Information Security.
Tom Ridge, Francesco Zappa Nardelli, Peter Sewell, 2010, J. Funct. Program..
Jan Vitek, Peter Sewell, 2000, Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13.
Francesco Zappa Nardelli, Stephanie Weirich, Peter Sewell, 2010 .
Michael Hicks, Iulian Neamtiu, Peter Sewell, 2007 .
Jade Alglave, Peter Sewell, Luc Maranget, 2012, Formal Methods in System Design.
Peter Sewell, Andrei Serjantov, 2003, ESORICS.
Peter Sewell, Rok Strnisa, Mark R. Shinwell, 2006, ML '06.
Michael Hicks, Gavin M. Bierman, Peter Sewell, 2007, Journal of Functional Programming.
Peter Sewell, Peter Sewell, 1997, Ann. Pure Appl. Log..
Viktor Vafeiadis, Francesco Zappa Nardelli, Peter Sewell, 2007, J. Funct. Program..
Peter Sewell, 2010, ISMM '10.
Peter Sewell, Michael Hicks, Gavin Bierman, 2003 .
Peter Sewell, Pawel T. Wojciechowski, Paweł T. Wojciechowski, 1999, Proceedings. First and Third International Symposium on Agent Systems Applications, and Mobile Agents.
Jens Gustedt, Martin Uecker, Peter Sewell, 2019 .
Jan Vitek, Peter Sewell, Peter Sewell, 2003, J. Comput. Secur..
Peter Sewell, Peter Sewell, 2002, Theor. Comput. Sci..
Jade Alglave, Peter Sewell, Luc Maranget, 2011, PLDI '11.
Francesco Zappa Nardelli, Peter Sewell, 2006 .
Robert M. Norton, Brian Campbell, Ian Stark, 2019, Proc. ACM Program. Lang..
Francesco Zappa Nardelli, Jade Alglave, Peter Sewell, 2009 .
Peter Sewell, 2014, SIGP.
Gavin M. Bierman, Iulian Neamtiu, Peter Sewell, 2007, TOPL.
Peter Sewell, Gian Luca Cattani, Peter Sewell, 2000, Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
Tom Ridge, Michael Norrish, Peter Sewell, 2018, J. ACM.
Peter Sewell, Keith Wansbrough, Andrei Serjantov, 2001, TACS.
Peter Sewell, Keith Wansbrough, Michael Hicks, 2002 .
Tom Ridge, Michael Norrish, Peter Sewell, 2009 .
Peter Sewell, Susmit Sarkar, Scott Owens, 2009 .
Peter Sewell, 2000, Electron. Notes Theor. Comput. Sci..
Peter Sewell, Pawel T. Wojciechowski, 2000, IEEE Concurr..
Suresh Jagannathan, Philip Wadler, Roberto Giacobazzi, 2013, SIGP.
Ali Sezgin, Shaked Flur, Peter Sewell, 2016, POPL.
Rajeev Alur, Milo M. K. Martin, Jade Alglave, 2012, CAV.
Suresh Jagannathan, Peter Sewell, Peter Sewell, 2013, POPL 2013.
Stephen Kell, Peter Sewell, Dominic P. Mulligan, 2016, OOPSLA.
Tom Ridge, Francesco Zappa Nardelli, Magnus O. Myreen, 2009, POPL '09.
Viktor Vafeiadis, Francesco Zappa Nardelli, Peter Sewell, 2005, ICFP '05.
Peter G. Neumann, Robert N. M. Watson, David Chisnall, 2020 .
Jade Alglave, Peter Sewell, Luc Maranget, 2010, CAV.
Hans-Juergen Boehm, Holger Hermanns, Ursula Goltz, 2011, Dagstuhl Reports.
Peter Sewell, Susmit Sarkar, Scott Owens, 2009, TPHOLs.
Jade Alglave, Peter Sewell, Luc Maranget, 2013 .
Robert N. M. Watson, Peter Sewell, Kayvan Memarian, 2016, PLDI.
Peter Sewell, 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Peter Sewell, Moritz Y. Becker, Peter Sewell, 2004, Proceedings. Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, 2004. POLICY 2004..
Benjamin C. Pierce, Stephanie Weirich, Steve Zdancewic, 2005, VSTTE.
Benjamin C. Pierce, Stephanie Weirich, Nate Foster, 2005, TPHOLs.
Peter Sewell, Susmit Sarkar, Scott Owens, 2011, POPL '11.
Suresh Jagannathan, Viktor Vafeiadis, Francesco Zappa Nardelli, 2013, JACM.
Peter Sewell, 2012, ICFP '12.
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.
Peter Sewell, Paul E. Scears, 1990 .
Suresh Jagannathan, Peter Sewell, Peter Sewell, 2014, POPL 2014.
Peter G. Neumann, Robert N. M. Watson, Jonathan Woodruff, 2020, 2020 IEEE Symposium on Security and Privacy (SP).
Peter Sewell, Gian Luca Cattani, 2004, Inf. Comput..
Peter Sewell, David Kaloper-Mersinjak, Anil Madhavapeddy, 2015, USENIX Security Symposium.
Brian Campbell, Peter Sewell, Alasdair Armstrong, 2021, CAV.
Peter Sewell, 2021, 2021 Formal Methods in Computer Aided Design (FMCAD).
Peter Sewell, Peter Sewell, 1995 .
Peter G. Neumann, Robert N. M. Watson, Simon W. Moore, 2019 .