Edit Profile (opens in new tab) Sewell, Thomas D. Co-Author Distance Author ID: sewell.thomas-d Published as: Sewell, Thomas; Sewell, Thomas D. Documents Indexed: 8 Publications since 2002 Co-Authors: 21 Co-Authors with 8 Joint Publications 290 Co-Co-Authors all top 5 Co-Authors 0 single-authored 5 Klein, Gerwin 4 Murray, Toby 3 Chen, Zilin 3 O’Connor, Liam 3 Rizkallah, Christine 2 Amani, Sidney 2 Keller, Gabriele Cornelia 2 Lim, Japheth 2 Nagashima, Yutaka 1 Andronick, June 1 Böhme, Sascha 1 Chen, Zhen 1 Cock, David 1 Fox, Anthony C. J. 1 Gammie, Peter 1 Gan, Yong 1 Jackson, Vincent 1 Jiang, Shan 1 Menikoff, Ralph 1 Weber, Tjark 1 Winwood, Simon Serials 1 Computer Methods in Applied Mechanics and Engineering 1 Journal of Functional Programming 1 Combustion Theory and Modelling Fields 6 Computer science (68-XX) 1 Mechanics of deformable solids (74-XX) 1 Classical thermodynamics, heat transfer (80-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 8 Publications have been cited 42 times in 37 Documents Cited by ▼ Year ▼ Secure microkernels, state monads and scalable refinement. Zbl 1165.68454 Cock, David; Klein, Gerwin; Sewell, Thomas 9 2008 Constituent properties of HMX needed for mesoscale simulations. Zbl 0999.80503 Menikoff, Ralph; Sewell, Thomas D. 8 2002 Reconstruction of Z3’s bit-vector proofs in HOL4 and Isabelle/HOL. Zbl 1350.68225 Böhme, Sascha; Fox, Anthony C. J.; Sewell, Thomas; Weber, Tjark 6 2011 Refinement through restraint: bringing down the cost of verification. Zbl 1361.68045 O’Connor, Liam; Chen, Zilin; Rizkallah, Christine; Amani, Sidney; Lim, Japheth; Murray, Toby; Nagashima, Yutaka; Sewell, Thomas; Klein, Gerwin 6 2016 Multiscale simulation of the responses of discrete nanostructures to extreme loading conditions based on the material point method. Zbl 1423.74082 Jiang, Shan; Chen, Zhen; Sewell, Thomas D.; Gan, Yong 6 2015 seL4 enforces integrity. Zbl 1342.68303 Sewell, Thomas; Winwood, Simon; Gammie, Peter; Murray, Toby; Andronick, June; Klein, Gerwin 3 2011 A framework for the automatic formal verification of refinement from Cogent to C. Zbl 1478.68048 Rizkallah, Christine; Lim, Japheth; Nagashima, Yutaka; Sewell, Thomas; Chen, Zilin; O’Connor, Liam; Murray, Toby; Keller, Gabriele; Klein, Gerwin 2 2016 Cogent: uniqueness types and certifying compilation. Zbl 1522.68128 O’Connor, Liam; Chen, Zilin; Rizkallah, Christine; Jackson, Vincent; Amani, Sidney; Klein, Gerwin; Murray, Toby; Sewell, Thomas; Keller, Gabriele 2 2021 Cogent: uniqueness types and certifying compilation. Zbl 1522.68128 O’Connor, Liam; Chen, Zilin; Rizkallah, Christine; Jackson, Vincent; Amani, Sidney; Klein, Gerwin; Murray, Toby; Sewell, Thomas; Keller, Gabriele 2 2021 Refinement through restraint: bringing down the cost of verification. Zbl 1361.68045 O’Connor, Liam; Chen, Zilin; Rizkallah, Christine; Amani, Sidney; Lim, Japheth; Murray, Toby; Nagashima, Yutaka; Sewell, Thomas; Klein, Gerwin 6 2016 A framework for the automatic formal verification of refinement from Cogent to C. Zbl 1478.68048 Rizkallah, Christine; Lim, Japheth; Nagashima, Yutaka; Sewell, Thomas; Chen, Zilin; O’Connor, Liam; Murray, Toby; Keller, Gabriele; Klein, Gerwin 2 2016 Multiscale simulation of the responses of discrete nanostructures to extreme loading conditions based on the material point method. Zbl 1423.74082 Jiang, Shan; Chen, Zhen; Sewell, Thomas D.; Gan, Yong 6 2015 Reconstruction of Z3’s bit-vector proofs in HOL4 and Isabelle/HOL. Zbl 1350.68225 Böhme, Sascha; Fox, Anthony C. J.; Sewell, Thomas; Weber, Tjark 6 2011 seL4 enforces integrity. Zbl 1342.68303 Sewell, Thomas; Winwood, Simon; Gammie, Peter; Murray, Toby; Andronick, June; Klein, Gerwin 3 2011 Secure microkernels, state monads and scalable refinement. Zbl 1165.68454 Cock, David; Klein, Gerwin; Sewell, Thomas 9 2008 Constituent properties of HMX needed for mesoscale simulations. Zbl 0999.80503 Menikoff, Ralph; Sewell, Thomas D. 8 2002 all cited Publications top 5 cited Publications all top 5 Cited by 129 Authors 5 Klein, Gerwin 4 Murray, Toby 3 Keller, Gabriele Cornelia 3 Myreen, Magnus O. 3 Rizkallah, Christine 3 Sewell, Thomas D. 2 Barbosa, Haniel 2 Blanchette, Jasmin Christian 2 Chen, Zhen 2 Chen, Zilin 2 Daum, Matthias 2 Kumar, Ramana 2 Norrish, Michael 2 O’Connor, Liam 2 Purvis, Richard 2 Swierstra, Wouter 2 Timms, Robert 1 Amani, Sidney 1 Anderson, Michael James 1 Andronick, June 1 Baer, Melvin R. 1 Barrett, Clark W. 1 Barthe, Gilles 1 Betarte, Gustavo 1 Billing, Nelson 1 Bitterlich, Martin 1 Bodenmüller, Stefan 1 Böhme, Sascha 1 Breitner, Joachim 1 Buckmaster, John David 1 Campo, Juan Diego 1 Chakravarty, Manuel M. T. 1 Cheng, Shu 1 Cohen, Joshua M. 1 Curtis, John P. 1 Davis, Jared 1 De, Suvranu 1 Desjardin, Paul E. 1 Dong, JinSong 1 Dörrenbächer, Jan 1 D’Souza, Deepak 1 Fleury, Mathias 1 Fontaine, Pascal 1 Fox, Anthony C. J. 1 Fu, Yu-Fu 1 Gammie, Peter 1 Gartling, David K. 1 Ghasemi, Amirmahdi 1 Ghasemi, Amirreza 1 Guéneau, Armaël 1 Hedayati, Faraz 1 Hernández, Alberto M. 1 Hoa, Koh Chuen 1 Hou, Zhe 1 Jackson, Thomas Luther 1 Jackson, Vincent 1 Josyula, Kartik 1 Kapahi, Anil 1 Kremer, Gereon 1 Krijnen, Jacco O. G. 1 Lachnitt, Hanna 1 Lee, Kibaek 1 Lee, Seungjoon 1 Li, Yao 1 Lim, Japheth 1 Liu, Jiaxiang 1 Liu, Yan 1 Liu, Yang 1 Lu, Mengkai 1 Luna, Carlos 1 Ma, Jingxin 1 Ma, Ran 1 Malvandi, Amir 1 Marshall, Daniel F. 1 Matichuk, Daniel 1 Nagashima, Yutaka 1 Niemetz, Aina 1 Nikbakhti, Rasoul 1 Nötzli, Andres 1 Orchard, Dominic A. 1 Owens, Scott 1 Ozdemir, Alex 1 Paulson, Lawrence Charles 1 Picu, Catalin R. 1 Preiner, Mathias 1 Rahul 1 Reif, Wolfgang 1 Reynolds, Andrew 1 Rümmer, Philipp 1 Sambasivan, Shiv Kumar 1 Sanán, David 1 Schellhorn, Gerhard 1 Sewell, Tommy 1 Shi, Xiaomu 1 Shi, Yaqin 1 Spector-Zabusky, Antal 1 Stewart, D. Scott 1 Sun, Pengtao 1 Sun, WaiChing 1 Tan, Yong Kiam ...and 29 more Authors all top 5 Cited in 11 Serials 7 Journal of Automated Reasoning 4 Computer Methods in Applied Mechanics and Engineering 4 Combustion Theory and Modelling 3 Journal of Functional Programming 2 Computational Mechanics 2 Formal Aspects of Computing 1 Computers and Fluids 1 Computers & Mathematics with Applications 1 Sādhanā 1 Communications in Computational Physics 1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences all top 5 Cited in 11 Fields 23 Computer science (68-XX) 10 Mechanics of deformable solids (74-XX) 6 Fluid mechanics (76-XX) 5 Numerical analysis (65-XX) 3 Mathematical logic and foundations (03-XX) 3 Classical thermodynamics, heat transfer (80-XX) 2 Statistics (62-XX) 1 Partial differential equations (35-XX) 1 Integral equations (45-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year