SupervisedStudents

object SupervisedStudents

Student projects I supervise(d).

Don't hesitate to contact me if you're interested in doing a student project related one of the following topics:

Verified compilation
Interactive theorem proving
Compilers (or concretely the Scala 3 compiler)
Developer tooling

Attributes

Graph
Supertypes: class Object

trait Matchable

class Any
Self type: SupervisedStudents.type

Members list

Type members

Classlikes

Code Quality Feedback Tool for Students

The goal of the project is to develop a tool that would give personalized feedback to students about potential code smells in theor code (submissions). This way, any student can get feedback that is specifically catered to the mistakes they did.

Attributes

Authors:: Sidonie Bouthors
Supertypes: class Object

trait Matchable

class Any

Early Reclamation Of Lazy Values In Scala

The goal of the project was to add to the Scala 3 compiler the ability to force nullify last uses of local variables, so that the GC will be able to collect it.

This issue can be illustrated by a simple snippet:

 def print_forever() =
   val ints = LazyList.from(0)
   ints.foreach(println)

This program crashes with an OOM, because the ints reference is still kept on the stack.

Attributes

Authors:: Guillaume Carraux
See also: https://systemf.epfl.ch/blog/scala-explicit-reclamation/
Supertypes: class Object

trait Matchable

class Any

In this article

Generated with