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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450336895

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

AutoMO: automatic inference of memory order parameters for C/C++11

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

10.1145/2814270.2814286 ◽

2015 ◽

Cited By ~ 3

Author(s):

Peizhao Ou ◽

Brian Demsky

Keyword(s):

Order Parameters ◽

Automatic Inference

Download Full-text

A co-contextual formulation of type rules and its application to incremental type checking

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

10.1145/2814270.2814277 ◽

2015 ◽

Cited By ~ 8

Author(s):

Sebastian Erdweg ◽

Oliver Bračevac ◽

Edlira Kuci ◽

Matthias Krebs ◽

Mira Mezini

Keyword(s):

Type Checking

Download Full-text

SATCheck: SAT-directed stateless model checking for SC and TSO

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

10.1145/2814270.2814297 ◽

2015 ◽

Cited By ~ 27

Author(s):

Brian Demsky ◽

Patrick Lam

Keyword(s):

Model Checking

Download Full-text

Scrap your boilerplate with object algebras

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

10.1145/2814270.2814279 ◽

2015 ◽

Cited By ~ 3

Author(s):

Haoyuan Zhang ◽

Zewei Chu ◽

Bruno C. d. S. Oliveira ◽

Tijs van der Storm

Download Full-text

The chemical approach to typestate-oriented programming

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

10.1145/2814270.2814287 ◽

2015 ◽

Cited By ~ 6

Author(s):

Silvia Crafa ◽

Luca Padovani

Keyword(s):

Chemical Approach

Download Full-text

Approximate computation with outlier detection in Topaz

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

10.1145/2814270.2814314 ◽

2015 ◽

Cited By ~ 6

Author(s):

Sara Achour ◽

Martin C. Rinard

Keyword(s):

Outlier Detection ◽

Approximate Computation

Download Full-text

Automatic memory reclamation for lock-free data structures

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

10.1145/2814270.2814298 ◽

2015 ◽

Cited By ~ 14

Author(s):

Nachshon Cohen ◽

Erez Petrank

Keyword(s):

Data Structures ◽

Free Data ◽

Automatic Memory

Download Full-text

Cross-layer memory management for managed language applications

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

10.1145/2814270.2814322 ◽

2015 ◽

Cited By ~ 13

Author(s):

Michael R. Jantz ◽

Forrest J. Robinson ◽

Prasad A. Kulkarni ◽

Kshitij A. Doshi

Keyword(s):

Memory Management ◽

Cross Layer

Download Full-text

Automated backward error analysis for numerical code

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

10.1145/2814270.2814317 ◽

2015 ◽

Cited By ~ 7

Author(s):

Zhoulai Fu ◽

Zhaojun Bai ◽

Zhendong Su

Keyword(s):

Error Analysis ◽

Numerical Code ◽

Backward Error Analysis ◽

Backward Error

Download Full-text

Protocol-based verification of message-passing parallel programs

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

10.1145/2814270.2814302 ◽

2015 ◽

Cited By ~ 12

Author(s):

Hugo A. López ◽

Eduardo R. B. Marques ◽

Francisco Martins ◽

Nicholas Ng ◽

César Santos ◽

...

Keyword(s):

Message Passing ◽

Parallel Programs

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

AutoMO: automatic inference of memory order parameters for C/C++11

A co-contextual formulation of type rules and its application to incremental type checking

SATCheck: SAT-directed stateless model checking for SC and TSO

Scrap your boilerplate with object algebras

The chemical approach to typestate-oriented programming

Approximate computation with outlier detection in Topaz

Automatic memory reclamation for lock-free data structures

Cross-layer memory management for managed language applications

Automated backward error analysis for numerical code

Protocol-based verification of message-passing parallel programs

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