Jad Hamza

32 papers A* 5A 2B 4C 1Journal 16Unranked 4
YearRankTypeTitle / Venue / Authors
2023 B conf
On the Complexity of Convex and Reverse Convex Prequadratic Constraints.
LPAR
Rodrigo Raya, Jad Hamza, Viktor Kuncak
2022 — conf
From Verified Scala to STIX File System Embedded Code Using Stainless.
NFM
Jad Hamza, Simon Felix, Viktor Kuncak, Ivo Nussbaumer, Filip Schramka
2022 J jnl
NP Decision Procedure for Monomial and Linear Integer Constraints.
CoRR
Rodrigo Raya, Jad Hamza, Viktor Kuncak
2021 B conf
Stainless Verification System Tutorial.
FMCAD
Viktor Kuncak, Jad Hamza
2020 J jnl
Coming to Terms with Your Choices: An Existential Take on Dependent Types.
CoRR
Georg Stefan Schmid, Olivier Blanvillain, Jad Hamza, Viktor Kuncak
2020 A* conf
Zippy LL(1) parsing with derivatives.
PLDI
Romain Edelmann, Jad Hamza, Viktor Kuncak
2019 J jnl
Can 100 Machines Agree?
CoRR
Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi, Marko Vukolic
2019 J jnl
LL(1) Parsing with Derivatives and Zippers.
CoRR
Romain Edelmann, Jad Hamza, Viktor Kuncak
2019 B conf
Minimal Synthesis of String to String Functions from Examples.
VMCAI
Jad Hamza, Viktor Kuncak
2019 J jnl
On the complexity of linearizability.
Computing
Jad Hamza
2019 J jnl
System FR as Foundations for Stainless.
CoRR
Jad Hamza, Nicolas Voirol, Viktor Kuncak
2019 J jnl
System FR: formalized foundations for the stainless verifier.
Proc. ACM Program. Lang.
Jad Hamza, Nicolas Voirol, Viktor Kuncak
2018 C conf
Monotonic Prefix Consistency in Distributed Systems.
FORTE
Alain Girault, Gregor Gößler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi
2018 J jnl
On reducing linearizability to state reachability.
Inf. Comput.
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza
2017 J jnl
Minimal Synthesis of String To String Functions From Examples.
CoRR
Jad Hamza, Viktor Kuncak
2017 A* conf
On verifying causal consistency.
POPL
Ahmed Bouajjani, Constantin Enea, Rachid Guerraoui, Jad Hamza
2017 J jnl
Polynomial-Time Proactive Synthesis of Tree-to-String Functions from Examples.
CoRR
Mikaël Mayer, Jad Hamza, Viktor Kuncak
2017 J jnl
Proactive Synthesis of Recursive Tree-to-String Functions from Examples (Artifact).
Dagstuhl Artifacts Ser.
Mikaël Mayer, Jad Hamza, Viktor Kuncak
2017 A conf
Proactive Synthesis of Recursive Tree-to-String Functions from Examples.
ECOOP
Mikaël Mayer, Jad Hamza, Viktor Kuncak
2017 J jnl
Why You Can't Beat Blockchains: Consistency and High Availability in Distributed Systems.
CoRR
Alain Girault, Gregor Gößler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi
2016 J jnl
On Verifying Causal Consistency.
CoRR
Ahmed Bouajjani, Constantin Enea, Rachid Guerraoui, Jad Hamza
2016 J jnl
Optimal Test Sets for Context-Free Languages.
CoRR
Mikaël Mayer, Jad Hamza
2015 — conf
Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability (Invited Talk).
FSTTCS
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza
2015 A* conf
Monitoring refinement via symbolic reasoning.
PLDI
Michael Emmi, Constantin Enea, Jad Hamza
2015 — conf
On Reducing Linearizability to State Reachability.
ICALP (2)
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza
2015 J jnl
On Reducing Linearizability to State Reachability.
CoRR
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza
2015 — conf
On the Complexity of Linearizability.
NETYS
Jad Hamza
2015 A* conf
Tractable Refinement Checking for Concurrent Objects.
POPL
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza
2014 J jnl
Linearizability is EXPSPACE-complete.
CoRR
Jad Hamza
2014 A* conf
Verifying eventual consistency of optimistic replication systems.
POPL
Ahmed Bouajjani, Constantin Enea, Jad Hamza
2013 A conf
Verifying Concurrent Programs against Sequential Specifications.
ESOP
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza
2010 B conf
Synthesis for regular specifications over unbounded domains.
FMCAD
Jad Hamza, Barbara Jobstmann, Viktor Kuncak