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).
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).
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.
Our member presented their master’s thesis.
Cong received the 2023 Tokyo Tech Challenging Research Award for her research project titled “Developing a Typed Programming Language for Ensuring Fuzzy Specifications”.
Yudai Tanabe’s doctoral dissertation “A Programming Language with Versions” was introduced in “the PhD Abstracts” in the Journal of Functional Programming.
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
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.
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.
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.
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