Edward Zulkoski

According to our database, Edward Zulkoski authored at least 12 papers between 2014 and 2024.

Collaborative distances:

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

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

2016

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

Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

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

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