Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Julia Lawall
482  Ergebnisse:
Personensuche X
?
1

Introduction to the Special Section on USENIX ATC 2023:

Williams, Dan ; Lawall, Julia
ACM Transactions on Storage.  20 (2024)  2 - p. 1-1 , 2024
Link: https://doi.org/10.1145/..
 
?
2

Whey protein concentrate and skimmed milk powder as encapsu..:

Barbosa, Letícia Ribeiro ; Francisquini, Júlia d'Almeida ; Cerqueira, Ana Flávia Lawall Werneck...
Journal of Dairy Research.  91 (2024)  1 - p. 96-98 , 2024
Link: https://doi.org/10.1017/..
 
?
3

Evaluating SZZ Implementations: An Empirical Study on the L..:

Lyu, Yunbo ; Kang, Hong Jin ; Widyasari, Ratnadira..
IEEE Transactions on Software Engineering.  , 2024
Link: https://doi.org/10.1109/..
 
?
4

OFence: Pairing Barriers to Find Concurrency Bugs in the Li..:

, In: Proceedings of the Eighteenth European Conference on Computer Systems,
Lepers, Baptiste ; Giet, Josselin ; Zwaenepoel, Willy. - p. 33-45 , 2023
Link: https://dl.acm.org/doi/1..
 
?
5

OFence: Pairing Barriers to Find Concurrency Bugs in the Li..:

Lepers, Baptiste ; Giet, Josselin ; Lawall, Julia.
info:eu-repo/semantics/altIdentifier/doi/10.1145/3552326.3567504.  , 2023
Link: https://inria.hal.scienc..
 
?
6

Evaluating SZZ Implementations: An Empirical Study on the L..:

Lyu, Yunbo ; Kang, Hong Jin ; Widyasari, Ratnadira..
http://arxiv.org/abs/2308.05060.  , 2023
Link: http://arxiv.org/abs/230..
 
?
7

How are We Detecting Inconsistent Method Names? An Empirica..:

Kim, Kisub ; Zhou, Xin ; Kim, Dongsun...
http://arxiv.org/abs/2308.12701.  , 2023
Link: http://arxiv.org/abs/230..
 
?
8

BPF Hybrid Lock: Using eBPF to communicate with the schedul..:

Laforet, Victor ; Lozi, Jean-Pierre ; Lawall, Julia
hal-04266815.  , 2023
Link: https://inria.hal.scienc..
 
?
9

BPF Hybrid Lock: Using eBPF to communicate with the schedul..:

Laforet, Victor ; Lozi, Jean-Pierre ; Lawall, Julia
hal-04266815.  , 2023
Link: https://inria.hal.scienc..
 
?
10

eBPF Hybrid Lock: Scalable Spin-based User-Space Locking (P..:

Laforet, Victor ; Lozi, Jean-Pierre ; Lawall, Julia
hal-04262326.  , 2023
Link: https://inria.hal.scienc..
 
?
11

Graphing Tools for Scheduler Tracing:

Lawall, Julia ; Chhaya-Shailesh, Himadri ; Lozi, Jean-Pierre.
Report N°: RR-9498.  , 2023
Link: https://inria.hal.scienc..
 
?
12

On the Origins of Coccinelle:

Lawall, Julia
doi:10.4230/OASIcs.EVCS.2023.18.  , 2023
Link: https://doi.org/10.4230/..
 
?
13

Automating Program Transformation with Coccinelle:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Lawall, Julia ; Muller, Gilles - p. 71-87 , 2022
Link: https://doi.org/10.1007/..
 
?
14

Hybrid Static-Dynamic Analysis of Data Races Caused by Inco..:

Bai, Jia-Ju ; Chen, Qiu-Liang ; Jiang, Zu-Ming..
IEEE Transactions on Software Engineering.  , 2022
Link: https://doi.org/10.1109/..
 
?
15

AndroEvolve: automated Android API update with data flow an..:

Haryono, Stefanus A. ; Thung, Ferdian ; Lo, David...
Empirical Software Engineering.  27 (2022)  3 - p. , 2022
Link: https://doi.org/10.1007/..
 
1-15