ジュリア・ラウォール

ジュリア・レティシア・ラウォールはプログラミング言語を専門とするコンピュータ科学者です。米国で教育を受け、米国、デンマーク、フランスで働き、フランスではInriaの研究ディレクターを務めています。彼女は、パターンを見つけてソースコードを体系的に変換するためのツールであるCoccinelleの開発者の一人であり、^{[1] [2] [3] 、}オペレーティングシステム用のドメイン固有言語の研究も行っています。

ラウォールはオバリン大学で数学を専攻し、1986年に卒業し、カーネギーメロン大学でコンピュータサイエンスの大学院研究を開始しました。^[4]彼女はインディアナ大学で博士号を取得しており、1994年に修了しました。彼女の博士論文「高階プログラミング言語における継続の導入と除去」は、ダニエル・P・フリードマンとオリヴィエ・ダンビーの共同指導を受けました。^[5]

博士号を取得後、ボストンのブランダイス大学の論理計算グループでハリー・メアソンのもとで働き、^{[6]フランスの}レンヌにあるコンピュータサイエンスとランダムシステム研究所（IRISA）で働き、^[7]コペンハーゲン大学のコンピュータサイエンス学部（DIKU）の教員に就任しました。2011年にコペンハーゲンからフランスコンピュータサイエンスとオートメーション研究所（Inria）に移りました。 ^[2] Inriaでは、Whisperプロジェクト（プログラミング環境とランタイムのための洗練されたインフラストラクチャソフトウェア）を指揮しています。^[8]また、 2013年から2020年まで、ソルボンヌ大学のパリ第6情報処理研究所に所属していました。^[9]

ラウォールは、自身の論文で 2 つの Test-of-Time 賞を受賞しています。ハリー・メアソンとの共著論文「最適性と非効率性: ラムダ計算のコスト モデルではないものは何ですか?」は、ラムダ計算における正規形を見つけるための最適化基準に関するもので、 1996 年の出版から 10 年後にACM SIGPLANの初代最影響力のある ICFP 論文賞を受賞しました。^[10]さらに、ヨアン・パディオロー、ルネ・リドフ・ハンセン、ジル・ミュラーとの共著論文「Linux デバイス ドライバーの付随的進化の文書化と自動化」(EuroSys 2008 掲載) は、2018 年 EuroSys Test-of-Time 賞を受賞しました。この論文では、Cocinelle を紹介し、デバイス ドライバーを保守してオペレーティング システムの変更と同期させる方法について説明しました。^[11]

• ホームページ
• Google Scholarにインデックスされた Julia Lawall の出版物