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, 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

ISWIM is an abstract computer programming language devised by Peter Landin and first described in his article "The Next 700 Programming Languages", published in the Communications of the ACM in 1966.

<span class="mw-page-title-main">Coq (software)</span> Proof assistant

Coq is an interactive theorem prover first released in 1989. It allows for expressing mathematical assertions, mechanically checks proofs of these assertions, helps find formal proofs, and extracts a certified program from the constructive proof of its formal specification. Coq works within the theory of the calculus of inductive constructions, a derivative of the calculus of constructions. Coq is not an automated theorem prover but includes automatic theorem proving tactics (procedures) and various decision procedures.

SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.

<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 under the direction of Daniel P. Friedman.

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.

Matthew Flatt is an American computer scientist and professor at the University of Utah School of Computing in Salt Lake City. He is also the leader of the core development team for the Racket programming language.

<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 utility 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, he completed a Doctor of Philosophy (Ph.D.) in Dependently Typed Functional Programs and their Proofs at the University of Edinburgh for his work in type theory. He 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">Kathryn S. McKinley</span> American computer scientist

Kathryn S. McKinley is an American computer scientist noted for her research on compilers, runtime systems, and computer architecture. She is also known for her leadership in broadening participation in computing. McKinley was co-chair of CRA-W from 2011 to 2014.

Barbara G. Ryder is an American Computer Scientist noted for her research on programming languages and more specifically, the theoretical foundations and empirical investigation of interprocedural compile-time analysis.

Susan Beth Horwitz was an American computer scientist noted for her research on programming languages and software engineering, and in particular on program slicing and dataflow-analysis. She had several best paper and an impact paper award mentioned below under awards.

<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.

<span class="mw-page-title-main">ACM SIGOPS</span> ACMs Special Interest Group on Operating Systems

ACM SIGOPS is the Association for Computing Machinery's Special Interest Group on Operating Systems, an international community of students, faculty, researchers, and practitioners associated with research and development related to operating systems. The organization sponsors international conferences related to computer systems, operating systems, computer architectures, distributed computing, and virtual environments. In addition, the organization offers multiple awards recognizing outstanding participants in the field, including the Dennis M. Ritchie Doctoral Dissertation Award, in honor of Dennis Ritchie, co-creator of the C programming language and Unix operating system.

Dale Miller is an American computer scientist and author. He is a Director of Research at Inria Saclay and one of the designers of the λProlog programming language and the Abella interactive theorem prover.

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, 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.