List view

• Solving paper

  Beef up current Kalashnikov paper with: * Synthesising multiple programs at once * Synthesising existential variables * Evolutionary algorithms * Seeding? * Progressively changing synthesis goals, e.g. "try to be more inductive now" * More experiments

  No due date

  •0/5 issues closed
  0% complete5 open0 closed

• Safety paper

  Synthesise: * Safety invariants * Reachability invariants Discuss: * Relation to interpolation/IC3/abstract interpretation

  No due date

  •0/1 issues closed
  0% complete1 open0 closed

• Termination paper

  Synthesise: * Lexicographic bitvector ranking functions * Lexicographic floating point ranking functions

  Overdue by 12 year(s)

  •

  Due by June 9, 2014

  •1/5 issues closed
  20% complete4 open1 closed