哪些學校的型別系統與編譯器方向不錯?

時間 2021-05-31 17:48:52

1樓:黃二狗

國內不建議往編譯優化這個大坑裡跳,編譯器太過古老,研究的年代和人數太多,就意味著裡面研究成果太多,意味著你可能連前人的東西都沒搞明白太多就糊里糊塗的找了乙個小方向,啃點別人剩下的骨頭渣,只能在一些特殊應用上有點優化效果。當然,如果你的老闆和實驗室能直接把你拎到前沿另說,不過就我校來看,老師們基本也不咋搞這方面的研究,不怎麼出成果,有能力搞別的方向的都跑掉了。

2樓:

不是做PL的,瞎說幾句。。主要是大陸和東南亞的學校吧,學術水平我不清楚。。。

大陸的話USTC確實有人在做。然後HKU也有個老師在做(居然在theory group下面。。。),HKUST似乎也有?再就是NUS的School of Computing了。

3樓:

正好我Master申請的就是PL方向,看了不少學校和教授,就隨便羅列一下……

Yale有Shao Zhong、剛剛過世的Pual Hudak,還有一位美女AP Ruzica Piskac……傳送門在此Ruzica Piskac's Home Page不謝。

NEU做PL的教授很多,Matthias Felleisen、Mitchell Wand、Olin Shivers、William D. Clinger等等都很厲害。BTW,Fellesien是HTDP的作者,Wand是EOPL的作者。

NWU的Robby Findler和Brown的Shriram Krishnamurthi,都是Matthias Felleisen的學生。

IUB做PL的也很多,除了王垠經常提的Dan Friedman和Kent Dybvig,還有Jeremy Siek、Amr Sabry和Sam Tobin-Hochstadt等,Jeremy Siek和Samth都在做Gradual Type。Dan Friedman還是上面提到的Felleisen的PhD advisor,哦對了,Sam Tobin-Hochstadt是Fellesien的學生……

Utah的Matthew Flatt、Matthew Might、Zvonimir Rakamaric和Gopalakrishnan,Flatt也是Fellesien的學生,再八卦一下,他老婆是個中中國人。

BostonU,有一位華人教授在做dependent ML,現在改名字了叫ATS。

UIUC,LLVM的老巢,當然除了LLVM還有很多Prof在做PL和Compiler方面。

Austin,ACL2,剩下的不是很了解……

Tufts的Norman Ramsey和Kathleen Fisher。

Cornell的Robert Constable等

Edinburgh的LFCS曾經在PL方面出了無數大牛,Gordon Plotkin、Luca Cardelli、Robin Milner,最近這些年還有Philip Wadler

Chalmers,Haskell/Adga

INRIA,Coq/OCaml

除此以外,這些學校都有不少Prof在做這方面的研究,數不勝數,LZ還是直接Google學校吧,進去把Faculty頁面看一遍就知道了……

Penn/Maryland/IT U Copenhagen/Harvard/Princeton/MIT/CMU/Arhaus/MPI-SWS/JHU/Chicago/UCSB/Utrecht……

希望對LZ有幫助:)

iOS 系統的編譯器和華為方舟編譯器孰強孰弱?

方舟編譯器已經試著編譯了好幾次了,編不過去。雖然有大佬說ubuntu可以編譯過去,但是我用了14.03,16.04,18.04按照提示操作,根本就過不了。信不信隨你們吧 實事求是的講,截止到目前方舟編譯器也只是個玩具 開源 而IOS已經這麼多年了。IOS完勝。再者就算方舟編譯器已經完善,恐怕短時間內...

將來想從事編譯器方向的工作,大學四年應該怎麼規劃學習?

趙俊民 本科期間建議先努力考研吧,最好讀個博士,我周邊做編譯器的基本都是博士。能去國外讀最好,國內的中科院,清華,北大,南京大學都有不錯的編譯器相關團隊。如果在完成本科學業精力的基礎上,現在網上有很多好的編譯器公開課 小乖他爹 總結的課程可以看看https zhuanlan p 111635473 ...

各個程式語言都有哪些令該語言的編譯器 直譯器開發者想掀桌的地方?

I老蔡 Python啊 游標卡尺,空格和TAB不能混用.不支援Switch,乙個多分枝選擇還要用到奇怪的技巧.高版本不相容低版本. malt 由於載入檔案本身需要時間 而且是執行期時間 所以絕大多數malt專案寫完後最好aot一遍 jit版本之前,jit目前還沒做出來 malt在doc中建議為了保持...