Julia Lawall

Last updated

Julia Laetitia Lawall is a computer scientist specializing in programming languages. Educated in the US, she has worked in the US, Denmark, and France, where she is a director of research for Inria. She is one of the developers of Coccinelle, a tool for finding patterns and making systematic transformations of source code, [1] [2] [3] and she has also done research on domain-specific languages for operating systems.

Contents

Education and career

Lawall majored in mathematics at Oberlin College, graduating in 1986, and began her graduate studies in computer science at Carnegie Mellon University. [4] She has a Ph.D. from Indiana University Bloomington, completed in 1994. Her dissertation, Continuation Introduction and Elimination in Higher-Order Programming Languages, was jointly supervised by Daniel P. Friedman and Olivier Danvy. [5]

After completing her doctorate, she worked with Harry Mairson in the Logic and Computation group at Brandeis University in Boston, [6] and at the Research Institute of Computer Science and Random Systems (IRISA) in Rennes, France, [7] before taking a faculty position in the Department of Computer Science (DIKU) of the University of Copenhagen. She moved from Copenhagen to the French Institute for Research in Computer Science and Automation (Inria) in 2011; [2] at Inria, she directs the Whisper project (well-honed infrastructure software for programming environments and runtimes). [8] She also held an affiliation with the Laboratoire d'Informatique de Paris 6 of Sorbonne University from 2013 to 2020. [9]

Recognition

Lawall has won two test-of-time awards for her publications. Her paper with Harry Mairson, "Optimality and inefficiency: what isn’t a cost model of the lambda calculus?", on the optimization criteria for finding normal forms in the lambda calculus, won the inaugural Most Influential ICFP Paper Award of ACM SIGPLAN, ten years after its publication in 1996. [10] Additionally, her paper "Documenting and automating collateral evolutions in linux device drivers" (with Yoann Padioleau, René Rydhof Hansen, and Gilles Muller, in EuroSys 2008) won the 2018 EuroSys Test-of-Time Award. The paper introduced Cocinelle and described its use in maintaining device drivers to keep them synchronized with operating system changes. [11]

Related Research Articles

Andrew D. Gordon is a British computer scientist employed by software synthesis company Cogna as Chief Science Officer, and by the University of Cambridge. Formerly, he worked for Microsoft Research. His research interests include programming language design, formal methods, concurrency, cryptography, and access control.

SIGPLAN is the Association for Computing Machinery's Special Interest Group (SIG) on programming languages. This SIG explores programming language concepts and tools, focusing on design, implementation, practice, and theory. Its members are programming language developers, educators, implementers, researchers, theoreticians, and users.

<span class="mw-page-title-main">Xavier Leroy</span> French computer scientist and programmer (born 1968)

Xavier Leroy is a French computer scientist and programmer. He is best known for his role as a primary developer of the OCaml system. He is Professor of software science at Collège de France. Before his appointment at Collège de France in 2018, he was senior scientist at the French government research institution Inria.

<span class="mw-page-title-main">Matthias Felleisen</span> German-American computer science professor and author

Matthias Felleisen is a German-American computer science professor and author. He grew up in Germany and immigrated to the US in his twenties. He received his PhD from Indiana University Bloomington under the direction of Daniel P. Friedman.

<span class="mw-page-title-main">John C. Reynolds</span> American computer scientist (1935–2013)

John Charles Reynolds was an American computer scientist.

<span class="mw-page-title-main">Robert Harper (computer scientist)</span> Computer scientist

Robert William Harper, Jr. is a computer science professor at Carnegie Mellon University who works in programming language research. Prior to his position at Carnegie Mellon, Harper was a research fellow at the University of Edinburgh.

<span class="mw-page-title-main">Programming language theory</span> Branch of computer science

Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of formal languages known as programming languages. Programming language theory is closely related to other fields including mathematics, software engineering, and linguistics. There are a number of academic conferences and journals in the area.

In proof theory, the Geometry of Interaction (GoI) was introduced by Jean-Yves Girard shortly after his work on linear logic. In linear logic, proofs can be seen as various kinds of networks as opposed to the flat tree structures of sequent calculus. To distinguish the real proof nets from all the possible networks, Girard devised a criterion involving trips in the network. Trips can in fact be seen as some kind of operator acting on the proof. Drawing from this observation, Girard described directly this operator from the proof and has given a formula, the so-called execution formula, encoding the process of cut elimination at the level of operators. Subsequent constructions by Girard proposed variants in which proofs are represented as flows, or operators in von Neumann algebras. Those models were later generalised by Seiller's Interaction Graphs models.

Harry George Mairson is a theoretical computer scientist and professor of computer science in the Volen National Center for Complex Systems at Brandeis University in Waltham, Massachusetts. His research is in the fields of logic in computer science, lambda calculus and functional programming, type theory and constructive mathematics, computational complexity theory, and algorithmics.

Dexter Campbell Kozen is an American theoretical computer scientist. He is Professor Emeritus and Joseph Newton Pew, Jr. Professor in Engineering at Cornell University.

<span class="mw-page-title-main">Paul Hudak</span> American computer scientist

Paul Raymond Hudak was an American musician and professor of computer science at Yale University who was best known for his involvement in the design of the programming language Haskell, and for several textbooks on Haskell and computer music. He was a chair of the department, and was also master of Saybrook College. He died on April 29, 2015, of leukemia.

Coccinelle is an open-source for matching and transforming the source code of programs written in the C programming language.

<span class="mw-page-title-main">Thierry Coquand</span> French computer scientist and mathematician

Thierry Coquand is a French computer scientist and mathematician who is currently a professor of computer science at the University of Gothenburg, having previously worked at INRIA. He is known for his work in constructive mathematics, especially the calculus of constructions.

Conor McBride is a Reader in the department of Computer and Information Sciences at the University of Strathclyde. In 1999, they completed a Doctor of Philosophy (Ph.D.) in Dependently Typed Functional Programs and their Proofs at the University of Edinburgh for their work in type theory. They formerly worked at Durham University and briefly at Royal Holloway, University of London before joining the academic staff at the University of Strathclyde.

<span class="mw-page-title-main">F* (programming language)</span> Functional programming language inspired by ML and aimed at program verification

F* is a high-level, multi-paradigm, functional and object-oriented programming language inspired by the languages ML, Caml, and OCaml, and intended for program verification. It is a joint project of Microsoft Research, and the French Institute for Research in Computer Science and Automation (Inria). Its type system includes dependent types, monadic effects, and refinement types. This allows expressing precise specifications for programs, including functional correctness and security properties. The F* type-checker aims to prove that programs meet their specifications using a combination of satisfiability modulo theories (SMT) solving and manual proofs. For execution, programs written in F* can be translated to OCaml, F#, C, WebAssembly, or assembly language. Prior F* versions could also be translated to JavaScript.

Margaret Rose Martonosi is an American computer scientist who is currently the Hugh Trumbull Adams '35 Professor of Computer Science at Princeton University. Martonosi is noted for her research in computer architecture and mobile computing with a particular focus on power-efficiency.

<span class="mw-page-title-main">Kathleen Fisher</span> American computer scientist

Kathleen Shanahan Fisher is an American computer scientist who specializes in programming languages and their implementation.

Sandrine Blazy is a French computer scientist known for her research in the formal verification of compilers, and especially for her work as a developer of CompCert, a compiler for a large subset of C99 that is "the first industrial-strength compiler with a mechanically checked proof of correctness". She is a professor at the University of Rennes and deputy director of IRISA, the Institut de recherche en informatique et systèmes aléatoires of the University of Rennes and the French National Centre for Scientific Research.

Gabriele Cornelia Keller is a computer scientist whose research concerns type systems and data parallelism in functional programming. Educated in Germany, she has worked in Australia, the US, and the Netherlands, where she is Professor of Software Systems at Utrecht University.

References

  1. ↑ Edge, Jake (31 August 2016), "Inside the mind of a Coccinelle programmer", Linux Weekly News , retrieved 2024-03-07
  2. 1 2 Bidwell, Jonni (3 July 2018), "Transforming the kernel", Linux Format , retrieved 2024-03-07
  3. ↑ A programme has to work, Leibniz Supercomputing Centre of the Bavarian Academy of Sciences and Humanities, 25 July 2022, retrieved 2024-03-07
  4. ↑ "NSF and Javits awards to graduates", The Observer, Oberlin College, September 1987
  5. ↑ Julia Lawall at the Mathematics Genealogy Project
  6. ↑ Mairson, Harry, Logic and computation, Brandeis University, retrieved 2024-03-07
  7. ↑ "PE Personnel", Partial Evaluation Group (COMPOSE), IRISA, archived from the original on 1997-05-07
  8. ↑ "Team members", Whisper, Inria, 21 July 2011, retrieved 2024-03-07
  9. ↑ LAWALL Julia, LIP6, retrieved 2024-03-07
  10. ↑ Most Influential ICFP Paper Award, ACM SIGPLAN, retrieved 2024-03-07
  11. ↑ "EuroSys Test-of-Time Award", EuroSys, European Chapter of ACM SIGOPS, retrieved 2024-03-07
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.