Divide-and-Conquer Algorithms for Synthesis

Établi : January 1, 2015

Publications

Afficher par:

- 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

Personne

Arjun Radhakrishna

Principal Researcher

Portrait de Abhishek Udupa

Abhishek Udupa

Senior Research SDE

Microsoft Research

Portrait de Pavol Cerny

Pavol Cerny

Professor

TU Wien

Portrait de Rajeev Alur

Rajeev Alur

Professor

University of Pennsylvania