Compilers: Analysis of Pointers and Structures Show more
Analysis of Pointers and Structures - Chase, Wegman, Zadeck
High-level languages could be optimized significantly if compilers
could determine automatically how pointers and heap allocated structures are used.
Video: Failure Detectors Show more
Kiran Bhattaram (@kiranb) on Failure Detectors
The problem of consensus is central to many distributed systems algorithms. Failure detectors are central to the way we think about consensus algorithms. In a fully asynchronous system, the FLP impossibility result shows that no consensus solution that can tolerate crash failures exists!
Strictness analysis for higher-order functions Show more
Strictness analysis for higher-order functions - Burn
Abstract interpretation is a compile-time technique which is used to gain information about a program that may then be used to optimise the execution of the program. A particular use of abstract interpretation is the strictness analysis of functional programs.
An Optimizing Compiler for Lexically Scoped Lisp Show more
An Optimizing Compiler for Lexically Scoped Lisp - Brooks, Gabriel, Steele
While LISP is usually thought of as a language primarily for symbolic
processing and list manipulation, this compiler is also intended to
compete with the S-1 PASCAL and FORTIG~.N compilers for quality of
compiled numerical code.
Uniprocessor Garbage Collection Techniques - Wilson
Incremental techniques can keep garbage collection pause times short, by interleaving small amounts of collection work with program execution. Generational schemes improve efficiency and locality by garbage collecting a smaller area more often, while exploiting typical lifetime characteristics to avoid undue overhead from long-lived objects.
Computer Science Paper Show more
Escape Analysis on Lists - Park, Goldberg
This paper describes a compile time analysis, called escape analysis, for determining the
lifetime of dynamically created objects in higher order functional programs, and describes optimizations that can be performed, based on the analysis, to improve storage allocation and reclamation of such objects.
A concurrent, generational garbage collector for a multithreaded implementation of ML Show more
A concurrent, generational garbage collector for a multithreaded implementation of ML - Dollgez, Leroy
This paper presents the design and implementation of a "quasi real-time" garbage collector for Concurrent Caml Light, an implementation of ML with threads.
A Non-recursive List Compacting Algorithm Show more
A Non-recursive List Compacting Algorithm - Cheney
A simple non-recursive list structure compacting scheme or garbage collector suitable for both compact and LISP-like list structures is presented. The algorithm avoids the need for recursion by using the partial structure as it is built up to keep track of those lists that have been copied.
One Pass Real-Time Generational Mark-Sweep Garbage Collection - Armstrong, Virding
In this paper we present a simple scheme for reclaiming data for such language classes with a single pass mark-sweep collector. We also show how the simple scheme can be modified so that the collection can be done in an incremental manner (making it suitable for real-time collection).
On Understanding Types, Data Abstraction, and Polymorphism - Cardelli, Wegner
"Our objective is to understand the notion of type in programming languages, present a model of typed,
polymorphic programming languages that reflects recent research in type theory, and examine the relevance of recent research to the design of practical programming languages."
The Principal Type-Scheme of an Object in Combinatory Logic - Hindley
Fast, secure and up-to-date instance, welcoming everyone around the world. Join us! 🌍
Up since 04/04/2017. ✅
Why should you sign up on mstdn.io?
This instance is not focused on any theme or subject, feel free to talk about whatever you want. Although the main language is english, we accept every single language and country.
We're connected to the whole OStatus/ActivityPub fediverse and we do not block any foreign instance nor user.
We do have rules, but the goal is to have responsible users. So far we haven't had any issue with moderation
The instance uses a powerful server to ensure speed and stability, and it has good uptime. We follow state-of-the-art security practices.
Also, we have over 300 custom emojis to unleash your meming potential!
Looking for a Kpop themed instance? Try kpop.social