progscrape: people.csail.mit.edu

Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Simulating Time With Square-Root Space

2 days ago people.csail.mit.edu compsci pdf

Transpiler is a meaningless word (2023)

19 days ago people.csail.mit.edu compiler

Sublinear Time Algorithms

3 months ago people.csail.mit.edu algorithm

Introduction to Program Synthesis

11 months ago people.csail.mit.edu

bddbddb: Using Datalog with Binary Decision Diagrams for Program Analysis

12 months ago people.csail.mit.edu compiler pdf

The WB B-Tree Database

12 months ago people.csail.mit.edu database

D-Expressions: Lisp power, Dylan style [pdf]

13 months ago people.csail.mit.edu lisp pdf

Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster Computing

21 months ago people.csail.mit.edu compsci distributed pdf

What Goes Around Comes Around [pdf]

22 months ago people.csail.mit.edu pdf

On the paper “Exploring the MIT Mathematics and EECS Curriculum Using LLMs” [pdf]

23 months ago people.csail.mit.edu llm mit pdf

Mathematical Marbling

2 years ago people.csail.mit.edu

PACMAN: Attacking ARM Pointer Authentication with Speculative Execution

3 years ago people.csail.mit.edu arm

On relational compilation

3 years ago people.csail.mit.edu

Design and Implementation of a 256-Core BrainFuck Computer

3 years ago people.csail.mit.edu

Introduction To Program Synthesis

3 years ago people.csail.mit.edu

Mental Poker

3 years ago people.csail.mit.edu

Differentiable Rasterizer for Vector Graphics

4 years ago people.csail.mit.edu graphics

Going from Bad to Worse: From Internet Voting to Blockchain Voting

4 years ago people.csail.mit.edu

Automated lost language deciphering using Phonetic Prior

4 years ago people.csail.mit.edu

Large single compilation-unit C programs

4 years ago people.csail.mit.edu c

Eulerian Video Magnification

4 years ago people.csail.mit.edu video

Accidental Cameras

4 years ago people.csail.mit.edu

The SIEUFERD Project

4 years ago people.csail.mit.edu

Introduction to Program Synthesis

5 years ago people.csail.mit.edu

Advanced Scheme: Some Naughty Bits

5 years ago people.csail.mit.edu scheme

Safecracker: Leaking Secrets through Compressed Caches

5 years ago people.csail.mit.edu

Scanning the Scanners: Sensing the Internet from a Distributed Network Telescope

5 years ago people.csail.mit.edu

Sound and Robust Solid Modeling via Exact Real Arithmetic and Continuity

5 years ago people.csail.mit.edu

Towards Multiverse Databases

5 years ago people.csail.mit.edu database

Distortion-Free Wide-Angle Portraits on Camera Phones

5 years ago people.csail.mit.edu