Jad Hamza

According to our database, Jad Hamza authored at least 27 papers between 2010 and 2023.

Collaborative distances:

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

2023

On the Complexity of Convex and Reverse Convex Prequadratic Constraints.

Rodrigo Raya, Jad Hamza, Viktor Kuncak

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

2022

NP Decision Procedure for Monomial and Linear Integer Constraints.

Rodrigo Raya, Jad Hamza, Viktor Kuncak

CoRR, 2022

From Verified Scala to STIX File System Embedded Code Using Stainless.

Jad Hamza, Simon Felix, Viktor Kuncak, Ivo Nussbaumer, Filip Schramka

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

Stainless Verification System Tutorial.

Viktor Kuncak, Jad Hamza

Proceedings of the Formal Methods in Computer Aided Design, 2021

2020

Coming to Terms with Your Choices: An Existential Take on Dependent Types.

Georg Stefan Schmid, Olivier Blanvillain, Jad Hamza, Viktor Kuncak

CoRR, 2020

Zippy LL(1) parsing with derivatives.

Romain Edelmann, Jad Hamza, Viktor Kuncak

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

System FR: formalized foundations for the stainless verifier.

Jad Hamza, Nicolas Voirol, Viktor Kuncak

Proc. ACM Program. Lang., 2019

LL(1) Parsing with Derivatives and Zippers.

Romain Edelmann, Jad Hamza, Viktor Kuncak

CoRR, 2019

Can 100 Machines Agree?

Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi, Marko Vukolic

CoRR, 2019

System FR as Foundations for Stainless.

Jad Hamza, Nicolas Voirol, Viktor Kuncak

CoRR, 2019

On the complexity of linearizability.

Jad Hamza

Computing, 2019

Minimal Synthesis of String to String Functions from Examples.

Jad Hamza, Viktor Kuncak

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

2018

On reducing linearizability to state reachability.

Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza

Inf. Comput., 2018

Monotonic Prefix Consistency in Distributed Systems.

Alain Girault, Gregor Gößler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018

2017

Proactive Synthesis of Recursive Tree-to-String Functions from Examples (Artifact).

Mikaël Mayer, Jad Hamza, Viktor Kuncak

Dagstuhl Artifacts Ser., 2017

Why You Can't Beat Blockchains: Consistency and High Availability in Distributed Systems.

Alain Girault, Gregor Gößler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi

CoRR, 2017

Polynomial-Time Proactive Synthesis of Tree-to-String Functions from Examples.

Mikaël Mayer, Jad Hamza, Viktor Kuncak

CoRR, 2017

On verifying causal consistency.

Ahmed Bouajjani, Constantin Enea, Rachid Guerraoui, Jad Hamza

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Proactive Synthesis of Recursive Tree-to-String Functions from Examples.

Mikaël Mayer, Jad Hamza, Viktor Kuncak

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

Optimal Test Sets for Context-Free Languages.

Mikaël Mayer, Jad Hamza

CoRR, 2016

2015

Tractable Refinement Checking for Concurrent Objects.

Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Monitoring refinement via symbolic reasoning.

Michael Emmi, Constantin Enea, Jad Hamza

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).

Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

2014

Linearizability is EXPSPACE-complete.

Jad Hamza

CoRR, 2014

Verifying eventual consistency of optimistic replication systems.

Ahmed Bouajjani, Constantin Enea, Jad Hamza

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013

Verifying Concurrent Programs against Sequential Specifications.

Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza

Proceedings of the Programming Languages and Systems, 2013

2010

Synthesis for regular specifications over unbounded domains.

Jad Hamza, Barbara Jobstmann, Viktor Kuncak

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010