Jeannie: granting java native interface developers their wishes

Authors:
Martin Hirzel;Robert Grimm
Affiliations:
IBM Watson Research Center, Hawthorne, NY;New York University, New York, NY
Venue:
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Year:
2007

Citing 36
Cited 22

Integrating the Scheme and C languages

LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Programmable syntax macros

PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Automated support for seamless interoperability in polylingual software systems

SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
The Java syntactic extender (JSE)

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Visitor combination and traversal control

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Macros as multi-stage computations: type-safe, generative, binding macros in MacroML

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Maya: multiple-dispatch syntax extension in Java

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Java Native Interface: Programmer's Guide and Reference

Java Native Interface: Programmer's Guide and Reference
The Java Language Specification

The Java Language Specification
Template meta-programming for Haskell

ACM SIGPLAN Notices
The Exu Approach to Safe, Transparent and Lightweight Interoperability

COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs

CC '02 Proceedings of the 11th International Conference on Compiler Construction
Disambiguation Filters for Scannerless Generalized LR Parsers

CC '02 Proceedings of the 11th International Conference on Compiler Construction
CCured in the real world

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Mockingbird: Flexible Stub Compilation from Pairs of Declarations

ICDCS '99 Proceedings of the 19th IEEE International Conference on Distributed Computing Systems
Practical predicate dispatch

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
XJ: facilitating XML processing in Java

WWW '05 Proceedings of the 14th international conference on World Wide Web
Inlining java native calls at runtime

Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments
ASTEC: a new approach to refactoring C

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Java JNI Bridge: A Framework for Mixed Native ISA Execution

Proceedings of the International Symposium on Code Generation and Optimization
Better extensibility through modular syntax

Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
LINQ: reconciling object, relations and XML in the .NET framework

Proceedings of the 2006 ACM SIGMOD international conference on Management of data
J&: nested intersection for scalable software composition

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Declarative, formal, and extensible syntax definition for aspectJ

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Application-specific foreign-interface generation

Proceedings of the 5th international conference on Generative programming and component engineering
Program Transformation with Scoped Dynamic Rewrite Rules

Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
patch (1) considered harmful

HOTOS'05 Proceedings of the 10th conference on Hot Topics in Operating Systems - Volume 10
SWIG: an easy to use tool for integrating scripting languages with C and C++

TCLTK'96 Proceedings of the 4th conference on USENIX Tcl/Tk Workshop, 1996 - Volume 4
The jastadd extensible java compiler

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Ilea: inter-language analysis across java and c

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Polyglot: an extensible compiler framework for Java

CC'03 Proceedings of the 12th international conference on Compiler construction
XML goes native: run-time representations for XTATIC

CC'05 Proceedings of the 14th international conference on Compiler Construction
The essence of data access in Cω: the power is in the dot!

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Polymorphic type inference for the JNI

ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems

Ilea: inter-language analysis across java and c

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Xoc, an extension-oriented compiler for systems programming

Proceedings of the 13th international conference on Architectural support for programming languages and operating systems
Finding bugs in java native interface programs

ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Enhanced integration of Java to symbian OS using smart pointers

JTRES '08 Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems
Mixing source and bytecode: a case for compilation by normalization

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Safer unsafe code for .NET

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
An empirical security study of the native code in the JDK

SS'08 Proceedings of the 17th conference on Security symposium
Demystifying magic: high-level low-level programming

Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
Debug all your code: portable mixed-environment debugging

Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Jinn: synthesizing dynamic bug detectors for foreign language interfaces

PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
Device driver safety through a reference validation mechanism

OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
Decaf: moving device drivers to a modern language

USENIX'09 Proceedings of the 2009 conference on USENIX Annual technical conference
Robusta: taming the native beast of the JVM

Proceedings of the 17th ACM conference on Computer and communications security
JNI light: an operational model for the core JNI

APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
MetaLexer: a modular lexical specification language

Proceedings of the tenth international conference on Aspect-oriented software development
JET: exception checking in the Java native interface

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Quarantine: a framework to mitigate memory errors in JNI applications

Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
Streams that compose using macros that oblige

PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation
From a calculus to an execution environment for stream processing

Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems
Marco: safe, expressive macros for any language

ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming
An efficient native function interface for Java

Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools
Bringing java's wild native world under control

ACM Transactions on Information and System Security (TISSEC)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Higher-level languages interface with lower-level languages such as C to access platform functionality, reuse legacy libraries, or improve performance. This raises the issue of how to best integrate different languages while also reconciling productivity, safety, portability, and efficiency. This paper presents Jeannie, a new language design for integrating Java with C. In Jeannie, both Javaand C code are nested within each other in the same file and compile down to JNI, the Java platform's standard foreign function interface. By combining the two languages' syntax and semantics, Jeannie eliminates verbose boiler-plate code, enables static error detection across the language boundary, and simplifies dynamic resource management. We describe the Jeannie language and its compiler, while also highlighting lessons from composing two mature programming languages.