Scaling Enumerative Program Synthesis via Divide and Conquer
Rajeev Alur, Arjun Radhakrishna, Abhishek Udupa
Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2017
出版物
-
-
-
-
Synthesis Through Unification
Rajeev Alur, Pavol Cerny, Arjun Radhakrishna
Computer Aided Verification (CAV) | July 2015
-
-
-
Scaling Enumerative Program Synthesis via Divide and Conquer
Rajeev Alur, Arjun Radhakrishna, Abhishek Udupa
Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2017
-
Synthesis Through Unification
Rajeev Alur, Pavol Cerny, Arjun Radhakrishna
Computer Aided Verification (CAV) | July 2015
-
-
-
Scaling Enumerative Program Synthesis via Divide and Conquer
Rajeev Alur, Arjun Radhakrishna, Abhishek Udupa
Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2017
-
Synthesis Through Unification
Rajeev Alur, Pavol Cerny, Arjun Radhakrishna
Computer Aided Verification (CAV) | July 2015
-
人数
Arjun Radhakrishna
Principal Researcher
Abhishek Udupa
Senior Research SDE
Microsoft Research
Pavol Cerny
Professor
TU Wien
Rajeev Alur
Professor
University of Pennsylvania