Travelled to:1 × Denmark
1 × Estonia
1 × Portugal
1 × Switzerland
13 × USA
2 × Belgium
2 × India
2 × Italy
2 × The Netherlands
3 × Canada
3 × Germany
Collaborated with:G.Muller D.Lo C.Consel H.G.Mairson O.Danvy A.L.Meur J.Andersen Y.Tian F.Thung H.Duchesne U.P.Schultz S.Saha ∅ L.Réveillère N.Palix L.Guo S.Bhatia S.Wang T.F.Bissyandé D.Cassou E.Balland J.Mercadal J.Bodeveix M.Filali O.Barais L.Duchien A.C.Nguyen S.Khoo J.Brunel D.Doligez R.R.Hansen R.A.Åberg M.Südholt P.S.Tschudin L.Jiang G.Thomas C.Calvès W.Maldonado P.Marlier P.Felber A.Suissa D.Hendler A.Fedorova
Talks about:languag (6) linux (5) schedul (4) continu (4) automat (4) specif (4) softwar (3) program (3) partial (3) kernel (3)
Person: Julia L. Lawall
DBLP: Lawall:Julia_L=
Facilitated 4 volumes:
EdEd
Ed
EdContributed to:
2014
2014
2013
2013
20132012
2012
20112011
20112010
2010
200920082008
20062005
2005
200520042004200320022000
2000
199919971996
1994199319931992Wrote 33 papers:
- CSMR-WCRE-2014-TianLL #automation #database #similarity #word
- Automated construction of a software-specific word similarity database (YT, DL, JLL), pp. 44–53.
- MSR-2014-GuoLM #exclamation #question
- Oops! where did that code snippet come from? (LG, JLL, GM), pp. 52–61.
- ASE-2013-ThungWLL #api #automation #feature model #recommendation
- Automatic recommendation of API methods from feature requests (FT, SW, DL, JLL), pp. 290–300.
- PLOS-2013-TschudinRJLLM #comprehension #linux #search-based
- Understanding the genetic makeup of Linux device drivers (PST, LR, LJ, DL, JLL, GM), p. 6.
- WCRE-2013-ThungLL #automation #library #recommendation
- Automated library recommendation (FT, DL, JLL), pp. 182–191.
- ASE-2012-AndersenNLLK #semantics
- Semantic patch inference (JA, ACN, DL, JLL, SCK), pp. 382–385.
- ASE-2012-BissyandeRLM #automation #debugging #generative #interface #kernel #linux #named
- Diagnosys: automatic generation of a debugging interface to the Linux kernel (TFB, LR, JLL, GM), pp. 60–69.
- ICSE-2012-TianLL #debugging #identification #linux
- Identifying Linux bug fixing patches (YT, JLL, DL), pp. 386–396.
- ASPLOS-2011-PalixTSCLM #fault #linux #years after
- Faults in linux: ten years later (NP, GT, SS, CC, JLL, GM), pp. 305–318.
- ICSE-2011-CassouBCL #architecture #development #verification
- Leveraging software architectures to guide and verify the development of sense/compute/control applications (DC, EB, CC, JLL), pp. 431–440.
- LCTES-2011-SahaLM #approach #kernel #linux
- An approach to improving the structure of error-handling code in the linux kernel (SS, JLL, GM), pp. 41–50.
- ASE-2010-LawallL #approach #automation #debugging
- An automated approach for finding variable-constant pairing bugs (JLL, DL), pp. 103–112.
- PPoPP-2010-MaldonadoMFSHFLM #memory management #scheduling #transaction
- Scheduling support for transactional memory contention management (WM, PM, PF, AS, DH, AF, JLL, GM), pp. 79–90.
- POPL-2009-BrunelDHLM #logic #model checking #using
- A foundation for flow-based program matching: using temporal logic and model checking (JB, DD, RRH, JLL, GM), pp. 114–126.
- ASE-2008-AndersenL
- Generic Patch Inference (JA, JLL), pp. 337–346.
- GPCE-2008-MercadalPCL #coordination #domain-specific language #named
- Pantaxou: a domain-specific language for developing safe coordination services (JM, NP, CC, JLL), pp. 149–160.
- ISMM-2006-BhatiaCL #behaviour #co-evolution #design #optimisation
- Memory-manager/scheduler co-design: optimizing event-driven servers to improve cache behavior (SB, CC, JLL), pp. 104–114.
- GPCE-2005-LawallDMM #composition #domain-specific language
- Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language (JLL, HD, GM, AFLM), pp. 78–93.
- IFM-2005-BodeveixFLM #domain-specific language #formal method
- Formal Methods Meet Domain Specific Languages (JPB, MF, JLL, GM), pp. 187–206.
- WICSA-2005-BaraisLMD #architecture
- Providing Support for Safe Software Architecture Transformations (OB, JLL, AFLM, LD), pp. 201–202.
- GPCE-2004-LawallMM #component #design #domain-specific language #independence #on the
- On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components (JLL, AFLM, GM), pp. 436–455.
- PEPM-2004-LawallMD #design #implementation #process #scheduling
- Invited application paper: language design for implementing process scheduling hierarchies (JLL, GM, HD), pp. 80–91.
- ASE-2003-AbergLSMM #aspect-oriented #automation #evolution #kernel #logic #on the #using
- On the automatic evolution of an OS kernel using temporal logic and AOP (RAÅ, JLL, MS, GM, AFLM), pp. 196–204.
- PEPM-2002-MeurLC #partial evaluation #programming language #towards
- Towards bridging the gap between programming languages and partial evaluation (AFLM, JLL, CC), pp. 9–18.
- ASE-2000-SchultzLC
- Specialization Patterns (UPS, JLL, CC), p. 197–?.
- ESOP-2000-LawallM #continuation
- Sharing Continuations: Proofnets for Languages with Explicit Control (JLL, HGM), pp. 245–259.
- ECOOP-1999-SchultzLCM #automation #java #source code #towards
- Towards Automatic Specialization of Java Programs (UPS, JLL, CC, GM), pp. 367–390.
- ICFP-1997-LawallM #graph #on the #reduction
- On Global Dynamics of Optimal Graph Reduction (JLL, HGM), pp. 188–195.
- ICFP-1996-LawallM #cost analysis #question #what #λ-calculus
- Optimality and Inefficiency: What Isn’t a Cost Model of the λ Calculus? (JLL, HGM), pp. 92–101.
- LFP-1994-LawallD #partial evaluation
- Continuation-Based Partial Evaluation (JLL, OD), pp. 227–238.
- PEPM-1993-Lawall #induction #partial evaluation #proving #using
- Proofs by Structural Induction using Partial Evaluation (JLL), pp. 155–166.
- POPL-1993-LawallD #continuation
- Separating Stages in the Continuation-Passing Style Transformation (JLL, OD), pp. 124–136.
- LFP-1992-DanvyL #continuation
- Back to Direct Style II: First-Class Continuations (OD, JLL), pp. 299–310.