サクサク読めて、アプリ限定の機能も多数！
トップへ戻る
ブラックフライデー
people.csail.mit.edu
Sweetly addressed to those who did not want to build a compiler Dear Sir, I am afraid to inform you that you have built a compiler. I know you wanted a “simple prototype” that would just add that one feature to your programming model. You said that “SSA is an overkill” and “it’s just way too much infrastructure to maintain for a simple task” and yet, six months later, you have pile of string mangl
Abstract Gradient-based optimization has enabled dramatic advances in computational imaging through techniques like deep learning and nonlinear optimization. These methods require gradients not just of simple mathematical functions, but of general programs which encode complex transformations of images and graphical data. Unfortunately, practitioners have traditionally been limited to either hand-
���� ����� ��������������������������!�#"%$'&�� �()&�&*���+����� ,�-/.102.13547698:02;=<�6?>@8BA!CD;=3/-/;=>FEG02H9CIC JK>/.1L!;M<ON'.2C(PQH?RTSK0U69N(V9H�W�X Y%Z CDH9[\;=<^]=_9`a` bdc#e�f:g\h�i)f jlk?monqparOp9s(tup�tvs(nws'xMyvn{z1|v}�~��'�o�O���(~'� ��r�x�s'��r�p�p�tv�MrO��k yv�^���O�2���I�Gpa�����M�K��tvp�k�m�nw���/j��=p9sT�(��r�nwnws'n p9s(tv��m�yl�O��s(t�� ���=rO��m�x��u����r�twm�ywk��Ks(ywm
3. Click on the chat bubble icon on the right end of the URL box to track your progress and set your language (to French or Spanish). About WaitChatter FAQ What is wait-learning? People often want to learn a language but can't find time. WaitChatter is based on the idea of wait-learning. It makes use of time you spend waiting for your IM buddy to respond to teach you a foreign language. What langu
Speedy Transactions in Multicore In-Memory Databases Stephen Tu, Wenting Zheng, Eddie Kohler†, Barbara Liskov, and Samuel Madden MIT CSAIL and †Harvard University Abstract Silo is a new in-memory database that achieves excel- lent performance and scalability on modern multicore machines. Silo was designed from the ground up to use system memory and caches efficiently. For instance, it avoids all c
C o n s i s t ent * Complete * W e l l D o c u m e n t e d * E a s y t o R e u s e * * E v a l u a t e d * P O P L * Artifact * A E C Automatic Patch Generation by Learning Correct Code Fan Long and Martin Rinard MIT CSAIL {fanl, rinard}@csail.mit.edu Abstract We present Prophet, a novel patch generation system that works with a set of successful human patches obtained from open- source software r
Accidental pinhole and antipinhole cameras There are many ways in which pictures are formed around us. The most efficient mechanisms are to use lenses or narrow apertures to focus light into a picture of what is in front. So a set of occluders (to form a pinhole camera) or a mirror surface (to capture only a subset of the reflected rays) will let us see an image as we view a surface. For those cas
Associate Professor Principal investigator, Geometric Data Processing Group MIT Department of Electrical Engineering & Computer Science Computer Science and Artificial Intelligence Laboratory (CSAIL) MIT Center for Computational Science and Engineering (CCSE) Office: Stata Center, 32-D460 Office phone: (617) 324-6738 Email | CV | Facebook | LinkedIn | Twitter
Shipwright: Proving liveness of distributed systems with Byzantine participants. Derek Leung, Nickolai Zeldovich, and M. Frans Kaashoek. arXiv:2507.14080 [cs.DC], July 2025. PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection. (Distinguished artifact award.) Hayley LeBlanc, Jacob R. Lorch, Chris Hawblitzel, Cheng Huang, Yiheng Tao, Nickolai Zeldovich, and
Each unit corresponds to one convolutional unit. Click on one unit to show the strongest connections going in and out of the unit. For selected units, each pannel shows the 4 images (from ImageNet and Places) that most strongly activate each unit.
Abstract When sound hits an object, it causes small vibrations of the object’s surface. We show how, using only high-speed video of the object, we can extract those minute vibrations and partially recover the sound that produced them, allowing us to turn everyday objects—a glass of water, a potted plant, a box of tissues, or a bag of chips—into visual microphones. We recover sounds from high-speed
The Gitless's website has moved to gitless.com
Overview Machine learning is an exciting and fast-moving field of Computer Science with many recent consumer applications (e.g., Kinect, Google Translate, Siri, digital camera face detection, Netflix recommendations) and applications within the sciences and medicine (e.g., predicting protein-protein interactions, species modeling, detecting tumors, personalized medicine). In this undergraduate-lev
SIFT flow: dense correspondence across difference scenes Link to TPAMI SIFT flow paper Ce Liu1 Jenny Yuen1 Antonio Torralba1 Josef Sivic2 William T. Freeman1,3 1CSAIL, MIT 2INRIA/Ecole Normale Supérieure 3Adobe Systems {celiu,jenny,torralba,billf}@csail.mit.edu, josef@di.ens.fr Presented at ECCV 2008 [pdf] Download source code! Abstract While image registration has been studied in
Many seemingly static scenes contain subtle changes that are invisible to the naked human eye. However, it is possible to pull out these small changes from videos through the use of algorithms we have developed. We give a way to visualize these small changes by amplifying them and we present algorithms to pull out interesting signals from these videos, such as the human pulse, sound from vibrating
Abstract Using existing programming tools, writing high-performance image processing code requires sacrificing readability, portability, and modularity. We argue that this is a consequence of conflating what computations define the algorithm, with decisions about storage and the order of computation. We refer to these latter two concerns as the schedule, including choices of tiling, fusion, recomp
Data-Driven Synthesis for Object-Oriented Frameworks Kuat Yessenov Zhilei Xu Armando Solar-Lezama ∗ Massachusetts Institute of Technology {kuat,timxu,asolar}@csail.mit.edu Abstract Software construction today often involves the use of large frameworks. The challenge in this type of programming is that object-oriented frameworks tend to grow exceedingly intricate; they spread functionality among n
Chapter 4. Bluetooth programming in C with BlueZ There are reasons to prefer developing Bluetooth applications in C instead of in a high level language such as Python. The Python environment might not be available or might not fit on the target device; strict application requirements on program size, speed, and memory usage may preclude the use of an interpreted language like Python; the programme
"The Whitespace Thing" is an alternative syntax for OCaml that uses indentation to group multi-line expressions, like Python and Haskell. This is a controversial feature that some people will always love and some people will always hate. Using pretty much the same indentation patterns you put in your code anyway, "The Whitespace Thing" eliminates: The ; operator for sequences of expressions Multi-
Online Compiler, AI Tutor, and Visual Debugger for Python, Java, C, C++, and JavaScript Python Tutor helps you do programming homework assignments in Python, Java, C, C++, and JavaScript. It contains a step-by-step visual debugger and AI tutor to help you understand and debug code. Since 2010, over 20 million people in more than 180 countries have used Python Tutor to visualize over 300 million pi
次のページ
このページを最初にブックマークしてみませんか？
『people.csail.mit.edu』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
