Lawall, Julia L., 19..-...., informaticienne
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Lawall, Julia L.
VIAF ID: 315247094 (Personal)
Permalink: http://viaf.org/viaf/315247094
Preferred Forms
4xx's: Alternate Name Forms (3)
5xx's: Related Names (2)
- 511 2 _
‡a
Institut national de recherche en informatique et en automatique (France)
- 511 2 _
‡a
Institut national de recherche en informatique et en automatique (France).
‡b
Centre de recherche de Paris
Works
| Title | Sources |
|---|---|
| Aider le mainteneur d'applications libres à répondre aux rapports d'erreur. |
|
| Apprentissage statistique pour la modélisation de performances sur des espaces de configuration colossaux. |
|
| Assurance de disponibilité et cohérence dirigeante dans systèmes de fichiers géo-reproduits. |
|
| Automatic inference of system software transformation rules from examples |
|
| Boost the Reliability of the Linux Kernel : Debugging kernel oopses |
|
| Conception, implémentation et preuve d'un service de transfert de flôt d'exécution au sein d'un noyau de système d'exploitation |
|
| Contributions to the use of code clone detectors in software maintenance tasks. |
|
| Effectful programs and their proofs in type theory : application to certified compilation and certified packet processing |
|
| Efficient incremental checkpointing of Java program |
|
| Ensuring availability and managing consistency in geo-replicated file systems |
|
| Functional abstraction for programming multi-level architectures : formalisation and implementation. |
|
| High-throughput real-time onion networks to protect everyone's privacy |
|
| Inférence automatique à partir d'exemples de règles de transformations pour le logiciel d'architecture. |
|
| Machine learning for performance modelling on colossal software configuration spaces |
|
| Programmes avec effets et leurs preuves dans la théorie des types : application à la compilation certifiée et aux traitements de paquets certifiés. |
|
| Réseaux en oignon haut débit et temps réel pour protéger la vie privée de toutes et tous. |
|
| Sémantique différentielle des programmes. |
|
| Specialization patterns |
|
| Towards automatic specialization of Java programs |
|
| Vérification automatique de code bas-niveau : C, assembleur et binaire |
|
| Vérification automatisée de code système à l'aide d'abstractions mémoire basées sur le typage. |
|
| Vérification de scripts Shell effectuant des transformations de système de fichiers hiérarchiques. |
|
