Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming - Programming'18 Companion
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450355131

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Files as directories: some thoughts on accessing structured data within files

Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming - Programming'18 Companion ◽

10.1145/3191697.3214323 ◽

2018 ◽

Author(s):

Raphael Wimmer

Keyword(s):

Structured Data

Download Full-text

Towards an intelligent fault prediction code editor to improve software quality using deep learning

Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming - Programming'18 Companion ◽

10.1145/3191697.3213793 ◽

2018 ◽

Author(s):

Vasu Jindal

Keyword(s):

Deep Learning ◽

Software Quality ◽

Fault Prediction

Download Full-text

The exploration workspace: interleaving the implementation and use of plain objects in smalltalk

Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming - Programming'18 Companion ◽

10.1145/3191697.3214339 ◽

2018 ◽

Author(s):

Patrick Rein ◽

Robert Hirschfeld

Download Full-text

Detecting energy bugs and hotspots in control software using model checking

Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming - Programming'18 Companion ◽

10.1145/3191697.3213805 ◽

2018 ◽

Author(s):

Pascal van Gastel ◽

Bernard van Gastel ◽

Marko van Eekelen

Keyword(s):

Model Checking ◽

Control Software

Download Full-text

Self-hosted scripting in guile

Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming - Programming'18 Companion ◽

10.1145/3191697.3191727 ◽

2018 ◽

Author(s):

Andy Wingo

Download Full-text

Fully homomorphic encryption scheme for secure computation

Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming - Programming'18 Companion ◽

10.1145/3191697.3213794 ◽

2018 ◽

Author(s):

Alisa Gazizullina

Keyword(s):

Homomorphic Encryption ◽

Secure Computation ◽

Encryption Scheme ◽

Fully Homomorphic Encryption

Download Full-text

Sandboxed execution of C and other unsafe languages on the Java virtual machine

Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming - Programming'18 Companion ◽

10.1145/3191697.3213795 ◽

2018 ◽

Author(s):

Manuel Rigger

Keyword(s):

Virtual Machine ◽

Java Virtual Machine

Download Full-text

Semprola: a semiotic programming language

Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming - Programming'18 Companion ◽

10.1145/3191697.3214330 ◽

2018 ◽

Cited By ~ 1

Author(s):

Oli Sharpe

Keyword(s):

Programming Language

Download Full-text

ExtendJ: extensible Java compiler

Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming - Programming'18 Companion ◽

10.1145/3191697.3213798 ◽

2018 ◽

Cited By ~ 1

Author(s):

Jesper Öqvist

Download Full-text

Cospans and symmetric lenses

Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming - Programming'18 Companion ◽

10.1145/3191697.3191717 ◽

2018 ◽

Cited By ~ 2

Author(s):

Michael Johnson ◽

Robert Rosebrugh

Download Full-text

Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming - Programming'18 CompanionLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Files as directories: some thoughts on accessing structured data within files

Towards an intelligent fault prediction code editor to improve software quality using deep learning

The exploration workspace: interleaving the implementation and use of plain objects in smalltalk

Detecting energy bugs and hotspots in control software using model checking

Self-hosted scripting in guile

Fully homomorphic encryption scheme for secure computation

Sandboxed execution of C and other unsafe languages on the Java virtual machine

Semprola: a semiotic programming language

ExtendJ: extensible Java compiler

Cospans and symmetric lenses

Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming - Programming'18 Companion
Latest Publications