Follow
Ali Sinan Köksal
Ali Sinan Köksal
PhD in Computer Science, UC Berkeley
Verified email at cs.berkeley.edu - Homepage
Title
Cited by
Cited by
Year
Satisfiability modulo recursive programs
P Suter, AS Köksal, V Kuncak
International Static Analysis Symposium, 298-315, 2011
1462011
Constraints as control
AS Köksal, V Kuncak, P Suter
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
832012
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
512013
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
512011
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
372018
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
342010
Synthesizing Executable Gene Regulatory Networks from Single-Cell Gene Expression
J Fisher, AS Koksal, N Piterman, S Woodhouse
Computer-Aided Verification, 2015
31*2015
Program synthesis for systems biology
AS Koksal
UC Berkeley, 2018
72018
The system can't perform the operation now. Try again later.
Articles 1–8