06.29.2018 Meeting Notes

1. modularity: decoupling two connected actors, the upstream actor do not need to know much information about the downstream actor
2. use Yauhau to transform Flow programs into an intermediate representation (think call-graph) and then check the property
   1. Maybe only limited to static graph
   2. This tool maybe be too complicated for our task (preprocessing)
3. options:
   1. babel plugins
   2. flow extension
   3. Yauhau
4. To check properties at runtime, the same analysis should be able to run both offline and online
   1. flow check
   2. our check (static time)
   3. our check (hopefully the same check, online)
5. flow-runtime?
6. write specifications