Divide-and-Conquer Algorithms for Synthesis

成立时间：January 1, 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
  
  PDF Publication DOI
- Synthesis Through Unification
  
  Rajeev Alur, Pavol Cerny, Arjun Radhakrishna
  
  Computer Aided Verification (CAV) | July 2015
  
  PDF Publication DOI

- 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
  
  PDF Publication DOI
- Synthesis Through Unification
  
  Rajeev Alur, Pavol Cerny, Arjun Radhakrishna
  
  Computer Aided Verification (CAV) | July 2015
  
  PDF Publication DOI

- 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
  
  PDF Publication DOI
- Synthesis Through Unification
  
  Rajeev Alur, Pavol Cerny, Arjun Radhakrishna
  
  Computer Aided Verification (CAV) | July 2015
  
  PDF Publication DOI

人员

Arjun Radhakrishna

Principal Researcher

Abhishek Udupa的肖像

Abhishek Udupa

Senior Research SDE

Microsoft Research

Pavol Cerny的肖像

Pavol Cerny

Professor

TU Wien

Rajeev Alur的肖像

Rajeev Alur

Professor

University of Pennsylvania