Christian H. Stork

According to our database, Christian H. Stork authored at least 3 papers between 2001 and 2004.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2004

Efficiently Verifiable Escape Analysis.

Matthew Q. Beers, Christian H. Stork, Michael Franz

Proceedings of the ECOOP 2004, 2004

2002

The source is the proof.

Vivek Haldar, Christian H. Stork, Michael Franz

Proceedings of the 2002 Workshop on New Security Paradigms, 2002

2001

Towards Language-Agnostic Mobile Code.

Peter Housel, Christian H. Stork, Vivek Haldar, Niall Dalton, Michael Franz

Proceedings of the First International Workshop on Multi-Language Infrastructure and Interoperability, 2001