Ali Sinan Köksal
Ali Sinan Köksal
PhD in Computer Science, UC Berkeley
Verified email at - Homepage
Cited by
Cited by
Satisfiability modulo recursive programs
P Suter, AS Köksal, V Kuncak
International Static Analysis Symposium, 298-315, 2011
Constraints as control
AS Köksal, V Kuncak, P Suter
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
Scala to the Power of Z3: Integrating SMT and Programming
AS Köksal, V Kuncak, P Suter
International Conference on Automated Deduction, 400-406, 2011
Synthesis of biological models from mutation experiments
AS Koksal, Y Pu, S Srivastava, R Bodik, J Fisher, N Piterman
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013
Specifying and verifying sparse matrix codes
G Arnold, J Hölzl, AS Köksal, R Bodík, M Sagiv
ACM Sigplan Notices 45 (9), 249-260, 2010
Synthesizing Executable Gene Regulatory Networks from Single-Cell Gene Expression
J Fisher, AS Koksal, N Piterman, S Woodhouse
Computer-Aided Verification, 2015
Synthesizing Signaling Pathways from Temporal Phosphoproteomic Data
AS Köksal, K Beck, DR Cronin, A McKenna, ND Camp, S Srivastava, ...
Cell Reports 24 (13), 3607-3618, 2018
Program Synthesis for Systems Biology
AS Koksal
UC Berkeley, 2018
The system can't perform the operation now. Try again later.
Articles 1–8