Specifying and verifying sparse matrix codes. - Gilad Arnold; Johannes Hölzl; Ali Sinan Köksal; Rastislav Bodík; Mooly Sagiv (ICFP, 2010)

Scala to the Power of Z3: Integrating SMT and Programming. - Ali Sinan Köksal; Viktor Kuncak; Philippe Suter (CADE, 2011)

Satisfiability Modulo Recursive Programs. - Philippe Suter; Ali Sinan Köksal; Viktor Kuncak (SAS, 2011)

Constraints as control. - Ali Sinan Köksal; Viktor Kuncak; Philippe Suter (POPL, 2012)

Synthesis of biological models from mutation experiments. - Ali Sinan Köksal; Yewen Pu; Saurabh Srivastava 001; Rastislav Bodík; Jasmin Fisher; Nir Piterman (POPL, 2013)

Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data. - Jasmin Fisher; Ali Sinan Köksal; Nir Piterman; Steven Woodhouse (CAV (1), 2015)

Program Synthesis for Systems Biology. - Ali Sinan Köksal (2018)