Login / Signup
Ed Zulkoski
Publication Activity (10 Years)
Years Active: 2014-2024
Publications (10 Years): 1
Top Topics
Variable Ordering
Meeting Room
Conflict Resolution
Product Lines
Top Venues
CoRR
ABZ
Haifa Verification Conference
</>
Publications
</>
Mohamed Salah Bouafif
,
Chen Zheng
,
Ilham Ahmed Qasse
,
Ed Zulkoski
,
Mohammad Hamdaqa
,
Foutse Khomh
A Context-Driven Approach for Co-Auditing Smart Contracts with The Support of GPT-4 code interpreter.
CoRR
(2024)
Jia Hui Liang
,
Vijay Ganesh
,
Ed Zulkoski
,
Atulan Zaman
,
Krzysztof Czarnecki
Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers.
Haifa Verification Conference
(2015)
Jia Hui (Jimmy) Liang
,
Vijay Ganesh
,
Ed Zulkoski
,
Atulan Zaman
,
Krzysztof Czarnecki
Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers.
CoRR
(2015)
Ed Zulkoski
,
Chris Kleynhans
,
Ming-Ho Yee
,
Derek Rayside
,
Krzysztof Czarnecki
Optimizing Alloy for Multi-objective Software Product Line Configuration.
ABZ
(2014)