( en | de | ru )

 

Disambiguation of "Necula, George C."

Author of the publication

copydeleteadd this publication to your clipboard
Specifying and checking semantic atomicity for multithreaded programs.

, , and . ASPLOS, page 79-90. ACM, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

George C Craig

George C Tiao

George Mertzios

Combinatorial optimization and recognition of graph classes with applications to related models. TU Aachen, (2009)

Guido C C Clinckspoor

Thomas C C Knöbig

 

Other publications of authors with the same name

JVer: A Java Verifier., , , , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 144-147. Springer, (2005)A Scalable Architecture for Proof-Carrying Code.. FLOPS, volume 2024 of Lecture Notes in Computer Science, page 21-39. Springer, (2001)Analysis of Low-Level Code Using Cooperating Decompilers., , and . SAS, volume 4134 of Lecture Notes in Computer Science, page 318-335. Springer, (2006)Dependent Types for Low-Level Programming., , , , and . ESOP, volume 4421 of Lecture Notes in Computer Science, page 520-535. Springer, (2007)Using Dependent Types to Port Type Systems to Low-Level Languages.. CC, volume 3923 of Lecture Notes in Computer Science, page 1. Springer, (2006)Translation validation for an optimizing compiler.. PLDI, page 83-94. ACM, (2000)NDetermin: inferring nondeterministic sequential specifications for parallelism correctness., , , and . PPoPP, page 329-330. ACM, (2012)Specifying and checking semantic atomicity for multithreaded programs., , and . ASPLOS, page 79-90. ACM, (2011)DetReduce: minimizing Android GUI test suites for regression testing., , , and . ICSE, page 445-455. ACM, (2018)XFI: Software Guards for System Address Spaces., , , , and . OSDI, page 75-88. USENIX Association, (2006)