Edward Zulkoski

According to our database, Edward Zulkoski authored at least 16 papers between 2014 and 2026.

Collaborative distances:

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

2026

PLMGH: What Matters in PLM-GNN Hybrids for Code Classification and Vulnerability Detection.

Mohamed Taoufik Kaouthar El Idrissi, Edward Zulkoski, Mohammad Hamdaqa

CoRR, April, 2026

2025

On-Chain Risk Signals: Predicting Security Threats in DeFi Projects.

Bahareh Parhizkari, Antonio Ken Iannillo, Ed Zulkoski, Christof Ferreira Torres, Radu State

Proceedings of the 24th IEEE International Conference on Trust, 2025

Alchemist: LLM-Driven Test Generation using Solidity Mutants and the Scientific Method.

Morena Barboni, Filippo Lampa, Andrea Morichetta, Andrea Polini, Edward Zulkoski

Proceedings of the 2025 IEEE International Conference on Blockchain and Cryptocurrency, 2025

PRIMG : Efficient LLM-driven Test Generation Using Mutant Prioritization.

Mohamed Salah Bouafif, Mohammad Hamdaqa, Edward Zulkoski

Proceedings of the 29th International Conference on Evaluation and Assessment in Software Engineering, 2025

2024

A Context-Driven Approach for Co-Auditing Smart Contracts with The Support of GPT-4 code interpreter.

Mohamed Salah Bouafif, Chen Zheng, Ilham Ahmed Qasse, Ed Zulkoski, Mohammad Hamdaqa, Foutse Khomh

CoRR, 2024

Mutation Testing of Smart Contracts As a Service.

Morena Barboni, Andrea Morichetta, Andrea Polini, Sebastian Banescu, Edward Zulkoski

Proceedings of the Quality of Information and Communications Technology, 2024

Enhanced mutation testing of smart contracts in support of code inspection.

Sebastian Banescu, Morena Barboni, Andrea Morichetta, Andrea Polini, Edward Zulkoski

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2024

2018

Understanding and Enhancing CDCL-based SAT Solvers.

Edward Zulkoski

PhD thesis, 2018

Learning-Sensitive Backdoors with Restarts.

Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh

Proceedings of the Principles and Practice of Constraint Programming, 2018

The Effect of Structural Measures and Merges on SAT Solver Performance.

Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh

Proceedings of the Principles and Practice of Constraint Programming, 2018

2017

Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures.

Edward Zulkoski, Curtis Bright, Albert Heinle, Ilias S. Kotsireas, Krzysztof Czarnecki, Vijay Ganesh

J. Autom. Reason., 2017

Relating Complexity-theoretic Parameters with SAT Solver Performance.

Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Liang, Krzysztof Czarnecki, Vijay Ganesh

CoRR, 2017

2015

Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers.

Jia Hui Liang, Vijay Ganesh, Ed Zulkoski, Atulan Zaman, Krzysztof Czarnecki

Proceedings of the Hardware and Software: Verification and Testing, 2015

MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers.

Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki

Proceedings of the Automated Deduction - CADE-25, 2015

2014

Scaling exact multi-objective combinatorial optimization by parallelization.

Jianmei Guo, Edward Zulkoski, Rafael Olaechea, Derek Rayside, Krzysztof Czarnecki, Sven Apel, Joanne M. Atlee

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Optimizing Alloy for Multi-objective Software Product Line Configuration.

Ed Zulkoski, Chris Kleynhans, Ming-Ho Yee, Derek Rayside, Krzysztof Czarnecki

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014