According to our database1, Jad Hamza authored at least 23 papers between 2010 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020
Proc. ACM Program. Lang., 2019
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018
Dagstuhl Artifacts Ser., 2017
Why You Can't Beat Blockchains: Consistency and High Availability in Distributed Systems.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
Proceedings of the 31st European Conference on Object-Oriented Programming, 2017
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015
Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability (Invited Talk).
Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014
Proceedings of the Programming Languages and Systems, 2013
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010