🎉 The London Scala User Group is back in action! 🎉 Come along to another round of London Scala Talks! This month, we'll be hearing from Dragana Milovancevic and Jamie Thompson. We look forward to seeing you! ———————————————————— *Agenda* 6:00pm - 🍻 Doors open. Come along and grab a drink! 6:30pm - 🗣️ Dragana Milovancevic: Autograder for Functional Programming and Beyond 7:10pm - 🍕 Intermission: Join us for some free food and drinks! Vegetarian and gluten free options are provided. Let us know if you'd like something special - we'd be happy to accommodate. 7:45pm - 🗣️ Jamie Thompson: How does Incremental Compilation Work with Scala 3, Can we Improve it? ———————————————————— 🗣️ Dragana Milovancevic: Autograder for Functional Programming and Beyond With the ever-growing numbers of students in programming courses, autograding has become a necessity. In this talk, I will present our work on automated grading of Scala programming assignments. Our approach takes as input student submissions and reference solutions, and uses equivalence checking to automatically prove or disprove correctness of each submission. We achieve robustness by handling recursion using functional induction and by handling auxiliary functions using function call matching. We achieve scalability using a clustering algorithm that leverages the transitivity of equivalence to discover intermediate reference solutions among student submissions. We implement our approach on top of the Stainless verifier, to support equivalence checking of Scala programs. We illustrate the underlying techniques on example Scala exercises throughout the talk. *Dragana Milovancevic* Dragana Milovančević is a PhD student in the LARA group at EPFL, under the supervision of Prof. Viktor Kunčak, and an Academic Collaborator at Birkbeck, University of London. Previously, she received her master's degree from the University of Belgrade, where she was working as a teaching assistant. Her research interests are in the field of formal verification, where she applies equivalence checking to a variety of domains, including automated grading. ———————————————————— 🗣️ Jamie Thompson: How does Incremental Compilation Work with Scala 3, Can we Improve it? Scala 3 uses the same incremental compiler as Scala 2, but it needs to support all the new features of Scala 3, how does this work? How can you use it to improve build times and you will also find out what opportunities there are to improve the performance benefits further with Scala 3. Incremental compilation is a way to improve the build times of Scala projects. It has potential to be improved further with cooperation from the user to better organise their projects. We will find out how it works in principle, the changes in scala 3 and the steps we can take to improve it further (edit: e.g. with pipelining). *Jamie Thompson* Jamie is a compiler hacker at the Scala Center, working on everything from the newcomers experience to all things TASTy. I have interests in making software design more fun and approachable; and reducing barriers to learning. In my spare time I like to read, listen to music, play games, go on hikes. ———————————————————— 🌐 Can't make it in person? We'll be streamed online from 6PM at https://thetradedesk.zoom.us/j/92415657377?pwd=WE1DMlJRdERtNEt2VzRwREhkdGo5Zz09 Passcode: 308964 ———————————————————— 🙌 Thanks to our partners: ScalaJobs: https://scalajobs.com/ VirtusLab: https://virtuslab.com/ ———————————————————— 🗣️ Would you like to present, but are not sure how to start? Give a talk with us and you'll receive mentorship from a trained toastmaster! Get in touch and we'll get you started: https://forms.gle/zv5i9eeto1BsnSwe8 🏡 Interested in hosting or supporting us? Please get in touch: https://forms.gle/3SX3Bm6zHqVodBaMA ———————————————————— 📜 All London Scala User Group events operate under the Scala Community Code of Conduct: https://www.scala-lang.org/conduct/ We encourage each of you to report the breach of the conduct, either anonymously or by contacting one of our team members. We guarantee privacy and confidentiality, as well as that we will take your report seriously and react quickly. https://forms.gle/9PMMorUWgBnbk1mm6