Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450327848

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Chlorophyll

Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 ◽

10.1145/2594291.2594339 ◽

2014 ◽

Cited By ~ 26

Author(s):

Phitchaya Mangpo Phothilimthana ◽

Tikhon Jelvis ◽

Rohin Shah ◽

Nishant Totla ◽

Sarah Chasins ◽

...

Download Full-text

Herding cats

Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 ◽

10.1145/2594291.2594347 ◽

2014 ◽

Cited By ~ 7

Author(s):

Jade Alglave ◽

Luc Maranget ◽

Michael Tautschnig

Download Full-text

A lightweight symbolic virtual machine for solver-aided host languages

Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 ◽

10.1145/2594291.2594340 ◽

2014 ◽

Cited By ~ 75

Author(s):

Emina Torlak ◽

Rastislav Bodik

Keyword(s):

Virtual Machine

Download Full-text

Code completion with statistical language models

Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 ◽

10.1145/2594291.2594321 ◽

2014 ◽

Cited By ~ 99

Author(s):

Veselin Raychev ◽

Martin Vechev ◽

Eran Yahav

Keyword(s):

Language Models ◽

Code Completion ◽

Statistical Language Models

Download Full-text

Introspective analysis

Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 ◽

10.1145/2594291.2594320 ◽

2014 ◽

Cited By ~ 37

Author(s):

Yannis Smaragdakis ◽

George Kastrinis ◽

George Balatsouras

Download Full-text

VeriCon

Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 ◽

10.1145/2594291.2594317 ◽

2014 ◽

Cited By ~ 31

Author(s):

Thomas Ball ◽

Nikolaj Bjørner ◽

Aaron Gember ◽

Shachar Itzhaky ◽

Aleksandr Karbyshev ◽

...

Download Full-text

Session details: Types

Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 ◽

10.1145/3251065 ◽

2014 ◽

Author(s):

Shriram Krishnamurthi

Download Full-text

Session details: Parallelism 1

Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 ◽

10.1145/3251062 ◽

2014 ◽

Author(s):

Lawrence Rauchwerger

Download Full-text

Session details: Security-correctness

Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 ◽

10.1145/3251081 ◽

2014 ◽

Author(s):

Isil Dillig

Download Full-text

Session details: Keynote address

Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 ◽

10.1145/3251075 ◽

2014 ◽

Author(s):

Tony Hoare

Keyword(s):

Keynote Address

Download Full-text

Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Chlorophyll

Herding cats

A lightweight symbolic virtual machine for solver-aided host languages

Code completion with statistical language models

Introspective analysis

VeriCon

Session details: Types

Session details: Parallelism 1

Session details: Security-correctness

Session details: Keynote address

Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14
Latest Publications