progscrape: people.csail.mit.edu

Loading...

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

Introduction to Program Synthesis

4 months ago people.csail.mit.edu

bddbddb: Using Datalog with Binary Decision Diagrams for Program Analysis

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

The WB B-Tree Database

6 months ago people.csail.mit.edu database

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

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

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

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

What Goes Around Comes Around [pdf]

15 months ago people.csail.mit.edu pdf

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

17 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

2 years ago people.csail.mit.edu arm

On relational compilation

2 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

3 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

4 years ago people.csail.mit.edu

Advanced Scheme: Some Naughty Bits

4 years ago people.csail.mit.edu scheme

Safecracker: Leaking Secrets through Compressed Caches

4 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

How NLP can help cure cancer?

5 years ago people.csail.mit.edu cancer

Kendo: Efficient, Deterministic Multithreading in Software (2009)

5 years ago people.csail.mit.edu

Sundial: Harmonizing Concurrency Control and Caching in a Distributed OLTP DBMS

5 years ago people.csail.mit.edu concurrency