Julia Lawall: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Automatic program specialization for Java

Schultz, Ulrik P., Lawall, Julia L., Consel, Charles

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2003

Language:

english

File:

PDF, 1.12 MB

english, 2003

2

[ACM Press the 3rd workshop - San Jose, California (2006.10.22-2006.10.22)] Proceedings of the 3rd workshop on Programming languages and operating systems linguistic support for modern operating systems - PLOS '06 - Semantic patches for documenting and automating collateral evolutions in Linux device drivers

Padioleau, Yoann, Hansen, René Rydhof, Lawall, Julia L., Muller, Gilles

Year:

2006

Language:

english

File:

PDF, 205 KB

english, 2006

3

Implementing an embedded compiler using program transformation rules

Bissyandé, Tegawendé F., Réveillère, Laurent, Lawall, Julia L., Bromberg, Yérom-David , Muller, Gilles

Journal:

Software: Practice and Experience

Year:

2015

Language:

english

File:

PDF, 1.55 MB

english, 2015

4

PatchNet: Hierarchical Deep Learning-Based Stable Patch Identification for the Linux Kernel

Hoang, Thong Van-Duc, Lawall, Julia, Tian, Yuan, Oentaryo, Richard J., Lo, David

Journal:

IEEE Transactions on Software Engineering

Year:

2019

Language:

english

File:

PDF, 1.98 MB

english, 2019

5

SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers

Yoann Padioleau, Julia L. Lawall, Gilles Muller

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 310 KB

english, 2007

6

Editorial

Matthias Felleisen, Julia Lawall, Manuel Serrano, Olin Shivers

Journal:

Higher-Order and Symbolic Computation

Year:

2005

Language:

english

File:

PDF, 75 KB

english, 2005

7

Editorial

Olivier Danvy, R. Kent Dybvig, Julia Lawall, Peter Thiemann

Journal:

Higher-Order and Symbolic Computation

Year:

2008

Language:

english

File:

PDF, 96 KB

english, 2008

8

Editorial

Julia Lawall, Michael Leuschel, Peter Sestoft

Journal:

Higher-Order and Symbolic Computation

Year:

2008

Language:

english

File:

PDF, 105 KB

english, 2008

9

Static and Dynamic Program Compilation by Interpreter Specialization

Scott Thibault, Charles Consel, Julia L. Lawall, Renaud Marlet, Gilles Muller

Journal:

Higher-Order and Symbolic Computation

Year:

2000

Language:

english

File:

PDF, 129 KB

english, 2000

10

Editorial

Olivier Danvy, Julia L. Lawall

Journal:

Higher-Order and Symbolic Computation

Year:

2001

Language:

english

File:

PDF, 22 KB

english, 2001

11

Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization

Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel

Journal:

Higher-Order and Symbolic Computation

Year:

2004

Language:

english

File:

PDF, 529 KB

english, 2004

12

Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel

Bissyandé, Tegawendé F., Réveillère, Laurent, Lawall, Julia L., Muller, Gilles

Journal:

Automated Software Engineering

Year:

2016

Language:

english

File:

PDF, 1.79 MB

english, 2016

13

[IEEE 2012 34th International Conference on Software Engineering (ICSE) - Zurich, Switzerland (2012.06.2-2012.06.9)] 2012 34th International Conference on Software Engineering (ICSE) - Identifying Linux bug fixing patches

Tian, Yuan, Lawall, Julia, Lo, David

Year:

2012

Language:

english

File:

PDF, 407 KB

english, 2012

14

Faults in Linux 2.6

Palix, Nicolas, Thomas, Gaēl, Saha, Suman, Calvès, Christophe, Muller, Gilles, Lawall, Julia

Journal:

ACM Transactions on Computer Systems

Year:

2014

Language:

english

File:

PDF, 3.54 MB

english, 2014

15

[IEEE 2014 IEEE International Conference on Software Maintenance and Evolution (ICSME) - Victoria, BC, Canada (2014.9.29-2014.10.3)] 2014 IEEE International Conference on Software Maintenance and Evolution - Compositional Vector Space Models for Improved Bug Localization

Wang, Shaowei, Lo, David, Lawall, Julia

Year:

2014

Language:

english

File:

PDF, 485 KB

english, 2014

16

Faults in linux

Palix, Nicolas, Thomas, Gaël, Saha, Suman, Calvès, Christophe, Lawall, Julia, Muller, Gilles

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 812 KB

english, 2012

17

Cleaning up copy–paste clones with interactive merging

Narasimhan, Krishna, Reichenbach, Christoph, Lawall, Julia

Journal:

Automated Software Engineering

Year:

2018

Language:

english

File:

PDF, 1.03 MB

english, 2018

18

Automatic Verification of Bossa Scheduler Properties

Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 337 KB

english, 2007

19

A tour of Tempo: a program specializer for the C language

Charles Consel, Julia L. Lawall, Anne-Françoise Le Meur

Journal:

Science of Computer Programming

Year:

2004

Language:

english

File:

PDF, 517 KB

english, 2004

20

Generic patch inference

Jesper Andersen, Julia L. Lawall

Journal:

Automated Software Engineering

Year:

2010

Language:

english

File:

PDF, 587 KB

english, 2010

21

Preface to special issue on Generative Programming and Component Engineering (GPCE 2007)

Julia L. Lawall

Journal:

Science of Computer Programming

Year:

2010

Language:

english

File:

PDF, 158 KB

english, 2010

22

WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process

Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller

Journal:

Software: Practice and Experience

Year:

2012

Language:

english

File:

PDF, 3.54 MB

english, 2012

23

Editorial

Lawall, Julia, Puebla, Germán, Vidal, Germán

Journal:

Higher-Order and Symbolic Computation

Year:

2011

Language:

english

File:

PDF, 121 KB

english, 2011

24

Preface to the special issue on feature-oriented software development (FOSD 2009)

Sven Apel, Christian Lengauer, Julia Lawall

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 135 KB

english, 2012

25

Editorial TFP 2009/2010

Zsók, Viktória, Page, Rex, Lawall, Julia

Journal:

Higher-Order and Symbolic Computation

Year:

2013

Language:

english

File:

PDF, 93 KB

english, 2013

26

Editorial PEPM2012

Kiselyov, Oleg, Lawall, Julia, Thompson, Simon

Journal:

Higher-Order and Symbolic Computation

Year:

2012

Language:

english

File:

PDF, 165 KB

english, 2012

27

Continuation-based partial evaluation

Lawall, Julia L., Danvy, Olivier

Journal:

ACM SIGPLAN Lisp Pointers

Year:

1994

Language:

english

File:

PDF, 1.08 MB

english, 1994

28

[IEEE 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Budapest, Hungary (2013.06.24-2013.06.27)] 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Hector: Detecting Resource-Release Omission Faults in error-handling code for systems software

Saha, Suman, Lozi, Jean-Pierre, Thomas, Gael, Lawall, Julia L., Muller, Gilles

Year:

2013

Language:

english

File:

PDF, 481 KB

english, 2013

29

Coccinelle: Tool support for automated CERT C Secure Coding Standard certification

Olesen, Mads Chr., Hansen, René Rydhof, Lawall, Julia L., Palix, Nicolas

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 414 KB

english, 2014

30

[IEEE 2007 26th IEEE International Symposium on Reliable Distributed Systems (SRDS 2007) - Beijing, China (2007.10.10-2007.10.12)] 2007 26th IEEE International Symposium on Reliable Distributed Systems (SRDS 2007) - A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations

Burgy, Laurent, Reveillere, Laurent, Lawall, Julia L., Muller, Gilles

Year:

2007

Language:

english

File:

PDF, 324 KB

english, 2007

31

[IEEE 2008 IEEE International Conference on Pervasive Computing and Communications (PerCom) - Hong Kong, China (2008.03.17-2008.03.21)] 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom) - High-level Programming Support for Robust Pervasive Computing Applications

Jouve, Wilfried, Lancia, Julien, Palix, Nicolas, Consel, Charles, Lawall, Julia

Year:

2008

Language:

english

File:

PDF, 347 KB

english, 2008

32

BtrPlace: A Flexible Consolidation Manager for Highly Available Applications

Hermenier, Fabien, Lawall, Julia, Muller, Gilles

Journal:

IEEE Transactions on Dependable and Secure Computing

Year:

2013

Language:

english

File:

PDF, 1.32 MB

english, 2013

33

[IEEE Networks (DSN) - Lisbon, Portugal (2009.06.29-2009.07.2)] 2009 IEEE/IFIP International Conference on Dependable Systems & Networks - WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code

Lawall, Julia L., Brunel, Julien, Palix, Nicolas, Hansen, Rene Rydhof, Stuart, Henrik, Muller, Gilles

Year:

2009

Language:

english

File:

PDF, 286 KB

english, 2009

34

[IEEE 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - L'Aquila, Italy (2008.09.15-2008.09.19)] 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Generic Patch Inference

Andersen, Jesper, Lawall, Julia L.

Year:

2008

Language:

english

File:

PDF, 172 KB

english, 2008

35

[IEEE 2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering and Reverse Engineering (CSMR-WCRE) - Antwerp, Belgium (2014.02.3-2014.02.6)] 2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE) - Automated construction of a software-specific word similarity database

Tian, Yuan, Lo, David, Lawall, Julia

Year:

2014

Language:

english

File:

PDF, 271 KB

english, 2014

36

[IEEE 2010 European Dependable Computing Conference - Valencia, Spain (2010.04.28-2010.04.30)] 2010 European Dependable Computing Conference - Finding Error Handling Bugs in OpenSSL Using Coccinelle

Lawall, Julia, Laurie, Ben, Hansen, René Rydhof, Palix, Nicolas, Muller, Gilles

Year:

2010

Language:

english

File:

PDF, 263 KB

english, 2010

37

[IEEE 2013 20th Working Conference on Reverse Engineering (WCRE) - Koblenz, Germany (2013.10.14-2013.10.17)] 2013 20th Working Conference on Reverse Engineering (WCRE) - Automated library recommendation

Thung, Ferdian, Lo, David, Lawall, Julia

Year:

2013

Language:

english

File:

PDF, 606 KB

english, 2013

38

[IEEE 2006 31st IEEE Conference on Local Computer Networks - Embassy Suites Hotel, Tampa, FL, USA (2006.11.14-2006.11.16)] Proceedings. 2006 31st IEEE Conference on Local Computer Networks - Minimizing Cache Misses in an Event-driven Network Server: A Case Study of TUX

Bhatia, Sapan, Consel, Charles, Lawall, Julia

Year:

2006

Language:

english

File:

PDF, 202 KB

english, 2006

39

[IEEE 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE) - Silicon Valley, CA, USA (2013.11.11-2013.11.15)] 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Automatic recommendation of API methods from feature requests

Thung, Ferdian, Wang, Shaowei, Lo, David, Lawall, Julia

Year:

2013

Language:

english

File:

PDF, 411 KB

english, 2013

40

[IEEE Networks (DSN) - Hong Kong, China (2011.06.27-2011.06.30)] 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN) - Deadline-aware scheduling for Software Transactional Memory

Maldonado, Walther, Marlier, Patrick, Felber, Pascal, Lawall, Julia, Muller, Giller, Riviere, Etienne

Year:

2011

Language:

english

File:

PDF, 1.15 MB

english, 2011

41

[ACM Press the 2011 SIGPLAN/SIGBED conference - Chicago, IL, USA (2011.04.11-2011.04.14)] Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems - LCTES '11 - An approach to improving the structure of error-handling code in the linux kernel

Saha, Suman, Lawall, Julia, Muller, Gilles

Year:

2011

Language:

english

File:

PDF, 524 KB

english, 2011

42

[ACM Press the 2009 ACM SIGPLAN/SIGOPS international conference - Washington, DC, USA (2009.03.11-2009.03.13)] Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments - VEE '09 - Entropy

Hermenier, Fabien, Lorca, Xavier, Menaud, Jean-Marc, Muller, Gilles, Lawall, Julia

Year:

2009

Language:

english

File:

PDF, 581 KB

english, 2009

43

Editorial

Journal:

Journal of Functional Programming

Year:

2008

Language:

english

File:

PDF, 32 KB

english, 2008

44

[ACM Press the 1st international conference - New York City, New York (2007.07.19-2007.07.20)] Proceedings of the 1st international conference on Principles, systems and applications of IP telecommunications - IPTComm '07 - A stepwise approach to developing languages for SIP telephony service creation

Palix, Nicolas, Consel, Charles, Réveillère, Laurent, Lawall, Julia

Year:

2007

Language:

english

File:

PDF, 292 KB

english, 2007

45

[ACM Press the 6th ACM & IEEE International conference - Seoul, Korea (2006.10.22-2006.10.25)] Proceedings of the 6th ACM & IEEE International conference on Embedded software - EMSOFT '06 - Energy adaptation for multimedia information kiosks

Urunuela, Richard, Muller, Gilles, Lawall, Julia L.

Year:

2006

Language:

english

File:

PDF, 813 KB

english, 2006

46

[ACM Press the 1992 ACM conference - San Francisco, California, United States (1992.06.22-1992.06.24)] Proceedings of the 1992 ACM conference on LISP and functional programming - LFP '92 - Back to direct style II

Danvy, Olivier, Lawall, Julia L.

Year:

1992

Language:

english

File:

PDF, 1001 KB

english, 1992

47

[ACM Press the 27th IEEE/ACM International Conference - Essen, Germany (2012.09.03-2012.09.07)] Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering - ASE 2012 - Diagnosys: automatic generation of a debugging interface to the Linux kernel

Bissyandé, Tegawendé F., Réveillère, Laurent, Lawall, Julia L., Muller, Gilles

Year:

2012

Language:

english

File:

PDF, 492 KB

english, 2012

48

[ACM Press the Seventh Workshop - Farmington, Pennsylvania (2013.11.03-2013.11.06)] Proceedings of the Seventh Workshop on Programming Languages and Operating Systems - PLOS '13 - Understanding the genetic makeup of Linux device drivers

Tschudin, Peter Senna, Réveillère, Laurent, Jiang, Lingxiao, Lo, David, Lawall, Julia, Muller, Gilles

Year:

2013

Language:

english

File:

PDF, 203 KB

english, 2013

49

Supporting Time-Based QoS Requirements in Software Transactional Memory

Maldonado, Walther, Marlier, Patrick, Felber, Pascal, Lawall, Julia, Muller, Gilles, Rivière, Etienne

Journal:

ACM Transactions on Parallel Computing

Year:

2015

Language:

english

File:

PDF, 1.99 MB

english, 2015

50

[ACM Press the 2006 EuroSys conference - Leuven, Belgium (2006.04.18-2006.04.21)] Proceedings of the 2006 EuroSys conference on - EuroSys '06 - Understanding collateral evolution in Linux device drivers

Padioleau, Yoann, Lawall, Julia L., Muller, Gilles

Year:

2006

Language:

english

File:

PDF, 774 KB

english, 2006