Thomas Sewell
Orcid: 0000-0002-4891-0797
According to our database1,
Thomas Sewell
authored at least 28 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
1
1
2
1
1
1
2
1
1
2
1
4
1
2
3
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2023
Proc. ACM Program. Lang., January, 2023
2022
Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022
Proceedings of the Programming Languages and Systems, 2022
2021
2020
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020
2018
2017
PhD thesis, 2017
Real Time Syst., 2017
2016
Complete, High-Assurance Determination of Loop Bounds and Infeasible Paths for WCET Analysis.
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016
Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016
2014
ACM Trans. Comput. Syst., 2014
Proceedings of the VPT 2014. Second International Workshop on Verification and Program Transformation, 2014
2013
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013
Proceedings of the Formal Methods and Software Engineering, 2013
2011
Proceedings of the Interactive Theorem Proving - Second International Conference, 2011
Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011
Proceedings of the Certified Programs and Proofs - First International Conference, 2011
2010
Proceedings of the Design and Verification of Microprocessor Systems for High-Assurance Applications., 2010
2009
Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009
2008
Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008