Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
synthesis [2011/04/13 18:09] jobstman |
synthesis [2011/04/19 17:04] jobstman |
||
---|---|---|---|
Line 11: | Line 11: | ||
Action experts have a unique set of complementary skills, whose combination will be necessary to fulfill the research vision of synthesis. By giving a more active role to automated tasks and avoiding low-level coding, synthesis has the potential to dramatically improve the productivity of computer system developers. | Action experts have a unique set of complementary skills, whose combination will be necessary to fulfill the research vision of synthesis. By giving a more active role to automated tasks and avoiding low-level coding, synthesis has the potential to dramatically improve the productivity of computer system developers. | ||
- | ===== Synthesizers from Linear Temporal Logic (LTL or LTL-like) Specifications ===== | + | |
+ | ====== Research on Synthesis within and outside of the action ====== | ||
+ | |||
+ | Below we give an incomplete list of pointers to research within and outside the action related to this working group. | ||
+ | |||
+ | ====== Synthesizers from Linear Temporal Logic (LTL or LTL-like) Specifications ====== | ||
(UNDER CONSTRUCTION) | (UNDER CONSTRUCTION) | ||
Line 25: | Line 30: | ||
* [[http://users.ics.tkk.fi/kepa/|Aalto University (Keijo Heljanko)]] | * [[http://users.ics.tkk.fi/kepa/|Aalto University (Keijo Heljanko)]] | ||
* CU University (Fabio Somenzi) | * CU University (Fabio Somenzi) | ||
- | * Weizmann Institute of Science (Yaniv Saar, Armir Pnueli) and University of Leicester (Nir Piterman) **Tools:** [[http://www.wisdom.weizmann.ac.il/~saar/synthesis/|GR1-Synthesizer]] | + | * Weizmann Institute of Science ([[http://ysaar.net/|Yaniv Saar]], [[http://en.wikipedia.org/wiki/Amir_Pnueli|Amir Pnueli]]) and University of Leicester ([[http://www.cs.le.ac.uk/people/npiterman/|Nir Piterman]]) **Tools:** [[http://www.wisdom.weizmann.ac.il/~saar/synthesis/|GR1-Synthesizer]] |
- | ===== Other Game Solvers ===== | + | ====== Other Game Solvers ====== |
* [[http://automata.rwth-aachen.de/research/GASt/|GasT]] (RWTH Aachen) | * [[http://automata.rwth-aachen.de/research/GASt/|GasT]] (RWTH Aachen) | ||
Line 36: | Line 41: | ||
* [[http://www.cs.aau.dk/~adavid/tiga/|UPPAL-TIGA]] Solver for timed games | * [[http://www.cs.aau.dk/~adavid/tiga/|UPPAL-TIGA]] Solver for timed games | ||
- | ===== Synthesizers for Sequential Code, Code-Snippets, or Synchronization ===== | + | ====== Synthesizers for Sequential Code, Code-Snippets, or Synchronization ====== |
* [[http://lara.epfl.ch/w/impro|EPFL, LARA]] (Viktor Kuncak) **Implicit programming** | * [[http://lara.epfl.ch/w/impro|EPFL, LARA]] (Viktor Kuncak) **Implicit programming** | ||
* [[http://research.microsoft.com/en-us/um/people/sumitg/pubs/synthesis.html|Microsoft Research (Redmond Lab), RiSE Group]] (Sumit Gulwani) | * [[http://research.microsoft.com/en-us/um/people/sumitg/pubs/synthesis.html|Microsoft Research (Redmond Lab), RiSE Group]] (Sumit Gulwani) |