Satisfiability modulo recursive programs P Suter, AS Köksal, V Kuncak International Static Analysis Symposium, 298-315, 2011 | 146 | 2011 |
Constraints as control AS Köksal, V Kuncak, P Suter Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012 | 83 | 2012 |
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 | 51 | 2013 |
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 | 51 | 2011 |
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 | 37 | 2018 |
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 | 34 | 2010 |
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 | 7 | 2018 |