Kareem Khazem

According to our database, Kareem Khazem authored at least 6 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2021

Code-level model checking in the software development workflow at Amazon Web Services.

Nathan Chong, Byron Cook, Jonathan Eidelman, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle

Softw. Pract. Exp., 2021

Model checking boot code from AWS data centers.

Byron Cook, Kareem Khazem, Daniel Kroening, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle

Formal Methods Syst. Des., 2021

2020

Code-level model checking in the software development workflow.

Nathan Chong, Byron Cook, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle

Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020

2019

CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker - (Competition Contribution).

Kareem Khazem, Michael Tautschnig

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

Making data-driven porting decisions with Tuscan.

Kareem Khazem, Earl T. Barr, Petr Hosek

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

2016

smid: A Black-Box Program Driver.

Kareem Khazem, Michael Tautschnig

Proceedings of the Model Checking Software - 23rd International Symposium, 2016