Mr. BUI, Duy Dang (3rd-year doctoral student in Ogata Lab of Computing Science Research Area) received Best Paper Award：Second Place in The 28th International DMS Conference on Visualization and Visual Languages (DMSVIVA 2022).

The conference organizers seek contributions of high quality papers, panels or tutorials, addressing any novel aspect of sentient multimedia systems that significantly benefits from the incorporation/integration of multimedia data (e.g., visual, audio, pen, voice, image, etc.), especially in visual languages and distance education technologies, for presentation at the conference.
DMSVIVA 2022 was held as a virtual conference during June 29 - 30, 2022.

■Date Awarded
June 30, 2022

■Title
Integration of SMGA and Maude to Facilitate Characteristic Conjecture

■Authors
Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata and Adrián Riesco

■Abstract
SMGA is a visualization tool that focuses on helping human users to conjecture characteristics of a protocol. Those characteristics can be lemma candidates to prove that the protocol enjoys its desired properties in theorem proving. In previous work, interaction has been indirectly shown as one promising approach. Hence, it is worth focusing on interaction in SMGA. In the present paper, we revise SMGA to provide interactive features that can assist human users in conjecturing characteristics. Furthermore, we integrate SMGA and Maude, a high-performance reflective language and system so that the revised version of SMGA can use some powerful features of Maude, such as parsing, reachability analysis, and model checking. We conduct a case study to demonstrate the usefulness of these features by showing in detail the use of each feature in conjecturing characteristics.

■Comment
It is a great honor for us to receive this award from DMSVIVA 2022. Firstly, I would like to gratitude to Professor Kazuhiro Ogata for his endless support and great encouragements not only in research but also his experience about life. Secondly, I also would like to thank Professor Adrián Riesco (Universidad Complutense de Madrid) who is my supervisor of my minor research topic, for his kindly guidance and encouragements. Without both of them, I was not able to receive this award. Lastly, I would like to thank my family and my friends who give me the motivation for my way in research. This award is motivating and inspiring me to do better in the future.

July 7, 2022