387 Soda Hall MC 1776
Computer Science Division
University of California, Berkeley
Berkeley, CA 94720-1776


I'm a fourth-year graduate student in computer science at UC Berkeley, advised by Prof. Ras Bodik. I'm interested in program synthesis and its applications to systems biology.

I have completed my B.Sc. and M.Sc. degrees at EPFL, where my advisor was Prof. Viktor Kuncak.


Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data
Jasmin Fisher, Ali Sinan Köksal, Nir Piterman, Steven Woodhouse
27th International Conference on Computer Aided Verification (CAV), 2015

Synthesizing signaling pathways from temporal phosphoproteomic data (Abstract)
Ali Sinan Köksal, Anthony Gitter, Kirsten Beck, Aaron McKenna, Saurabh Srivastava, Nir Piterman, Rastislav Bodík, Alejandro Wolf-Yadlin, Ernest Fraenkel, Jasmin Fisher
RECOMB/ISCB Conference on Regulatory and Systems Genomics, 2014

Synthesis of Biological Models from Mutation Experiments
Ali Sinan Köksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodík, Jasmin Fisher, Nir Piterman
40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2013
[slides] [source]

Constraints as Control
Ali Sinan Köksal, Viktor Kuncak, Philippe Suter
39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2012

Satisfiability Modulo Recursive Programs.
Philippe Suter, Ali Sinan Köksal, Viktor Kuncak
18th International Static Analysis Symposium (SAS), 2011

Scala to the Power of Z3: Integrating SMT and Programming (System Description)
Ali Sinan Köksal, Viktor Kuncak, Philippe Suter
23rd International Conference on Automated Deduction (CADE), 2011

Specifying and verifying sparse matrix codes
Gilad Arnold, Johannes Hölzl, Ali Sinan Köksal, Rastislav Bodík, Mooly Sagiv
15th ACM SIGPLAN International Conference on Functional Programming (ICFP), 2010