Perfiles

Doron A. Peled

Professor Of Computer Science, Bar Ilan University

Dirección de correo verificada de cs.biu.ac.il

Citado por 22941

Concurrency Theory Model Checking Verification Software Testing Program Synthesis

Rastislav Bodik

University of Washington

Dirección de correo verificada de cs.washington.edu

Citado por 11865

Programming Languages Program Synthesis

Sumit Gulwani

Partner Research Manager, Microsoft

Dirección de correo verificada de microsoft.com

Citado por 8856

Program Synthesis Artificial Intelligence Program Verification End User Programming Computer-aided Education

Madhusudan Parthasarathy

Professor of Computer Science, University of Illinois at Urbana-Champaign

Dirección de correo verificada de illinois.edu

Citado por 6446

Reliable systems formal methods programming languages program synthesis logic in computer science

Illia Polosukhin

NEAR.AI

Dirección de correo verificada de near.ai

Citado por 5266

Deep Learning Machine Learning Program Synthesis

Richard Waldinger

Artificial Intelligence Center, SRI International

Dirección de correo verificada de ai.sri.com

Citado por 4948

artificial intelligence theorem proving program synthesis question answering planning

Eran Yahav

Technion, Israel

Dirección de correo verificada de cs.technion.ac.il

Citado por 4859

Program Synthesis Machine Learning for Programming Program Analysis Abstract Interpretation Programming Languages

Viktor Kunčak

EPFL

Dirección de correo verificada de epfl.ch

Citado por 4369

program synthesis formal methods verification automated reasoning

Douglas R Smith

Kestrel Institute

Dirección de correo verificada de kestrel.edu

Citado por 3298

Software Engineering Program Synthesis

Rishabh Singh

Research Scientist, Google Brain

Dirección de correo verificada de google.com

Citado por 3241

Program Synthesis Software Verification Software Engineering Programming Languages

1 - 10