Programming Systems Group (渡部研究室)

We are investigating the principles and mechanisms to simplify the development of secure and reliable computing systems. Our approach is multidisciplinary, combining techniques in the fields of programming languages, system software and formal methods.

Contact: Takuo Watanabe (Professor, Department of Computer Science)

• Research
  • Publications / Presentations: EN / JA (T2R2)
• Members
• Theses (in Japanese)

Updates

• REBLS2023 Talk - October 23, 2023
• WSSE2023 Talk - September 22, 2023
• JSSST2023 Talks - September 12, 2023
• SWEST25 Poster & Demo - August 31, 2023 (awarded the Best Poster Bronze Award)
• SIGEMB63 Talk - July 14, 2023
• SIGPRO143 Talk - March 22, 2023
• MoreVMs2023 Talk - March 13, 2023
• PPL2023 Posters - March 6, 2023

…or you can find more in the archives.