Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Ozdemir, Alex
54  Ergebnisse:
Personensuche X
?
1

Bounded Verification for Finite-Field-Blasting: In a Compil..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Ozdemir, Alex ; Wahby, Riad S. ; Brown, Fraser. - p. 154-175 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Silph: A Framework for Scalable and Accurate Generation of ..:

, In: 2023 IEEE Symposium on Security and Privacy (SP),
Chen, Edward ; Zhu, Jinhao ; Ozdemir, Alex... - p. 848-863 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Satisfiability Modulo Finite Fields:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Ozdemir, Alex ; Kremer, Gereon ; Tinelli, Cesare. - p. 163-186 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Generating and Exploiting Automated Reasoning Proof Certifi..:

Barbosa, Haniel ; Barrett, Clark ; Cook, Byron...
Communications of the ACM.  66 (2023)  10 - p. 86-95 , 2023
Link: https://doi.org/10.1145/..
 
?
5

R2E2: low-latency path tracing of terabyte-scale scenes usi..:

Fouladi, Sadjad ; Shacklett, Brennan ; Poms, Fait...
ACM Transactions on Graphics.  41 (2022)  4 - p. 1-12 , 2022
Link: https://doi.org/10.1145/..
 
?
6

Flexible Proof Production in an Industrial-Strength SMT Sol..:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Barbosa, Haniel ; Reynolds, Andrew ; Kremer, Gereon... - p. 15-35 , 2022
Link: https://doi.org/10.1007/..
 
?
7

CirC: Compiler infrastructure for proof systems, software v..:

, In: 2022 IEEE Symposium on Security and Privacy (SP),
Ozdemir, Alex ; Brown, Fraser ; Wahby, Riad S. - p. 2248-2266 , 2022
Link: https://doi.org/10.1109/..
 
?
8

Proof-Stitch: Proof Combination for Divide-and-Conquer SAT ..:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),
Nair, Abhishek ; Chattopadhyay, Saranyu ; Wu, Haoze.. - p. 84-88 , 2022
Link: https://doi.org/10.34727..
 
?
9

cvc5: A Versatile and Industrial-Strength SMT Solver:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Barbosa, Haniel ; Barrett, Clark ; Brain, Martin... - p. 415-442 , 2022
Link: https://doi.org/10.1007/..
 
?
10

Parallelization Techniques for Verifying Neural Networks:

, In: 2020 Formal Methods in Computer Aided Design (FMCAD),
Wu, Haoze ; Ozdemir, Alex ; Zeljic, Aleksandar... - p. 128-137 , 2020
Link: https://doi.org/10.34727..
 
?
11

DRAT-based Bit-Vector Proofs in CVC4:

, In: Lecture Notes in Computer Science; Theory and Applications of Satisfiability Testing – SAT 2019,
Ozdemir, Alex ; Niemetz, Aina ; Preiner, Mathias.. - p. 298-305 , 2019
Link: https://doi.org/10.1007/..
 
?
12

Proof-Stitch: Proof Combination for Divide and Conquer SAT ..:

Nair, Abhishek ; Chattopadhyay, Saranyu ; Wu, Haoze..
http://arxiv.org/abs/2209.05201.  , 2022
Link: http://arxiv.org/abs/220..
 
?
13

Experimenting with Collaborative zk-SNARKs: Zero-Knowledge ..:

Ozdemir, Alex ; Boneh, Dan
doi:10.5281/zenodo.5889563.  , 2022
Link: https://zenodo.org/recor..
 
?
14

SAT Solving in the Serverless Cloud:

Ozdemir, Alex ; Wu, Haoze ; Barrett, Clark
Conference Series: Formal Methods in Computer-Aided Design.  , 2021
Link: https://hdl.handle.net/2..
 
?
15

Artifact for Paper cvc5: A Versatile and Industrial-Strengt..:

Barbosa, Haniel ; Barrett, Clark ; Brain, Martin...
doi:10.5281/zenodo.5647316.  , 2021
Link: https://zenodo.org/recor..
 
1-15