YoVDO

Latte: Lightweight Aliasing Tracking for Java

Offered By: ACM SIGPLAN via YouTube

Tags

Java Courses Object-oriented programming Courses Type System Courses Memory Management Courses Static Analysis Courses Programming Language Design Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a 33-minute conference talk on Latte, a lightweight aliasing tracking system for Java. Delve into the innovative approach proposed by Conrad Zimmerman, Catarina Gamboa, Alcides Fonseca, and Jonathan Aldrich to minimize annotations and simplify invariants for reasoning about aliasing in object-oriented languages with mutation. Discover how Latte requires annotations only for parameters and fields while inferring them for local variables, and learn about its relaxed uniqueness concept that allows precise aliasing among local variables. Understand the benefits of this design, including support for destructive reads without altering language or run-time semantics. Examine practical applications of Latte in tracking uniqueness and aliasing in local sequential settings, such as modeling a stack, and gain insights into how this system compares to existing aliasing and uniqueness tracking systems in terms of expressiveness and developer effort.

Syllabus

[HATRA23] Latte: Lightweight Aliasing Tracking for Java


Taught by

ACM SIGPLAN

Related Courses

Functional Programming Principles in Scala
École Polytechnique Fédérale de Lausanne via Coursera
Software Analysis & Testing
Georgia Institute of Technology via Udacity
Go: The Complete Developer's Guide (Golang)
Udemy
Go Bootcamp: Master Golang with 1000+ Exercises and Projects
Udemy
C++ in Detail: Common Idioms
Udemy