TyDe 2023 Talk on a Probabilistic Programming Language
A extended abstract “An Intrinsically-typed Probabilistic Programming Language in Coq” written by Saito and Affeldt is presented at the Workshop on Type-Driven Development (TyDe 2023).
Prof. Rose Bohrer’s Seminar Talk
Professor Rose Bohrer at Worcester Polytechnic Institute visited our group and gave a seminar talk on her work on Homotopy Type Theory for Sewn Quilts. We learned a lot about quilting and how homotopy type theory can help a programming language for quiliting.
Apriyadi presents Master’s Thesis
Our member presented their master’s thesis.
- Rifqi Adlan Apriyadi, Adding User-Definable Representation Conversion to Debugger State Visualization
Cong receives Tokyo Tech Challenging Research Award
Cong received the 2023 Tokyo Tech Challenging Research Award for her research project titled “Developing a Typed Programming Language for Ensuring Fuzzy Specifications”.
Tanabe’s Dissertation was Introduced in Journal of Functional Programming
Yudai Tanabe’s doctoral dissertation “A Programming Language with Versions” was introduced in “the PhD Abstracts” in the Journal of Functional Programming.
Poster on Polymorphism for Programing With Versions at ECOOP 2023 SRC
The poster titled “Polymorphism for Programming With Versions” authored by Luthfan Anshar Lubis was selected for the Student Research Competition (SRC) at the 37th European Conference on Object-Oriented Programming (ECOOP 2023) held at the University of Washington, Seattle, USA.
👉 Project
DEBT Workshop Paper on Visual Debugger with Representation Conversion
The paper titled “Program State Visualizer with User-Defined Representation Conversion (WIP)” authored by Rifqi Adlan Apriyadi, Hidehiko Masuhara, and Youyou Cong has been accepted by the first Future Debugging Techniques (DEBT) workshop, co-located with the 37th European Conference on Object-Oriented Programming (ECOOP 2023) to be held at the University of Washington, Seattle, USA.
ITiCSE Paper on the Error Generating Quiz
A paper titled “Mind the Error Message: an Inverted Quiz Format to Direct Learner’s Attention to Error Messages”, authored by Kazuhiro Tsunoda, Hidehiko Masuhara and Youyou Cong is accepted by the ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE 2023). We are glad that our paper is one of 81 accepted papers among 299 submissions. The conference is held in Turku, Finland, in July 2023.
Mr. Yaozhu Sun’s Visit
Yaozhu Sun, a PhD student at University of Hong Kong, visited our group and gave a seminar talk on his work on compositional programming. Since he stayed in our group as an exchange student five years ago, it was very nice to have his re-visit.
JSS Article on Code Legibility
Our paper, entitled “A Systematic Literature Review on the Impact of Formatting Elements on Code Legibility”, authored by Delano Oliveira, Reydne Santos, Fernanda Madeiral, Hidehiko Masuhara, and Fernando Castor, is accepted by the Journal of Systems and Software. It is our pleasure to publish the result of our collaboration including the Fernando’s visit in 2019.
Delano Oliveira, Reydne Santos, Fernanda Madeiral, Hidehiko Masuhara, and Fernando Castor. A systematic literature review on the impact of formatting elements on code legibility. The Journal of Systems and Software, p. 111728, 2023. DOI:10.1016/j.jss.2023.111728