Yusuke Shinyama
Code is Law (Lawrence Lessig). Code is not just machinery that governs our modern life, but it also represents our value system. Making the code accountable its behavior is crucial to a functioning democracy.
-
Help ordinary people understand complex software systems.
- To reduce software-related accidents.
- To improve the programmer's QoL.
- To educate the public.
- To promote evidence-based decision making.
- To facilitate reasoning about code.
-
Provide an analysis tool that can be used against real projects and get results immediately, rather than providing:
- New language
- Fancy IDE
- Cool theoretical framework
-
Bridge the gap between Software Engineering and Cognitive Science.
- Code Summarization
- Important variable discovery
- Metaphor detection