( en | de | ru )

 

Disambiguation of "Necula, George C."

Author of the publication

copydeleteadd this publication to your clipboard
Dependent Types for Low-Level Programming.

, , , , and . ESOP, volume 4421 of Lecture Notes in Computer Science, page 520-535. Springer, (2007)

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

Proof-Carrying Code.. Encyclopedia of Cryptography and Security (2nd Ed.), Springer, (2011)A model and framework for reliable build systems, , and . CoRR, (2012)Analysis of Low-Level Code Using Cooperating Decompilers., , and . SAS, volume 4134 of Lecture Notes in Computer Science, page 318-335. Springer, (2006)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)Using Dependent Types to Port Type Systems to Low-Level Languages.. CC, volume 3923 of Lecture Notes in Computer Science, page 1. Springer, (2006)Dependent Types for Low-Level Programming., , , , and . ESOP, volume 4421 of Lecture Notes in Computer Science, page 520-535. Springer, (2007)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)