{"id":43776,"date":"2024-06-19T15:31:02","date_gmt":"2024-06-19T19:31:02","guid":{"rendered":"https:\/\/mjtsai.com\/blog\/?p=43776"},"modified":"2024-06-19T15:38:13","modified_gmt":"2024-06-19T19:38:13","slug":"arvind-rip","status":"publish","type":"post","link":"https:\/\/mjtsai.com\/blog\/2024\/06\/19\/arvind-rip\/","title":{"rendered":"Arvind, RIP"},"content":{"rendered":"<p><a href=\"https:\/\/news.mit.edu\/2024\/computer-science-professor-arvind-dies-0618\">Adam Zewe<\/a> (via <a href=\"https:\/\/news.ycombinator.com\/item?id=40728814\">Hacker News<\/a>):<\/p>\n<blockquote cite=\"https:\/\/news.mit.edu\/2024\/computer-science-professor-arvind-dies-0618\">\n<p>A prolific researcher who led the Computation Structures Group in the Computer Science and Artificial Intelligence Laboratory (CSAIL), Arvind served on the MIT faculty for nearly five decades.<\/p>\n<p>[&#8230;]<\/p>\n<p>As a scientist, Arvind was well known for important contributions to dataflow computing, which seeks to optimize the flow of data to take advantage of parallelism, achieving faster and more efficient computation.<\/p>\n<p>In the last 25 years, his research interests broadened to include developing techniques and tools for formal modeling, high-level synthesis, and formal verification of complex digital devices like microprocessors and hardware accelerators, as well as memory models and cache coherence protocols for parallel computing architectures and programming languages.<\/p>\n<\/blockquote>\n\n<p><a href=\"https:\/\/en.wikipedia.org\/wiki\/Arvind_(computer_scientist)\">Wikipedia<\/a>:<\/p>\n<blockquote cite=\"https:\/\/en.wikipedia.org\/wiki\/Arvind_(computer_scientist)\">\n<p>In 2000, Arvind took two years off from teaching at MIT to build Sandburst, Inc, a fabless manufacturing semiconductor company. He served as its president until his return to MIT in 2002. In 2006, Sandburst was acquired by Broadcom Corporation.<\/p>\n<p>In 2003, he cofounded Bluespec, Inc., headquartered in Waltham, Massachusetts. They produce proven electronic design automation (EDA) synthesis toolsets. With Lennart Augustsson, Arvind codeveloped the programming language Bluespec SystemVerilog (BSV), a high-level functional programming hardware description language, which is a Haskell variant extended to handle chip design and electronic design automation in general.<\/p>\n<\/blockquote>\n\n<p>I really enjoyed his graduate Computer System Architecture class. He was so excited about the material and clear in communicating it, both verbally and notationally using <a href=\"http:\/\/www.ai.mit.edu\/projects\/ntt\/projects\/MIT9904-04\/documents\/memo-419.pdf\">term-rewriting systems<\/a>.<\/p>","protected":false},"excerpt":{"rendered":"<p>Adam Zewe (via Hacker News): A prolific researcher who led the Computation Structures Group in the Computer Science and Artificial Intelligence Laboratory (CSAIL), Arvind served on the MIT faculty for nearly five decades. [&#8230;] As a scientist, Arvind was well known for important contributions to dataflow computing, which seeks to optimize the flow of data [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"apple_news_api_created_at":"2024-06-19T19:31:06Z","apple_news_api_id":"46347655-dc96-4b8e-b309-f461d0ddb3e9","apple_news_api_modified_at":"2024-06-19T19:31:06Z","apple_news_api_revision":"AAAAAAAAAAD\/\/\/\/\/\/\/\/\/\/w==","apple_news_api_share_url":"https:\/\/apple.news\/ARjR2VdyWS46zCfRh0N2z6Q","apple_news_coverimage":0,"apple_news_coverimage_caption":"","apple_news_is_hidden":false,"apple_news_is_paid":false,"apple_news_is_preview":false,"apple_news_is_sponsored":false,"apple_news_maturity_rating":"","apple_news_metadata":"\"\"","apple_news_pullquote":"","apple_news_pullquote_position":"","apple_news_slug":"","apple_news_sections":"\"\"","apple_news_suppress_video_url":false,"apple_news_use_image_component":false,"footnotes":""},"categories":[2],"tags":[800,263,235,260,71,208],"class_list":["post-43776","post","type-post","status-publish","format-standard","hentry","category-technology","tag-concurrency","tag-theory","tag-education","tag-processors","tag-programming","tag-rip"],"apple_news_notices":[],"_links":{"self":[{"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/posts\/43776","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/comments?post=43776"}],"version-history":[{"count":1,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/posts\/43776\/revisions"}],"predecessor-version":[{"id":43777,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/posts\/43776\/revisions\/43777"}],"wp:attachment":[{"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/media?parent=43776"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/categories?post=43776"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/tags?post=43776"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}