Ed Zulkoski, B.S.

Ed Zulkoski
Ph.D. Student
Phone:
Email: ezulkosk@#REMOVEME#gsd#REMOVEME TOO#.uwaterloo(NONSENSE).ca
LinkedIn Account
Resume

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

News

Projects

Current Projects

  •    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.

Past Projects

  • 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. 

 

Tools

Publications

Conference Paper
Murashkin, A., L S. Azevedo, J. Guo, E. Zulkoski, J. Liang, K. Czarnecki, and D. Parker, "Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers", SAE 2015 World Congress & Exhibition, Detroit, Michigan, USA, SAE, 04/2015.
Zulkoski, E., V. Ganesh, and K. Czarnecki, "MathCheck: A Math Assistant based on a Combination of Computer Algebra Systems and SAT Solvers", International Conference on Automated Deduction, Berlin, Germany, Springer, 08/2015. [pdf][pptx]
Zulkoski, E., C. Kleynhans, M-H. Yee, D. Rayside, and K. Czarnecki, "Optimizing Alloy for Multi-Objective Software Product Line Configuration", ABZ, Toulouse, France, Springer-Verlag, 06/2014. [pdf]
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. [pdf][pdf]
Tags:

In our lab, you are free to work on what you are interested in, and your colleagues will always be there when you need help or feedback.

Wenbin Ji

This lab is quite diverse. It is comprised of a group of really smart people from all over the world, each with different backgrounds, working in a friendly and welcoming environment. Being part of it has been such an enriching experience.

Jesús Alejandro Padilla Gaeta