Ed Zulkoski, B.S.

Ph.D. Student

Phone:
Email: ezulkosk@gsd.uwaterloo.ca
LinkedIn Account
Resume

B.S., Mathematics and Computer Science, Wilkes University

News

Using automated algorithm configurators such as SMAC to synthesize competitive SMT strategies.
Investigating CAS-SAT combinations. Designed a tool (MathCheck) that was used to verify two conjectures over hypercubes beyond previously known bounds.

ClaferSMT -- a full translation of the Clafer modeling language to SMT. Improved performance primarily for numeric operations.
Optimizing Alloy for Multi-objective Optimization of SPLs -- Applied formula rewrite techniques within the Kodkod solver, reducing the number of integer atoms to solve SPL optimization problems.
Exact Parallel Multi-Objective Combinatorial Optimization -- Defined and implemented several algorithms for exact MCOP solving, using off-the-shelf SMT solvers.

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Guo, J., E. Zulkoski, R. Olaechea, D. Rayside, K. Czarnecki, S. Apel, and J. M. Atlee, "Scaling Exact Multi-Objective Combinatorial Optimization by Parallelization", 29th IEEE/ACM International Conference on Automated Software Engineering (ASE), Västerås, Sweden, ACM, to appear, 2014.