Meta tags:
description=Ali Sinan Köksal, Software Engineer at Google, UC Berkeley Computer Science PhD.;

Headings (most frequently used words):

ali, sinan, köksal, contact, about, publications,

Text of the page (most frequently used words):
ali (10), sinan (10), #köksal (10), and (10), for (6), programming (5), data (5), international (4), viktor (4), kuncak (4), from (4), acm (3), sigplan (3), conference (3), rastislav (3), bodík (3), philippe (3), suter (3), symposium (3), jasmin (3), fisher (3), nir (3), was (3), prof (3), 2026 (2), 2011 (2), scala (2), sigact (2), principles (2), languages (2), popl (2), code (2), 2013 (2), saurabh (2), srivastava (2), piterman (2), synthesis (2), computer (2), gene (2), cell (2), signaling (2), summer (2), intern (2), worked (2), improving (2), algorithms (2), developing (2), tools (2), research (2), science (2), completed (2), developed (2), last, updated, july, source, 2010, 15th, functional, icfp, gilad, arnold, johannes, hölzl, mooly, sagiv, specifying, verifying, sparse, matrix, codes, 23rd, automated, deduction, cade, the, power, integrating, smt, system, description, 18th, static, analysis, sas, satisfiability, modulo, recursive, programs, 2012, 39th, constraints, control, slides, 40th, yewen, biological, models, mutation, experiments, 2015, 27th, aided, verification, cav, steven, woodhouse, synthesising, executable, regulatory, networks, single, expression, 2018, reports, kirsten, beck, dylan, cronin, aaron, mckenna, nathan, camp, matthew, macgilvray, alejandro, wolf, yadlin, ernest, fraenkel, anthony, gitter, synthesizing, pathways, temporal, phosphoproteomic, publications, 2016, accurately, evaluating, machine, learning, fraud, detection, well, efficiently, summarizing, customer, pathway, discovery, high, throughput, microsoft, cambridge, sift, have, degrees, where, advisor, thesis, extension, that, supports, constraint, kaplan, epfl, previously, working, with, dissertation, work, program, methods, applied, systems, biology, yosef, ras, bodik, berkeley, software, engineer, leading, efforts, freshness, reliability, scalability, critical, search, features, such, sports, weather, civics, google, about, github, email, protected, contact,

Text of the page (random words):
ali sinan köksal ali sinan köksal contact email protected github about i m a software engineer at google i m leading efforts on improving data freshness reliability and scalability for critical search features such as sports weather and civics previously i completed my ph d in computer science at uc berkeley working with prof ras bodik and prof nir yosef for my dissertation work i developed program synthesis methods and tools as applied to systems biology i have completed my b sc and m sc degrees at epfl where my advisor was prof viktor kuncak for my m sc thesis i developed kaplan an extension of scala that supports constraint programming in summer 2016 i was an intern at sift science and i worked on improving and accurately evaluating machine learning algorithms for fraud detection as well as developing tools for efficiently summarizing customer data in summer 2013 i was a research intern at microsoft research cambridge and i worked on developing algorithms for signaling pathway discovery from high throughput data publications synthesizing signaling pathways from temporal phosphoproteomic data ali sinan köksal kirsten beck dylan r cronin aaron mckenna nathan d camp saurabh srivastava matthew e macgilvray rastislav bodík alejandro wolf yadlin ernest fraenkel jasmin fisher anthony gitter cell reports 2018 code synthesising executable gene regulatory networks from single cell gene expression data steven woodhouse nir piterman ali sinan köksal jasmin fisher 27th international conference on computer aided verification cav 2015 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 code 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 2026 ali sinan köksal source last updated on july 24 2026