| Satisfiability modulo recursive programs P Suter, AS Köksal, V Kuncak International Static Analysis Symposium, 298-315, 2011 | 153 | 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 | 53 | 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 | 52 | 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 | 43 | 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 | 32* | 2015 |
| Program synthesis for systems biology AS Koksal UC Berkeley, 2018 | 7 | 2018 |
Philippe SuterResearch Staff Member at IBM T.J. WatsonVerified email at us.ibm.com
