Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450334686

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Diagnosing type errors with class

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 ◽

10.1145/2737924.2738009 ◽

2015 ◽

Cited By ~ 19

Author(s):

Danfeng Zhang ◽

Andrew C. Myers ◽

Dimitrios Vytiniotis ◽

Simon Peyton-Jones

Download Full-text

Automatic induction proofs of data-structures in imperative programs

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 ◽

10.1145/2737924.2737984 ◽

2015 ◽

Cited By ~ 11

Author(s):

Duc-Hiep Chu ◽

Joxan Jaffar ◽

Minh-Thai Trinh

Keyword(s):

Data Structures ◽

Induction Proofs

Download Full-text

Stateless model checking concurrent programs with maximal causality reduction

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 ◽

10.1145/2737924.2737975 ◽

2015 ◽

Cited By ~ 41

Author(s):

Jeff Huang

Keyword(s):

Model Checking ◽

Concurrent Programs

Download Full-text

A simpler, safer programming and execution model for intermittent systems

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 ◽

10.1145/2737924.2737978 ◽

2015 ◽

Cited By ~ 66

Author(s):

Brandon Lucia ◽

Benjamin Ransford

Keyword(s):

Execution Model

Download Full-text

Automatically improving accuracy for floating point expressions

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 ◽

10.1145/2737924.2737959 ◽

2015 ◽

Cited By ~ 51

Author(s):

Pavel Panchekha ◽

Alex Sanchez-Stern ◽

James R. Wilcox ◽

Zachary Tatlock

Keyword(s):

Floating Point ◽

Improving Accuracy

Download Full-text

Synthesizing parallel graph programs via automated planning

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 ◽

10.1145/2737924.2737953 ◽

2015 ◽

Cited By ~ 13

Author(s):

Dimitrios Prountzos ◽

Roman Manevich ◽

Keshav Pingali

Keyword(s):

Automated Planning ◽

Parallel Graph

Download Full-text

Synthesizing data structure transformations from input-output examples

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 ◽

10.1145/2737924.2737977 ◽

2015 ◽

Cited By ~ 88

Author(s):

John K. Feser ◽

Swarat Chaudhuri ◽

Isil Dillig

Keyword(s):

Data Structure ◽

Input Output

Download Full-text

Celebrating diversity: a mixture of experts approach for runtime mapping in dynamic environments

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 ◽

10.1145/2737924.2737999 ◽

2015 ◽

Cited By ~ 12

Author(s):

Murali Krishna Emani ◽

Michael O'Boyle

Keyword(s):

Dynamic Environments ◽

Mixture Of Experts

Download Full-text

Defining the undefinedness of C

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 ◽

10.1145/2737924.2737979 ◽

2015 ◽

Cited By ~ 38

Author(s):

Chris Hathhorn ◽

Chucky Ellison ◽

Grigore Roşu

Download Full-text

Preventing glitches and short circuits in high-level self-timed chip specifications

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 ◽

10.1145/2737924.2737967 ◽

2015 ◽

Cited By ~ 1

Author(s):

Stephen Longfield ◽

Brittany Nkounkou ◽

Rajit Manohar ◽

Ross Tate

Keyword(s):

Short Circuits ◽

High Level

Download Full-text

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Diagnosing type errors with class

Automatic induction proofs of data-structures in imperative programs

Stateless model checking concurrent programs with maximal causality reduction

A simpler, safer programming and execution model for intermittent systems

Automatically improving accuracy for floating point expressions

Synthesizing parallel graph programs via automated planning

Synthesizing data structure transformations from input-output examples

Celebrating diversity: a mixture of experts approach for runtime mapping in dynamic environments

Defining the undefinedness of C

Preventing glitches and short circuits in high-level self-timed chip specifications

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015
Latest Publications