CUFinder

Andreea Costea

About Andreea Costea

Andreea Costea, With an exceptional h-index of 7 and a recent h-index of 7 (since 2020), a distinguished researcher at National University of Singapore, specializes in the field of Programming Languages, Software Verification, Communication Protocols.

His recent articles reflect a diverse array of research interests and contributions to the field:

Program Repair Competition 2024

Adventure of a Lifetime: Extract Method Refactoring for Rust

Patch Space Exploration using Static Analysis Feedback

Protocol Conformance with Choreographic PlusCal

Hippodrome: Data Race Repair Using Static Analysis Summaries

Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization

Concise read-only specifications for better synthesis of programs with pointers

Andreea Costea Information

University

Position

___

Citations(all)

141

Citations(since 2020)

129

Cited By

25

hIndex(all)

7

hIndex(since 2020)

7

i10Index(all)

5

i10Index(since 2020)

5

Email

University Profile Page

Google Scholar

Andreea Costea Skills & Research Interests

Programming Languages

Software Verification

Communication Protocols

Top articles of Andreea Costea

Program Repair Competition 2024

2024

Ridwan Shariffdeen
Ridwan Shariffdeen

H-Index: 2

Yannic Noller
Yannic Noller

H-Index: 6

Martin Mirchev
Martin Mirchev

H-Index: 1

Xiang Gao
Xiang Gao

H-Index: 7

Andreea Costea
Andreea Costea

H-Index: 3

Abhik Roychoudhury
Abhik Roychoudhury

H-Index: 34

Adventure of a Lifetime: Extract Method Refactoring for Rust

Proceedings of the ACM on Programming Languages

2023/10/16

Andreea Costea
Andreea Costea

H-Index: 3

Kiran Gopinathan
Kiran Gopinathan

H-Index: 2

Patch Space Exploration using Static Analysis Feedback

arXiv preprint arXiv:2308.00294

2023/8/1

Yuntong Zhang
Yuntong Zhang

H-Index: 9

Andreea Costea
Andreea Costea

H-Index: 3

Ridwan Shariffdeen
Ridwan Shariffdeen

H-Index: 2

Davin Mccall
Davin Mccall

H-Index: 5

Abhik Roychoudhury
Abhik Roychoudhury

H-Index: 34

Protocol Conformance with Choreographic PlusCal

2023/6/27

Darius Foo
Darius Foo

H-Index: 3

Andreea Costea
Andreea Costea

H-Index: 3

Hippodrome: Data Race Repair Using Static Analysis Summaries

ACM Transactions on Software Engineering and Methodology (TOSEM)

2023/3/31

Andreea Costea
Andreea Costea

H-Index: 3

Abhishek Tiwari
Abhishek Tiwari

H-Index: 2

Abhik Roychoudhury
Abhik Roychoudhury

H-Index: 34

Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization

arXiv preprint arXiv:2109.11802

2021/9/24

Andreea Costea
Andreea Costea

H-Index: 3

Shengchao Qin
Shengchao Qin

H-Index: 15

Concise read-only specifications for better synthesis of programs with pointers

2020/4/18

Andreea Costea
Andreea Costea

H-Index: 3

Nadia Polikarpova
Nadia Polikarpova

H-Index: 13

See List of Professors in Andreea Costea University(National University of Singapore)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine