A Verified Generational Garbage Collector for CakeML Adam Sandberg Ericsson, Magnus O. Myreen, and Johannes ˚ Aman Pohjola Chalmers University of Technology, Sweden

Source URL: cakeml.org

• Computing
• Software engineering
• Memory management
• Computer programming
• Pointer
• Garbage collection
• Heap
• C dynamic memory allocation
• Region-based memory management
• Go
• Garbage
• Sort

Suggesting Valid Hole Fits for Typed-Holes (Experience Report) Matthías Páll Gissurarson Chalmers University of Technology, Sweden

Source URL: mpg.is

• Software engineering
• Programming language theory
• Computing
• Type theory
• Data types
• Functional languages
• Type systems
• Lambda calculus
• HindleyMilner type system
• Haskell
• Agda
• Dependent type

A semi-liquid catholyte based Li-S system for fast charging energy storage a Simon Lindberg a, Marco Agostini a, Aleksandar Matic a Chalmers university of technology, Chalmersplatsen 4, 41296 Göteborg, Sweden

Source URL: www.imlb2018.org

Reasoning About Loops Using Vampire in KeY? Wolfgang Ahrendt, Laura Kovács, and Simon Robillard Chalmers University of Technology We describe symbol elimination and consequence nding in

Source URL: www.cse.chalmers.se

Simplification Rules for Constrained Formula Tableaux Martin Giese Chalmers University of Technology Department of Computing Science SGothenburg, Sweden

Source URL: heim.ifi.uio.no

High-Speed and Low-Power Multipliers Using the Baugh-Wooley Algorithm and HPM Reduction Tree Magnus Själander and Per Larsson-Edefors Department of Computer Science and Engineering Chalmers University of Technology, SE-

Source URL: www.sjalander.com

Flexible Manipulation of Labeled Values for Information-Flow Control Libraries Marco Vassena1 , Pablo Buiras1 , Lucas Waye2 , and Alejandro Russo1 1 Chalmers University of Technology

Source URL: people.seas.harvard.edu

Speculative Tag Access for Reduced Energy Dissipation in Set-Associative L1 Data Caches Alen Bardizbanyan† , Magnus Själander‡ , David Whalley‡ , and Per Larsson-Edefors† † Chalmers University of Technology,

Source URL: www.sjalander.com

Prof. Dr. Jan Lagerwall, Université du Luxembourg Daniel Vorländer-Vorlesung 2014 Jan Lagerwall was born in Göteborg, Sweden, where he also had his higher education, at Chalmers University of Technology. He obtained h

Source URL: www.liquidcr.ovgu.de

A Look-Ahead Task Management Unit for Embedded Multi-Core Architectures Magnus Själander Department of Computer Science and Engineering Chalmers University of Technology SEGöteborg, Sweden

Source URL: www.sjalander.com