Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2016
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450344449

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Chain: tasks and channels for reliable intermittent programs

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2016 ◽

10.1145/2983990.2983995 ◽

2016 ◽

Cited By ~ 58

Author(s):

Alexei Colin ◽

Brandon Lucia

Download Full-text

Makalu: fast recoverable allocation of non-volatile memory

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2016 ◽

10.1145/2983990.2984019 ◽

2016 ◽

Cited By ~ 39

Author(s):

Kumud Bhandari ◽

Dhruva R. Chakrabarti ◽

Hans-J. Boehm

Keyword(s):

Non Volatile Memory ◽

Volatile Memory

Download Full-text

The missing link: explaining ELF static linking, semantically

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2016 ◽

10.1145/2983990.2983996 ◽

2016 ◽

Cited By ~ 8

Author(s):

Stephen Kell ◽

Dominic P. Mulligan ◽

Peter Sewell

Keyword(s):

Missing Link

Download Full-text

Java and scala's type systems are unsound: the existential crisis of null pointers

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2016 ◽

10.1145/2983990.2984004 ◽

2016 ◽

Cited By ~ 17

Author(s):

Nada Amin ◽

Ross Tate

Keyword(s):

Type Systems ◽

Existential Crisis

Download Full-text

An improved algorithm for slicing machine code

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2016 ◽

10.1145/2983990.2984003 ◽

2016 ◽

Cited By ~ 5

Author(s):

Venkatesh Srinivasan ◽

Thomas Reps

Keyword(s):

Machine Code ◽

Improved Algorithm

Download Full-text

GEMs: shared-memory parallel programming for Node.js

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2016 ◽

10.1145/2983990.2984039 ◽

2016 ◽

Cited By ~ 1

Author(s):

Daniele Bonetta ◽

Luca Salucci ◽

Stefan Marr ◽

Walter Binder

Keyword(s):

Parallel Programming ◽

Shared Memory

Download Full-text

Finding compiler bugs via live code mutation

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2016 ◽

10.1145/2983990.2984038 ◽

2016 ◽

Cited By ~ 24

Author(s):

Chengnian Sun ◽

Vu Le ◽

Zhendong Su

Download Full-text

Precise and maximal race detection from incomplete traces

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2016 ◽

10.1145/2983990.2984024 ◽

2016 ◽

Cited By ~ 13

Author(s):

Jeff Huang ◽

Arun K. Rajagopalan

Keyword(s):

Race Detection

Download Full-text

Speeding up machine-code synthesis

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2016 ◽

10.1145/2983990.2984006 ◽

2016 ◽

Cited By ~ 3

Author(s):

Venkatesh Srinivasan ◽

Tushar Sharma ◽

Thomas Reps

Keyword(s):

Machine Code

Download Full-text

Automatic parallelization of pure method calls via conditional future synthesis

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2016 ◽

10.1145/2983990.2984035 ◽

2016 ◽

Cited By ~ 2

Author(s):

Rishi Surendran ◽

Vivek Sarkar

Keyword(s):

Automatic Parallelization

Download Full-text

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2016Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Chain: tasks and channels for reliable intermittent programs

Makalu: fast recoverable allocation of non-volatile memory

The missing link: explaining ELF static linking, semantically

Java and scala's type systems are unsound: the existential crisis of null pointers

An improved algorithm for slicing machine code

GEMs: shared-memory parallel programming for Node.js

Finding compiler bugs via live code mutation

Precise and maximal race detection from incomplete traces

Speeding up machine-code synthesis

Automatic parallelization of pure method calls via conditional future synthesis

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2016
Latest Publications