Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity - SPLASH Companion 2015
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450337229

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Contributions of the under-appreciated: gender bias in an open-source ecology

Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity - SPLASH Companion 2015 ◽

10.1145/2814189.2815369 ◽

2015 ◽

Cited By ~ 4

Author(s):

Andrew Kofink

Keyword(s):

Open Source ◽

Gender Bias

Download Full-text

Gradual mode types for energy-aware programming

Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity - SPLASH Companion 2015 ◽

10.1145/2814189.2815368 ◽

2015 ◽

Author(s):

Anthony Canino

Keyword(s):

Energy Aware

Download Full-text

Automatic array property detection via static analysis

Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity - SPLASH Companion 2015 ◽

10.1145/2814189.2815367 ◽

2015 ◽

Author(s):

Alisa J. Maas

Keyword(s):

Static Analysis

Download Full-text

Safely evolving configurable systems

Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity - SPLASH Companion 2015 ◽

10.1145/2814189.2815365 ◽

2015 ◽

Author(s):

Flávio Medeiros

Keyword(s):

Configurable Systems

Download Full-text

Workshop Summary of the 3rd International Workshop on Programming for Mobile and Touch (PROMOTO 2015)

Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity - SPLASH Companion 2015 ◽

10.1145/2814189.2885247 ◽

2015 ◽

Author(s):

Steven Fraser ◽

Alberto Sillitti

Keyword(s):

International Workshop ◽

Workshop Summary

Download Full-text

Concurrency control for multithreaded reactive programming

Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity - SPLASH Companion 2015 ◽

10.1145/2814189.2815374 ◽

2015 ◽

Author(s):

Ragnar Mogk

Keyword(s):

Concurrency Control ◽

Reactive Programming

Download Full-text

Custom full-coverage dynamic program analysis for Android

Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity - SPLASH Companion 2015 ◽

10.1145/2814189.2814190 ◽

2015 ◽

Author(s):

Haiyang Sun ◽

Yudi Zheng ◽

Lubomír Bulej ◽

Walter Binder ◽

Stephen Kell

Keyword(s):

Program Analysis ◽

Dynamic Program ◽

Full Coverage ◽

Dynamic Program Analysis

Download Full-text

Workshop preview of the 2015 eclipse technology exchange workshop (ETX 2015)

Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity - SPLASH Companion 2015 ◽

10.1145/2814189.2833198 ◽

2015 ◽

Author(s):

Tim Verbelen ◽

Michael G. Burke

Keyword(s):

Technology Exchange

Download Full-text

Workshop preview of the 2015 workshop on reactive and event-based languages & systems (REBLS 2015)

Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity - SPLASH Companion 2015 ◽

10.1145/2814189.2833210 ◽

2015 ◽

Author(s):

Guido Salvaneschi ◽

Wolfgang De Meuter ◽

Patrick Eugster ◽

Lukasz Ziarek

Keyword(s):

Event Based

Download Full-text

The Oprop verification tool: object propositions in action

Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity - SPLASH Companion 2015 ◽

10.1145/2814189.2815370 ◽

2015 ◽

Author(s):

Ligia Nistor

Keyword(s):

Verification Tool

Download Full-text

Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity - SPLASH Companion 2015Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Contributions of the under-appreciated: gender bias in an open-source ecology

Gradual mode types for energy-aware programming

Automatic array property detection via static analysis

Safely evolving configurable systems

Workshop Summary of the 3rd International Workshop on Programming for Mobile and Touch (PROMOTO 2015)

Concurrency control for multithreaded reactive programming

Custom full-coverage dynamic program analysis for Android

Workshop preview of the 2015 eclipse technology exchange workshop (ETX 2015)

Workshop preview of the 2015 workshop on reactive and event-based languages & systems (REBLS 2015)

The Oprop verification tool: object propositions in action

Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity - SPLASH Companion 2015
Latest Publications