Image
sloan fellos
CSAIL article

Three MIT Computer Science and Artificial Intelligence Laboratory (CSAIL) members are among 126 early-career researchers honored with 2024 Sloan Research Fellowships by the Alfred P. Sloan Foundation. Representing the departments of Chemistry, Electrical Engineering and Computer Science, and Physics, and the MIT Sloan School of Management, the awardees will receive a two-year, $75,000 fellowship to advance their research.

Image
alt="MIT CSAIL's AI system melds simulations and physical testing to forge materials with newfound durability and flexibility for diverse engineering applications."
CSAIL article

Every time you smoothly drive from point A to point B, you're not just enjoying the convenience of your car, but also the sophisticated engineering that makes it safe and reliable. Beyond its comfort and protective features lies a lesser-known yet crucial aspect: the expertly optimized mechanical performance of microstructured materials. These materials, integral yet often unacknowledged, are what fortify your vehicle, ensuring durability and strength on every journey. 

Category
Programming Languages & Software Engineering
Language
TypeScript
Project Lead
Daniel Jackson

MIT License
Last Updated
Category
Programming Languages & Software Engineering
Language
Standard ML
Project Lead
Adam Chlipala

Ur/Web is Ur plus a special standard library and associated rules for parsing and optimization. Ur is a programming language in the tradition of ML and Haskell, but featuring a significantly richer type system

Last Updated
Category
Programming Languages & Software Engineering
Language
C++
Project Lead
Hari Balakrishnan

Remy is an optimization tool to develop new TCP congestion-control schemes, given prior knowledge about the network it will encounter and an objective to optimize for.

Last Updated
Category
Programming Languages & Software Engineering
Language
C++
Project Lead
Hari Balakrishnan

Sprout is a transport protocol for interactive applications that desire high throughput and low delay.

Last Updated
Category
Programming Languages & Software Engineering
Project Lead
Saman Amarasinghe

PetaBricks is a new implicitly parallel language and compiler where having multiple implementations of multiple algorithms to solve a problem is the natural way of programming

MIT License
Last Updated