Explore l'amélioration de la traduction, des traductions basées sur le contexte source et des techniques de représentation de la valeur telles que le marquage et la boxe.
Discute de la synthèse automatique du code OS pour alléger le fardeau de la configuration du matériel de traduction pour les développeurs de système d'exploitation.
Couvre les représentations intermédiaires dans les compilateurs, en se concentrant sur CPS / L3 IR fonctionnel avec des continuations locales et des constructions de contrôle.
Explore la régulation spatiale de la translation des protéines ribosomiques et le rôle de l'ER dans la synthèse des protéines, couvrant les concepts avancés et les conceptions expérimentales.