Search for persons
X
?
Proceedings of the Eighteenth European Conference on Computer Systems ,
4
OFence: Pairing Barriers to Find Concurrency Bugs in the Li..:
, In:
?
Lecture Notes in Computer Science; NASA Formal Methods ,
6
Automating Program Transformation with Coccinelle:
, In:
?
Proceedings of the Seventeenth European Conference on Computer Systems ,
8
OS scheduling with nest : keeping tasks close together o..:
, In:
?
Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis ,
9
Automated patch backporting in Linux (experience paper):
, In:
?
2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ,
11
AndroEvolve: Automated Update for Android Deprecated-API Us..:
, In:
?
Lecture Notes in Computer Science; High Performance Computing ,
12
Refactoring for Performance with Semantic Patching: Case St..:
, In:
?
Proceedings of the 43rd International Conference on Software Engineering: Companion Proceedings ,
13
AndroEvolve : automated update for android deprecated-AP..:
, In:
?
Proceedings of the 28th International Conference on Program Comprehension ,
14
Automatic Android Deprecated-API Usage Update by Learning f..:
, In:
?
Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering ,
15