ali sinan koksal

Contact

387 Soda Hall MC 1776
Computer Science Division
University of California, Berkeley
Berkeley, CA 94720-1776
koksal@cs.berkeley.edu

About

I'm a third-year graduate student in computer science at UC Berkeley, advised by Prof. Ras Bodik.

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

Publications

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]

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.