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.
Education and career
editLawall 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
editLawall 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]
References
edit- ^ Edge, Jake (31 August 2016), "Inside the mind of a Coccinelle programmer", Linux Weekly News, retrieved 2024-03-07
- ^ a b Bidwell, Jonni (3 July 2018), "Transforming the kernel", Linux Format, retrieved 2024-03-07
- ^ A programme has to work, Leibniz Supercomputing Centre of the Bavarian Academy of Sciences and Humanities, 25 July 2022, retrieved 2024-03-07
- ^ "NSF and Javits awards to graduates", The Observer, Oberlin College, September 1987
- ^ Julia Lawall at the Mathematics Genealogy Project
- ^ Mairson, Harry, Logic and computation, Brandeis University, retrieved 2024-03-07
- ^ "PE Personnel", Partial Evaluation Group (COMPOSE), IRISA, archived from the original on 1997-05-07
- ^ "Team members", Whisper, Inria, retrieved 2024-03-07
- ^ LAWALL Julia, LIP6, retrieved 2024-03-07
- ^ Most Influential ICFP Paper Award, ACM SIGPLAN, retrieved 2024-03-07
- ^ "EuroSys Test-of-Time Award", EuroSys, European Chapter of ACM SIGOPS, retrieved 2024-03-07
External links
edit- Home page
- Julia Lawall publications indexed by Google Scholar