Jason Hickey, Justin D. Smith, Brian Aydemir, Nathaniel Gray, Adam Granicz, Cristian Tapus  Home/Search
Context Related
| caltech.edu/papers/popl03.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: caltech.edu/publications.php (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Process migration and atomic transactions are essential tools for constructing fault-tolerant distributed systems. We present a new system that includes a typed intermediate language and runtime implementation designed to support these services. The language is type-safe and general enough to support front-ends for both type-safe and unsafe languages. We include benchmarks for programs written in ML and ANSI C. (Update)
Context of citations to this paper: More
...detail. The intermediate representation we use is similar to the functional intermediate representations used by several groups [1, 5, 18], in which the language retains a similarity 5 binop : j j j= Binary arithmetic relop : j j j j j Binary...
Cited by: More
Compiler Implementation in a Formal Logical Framework - Hickey, Nogin, Granicz.. (2003) (Correct)
Formal Compiler Implementation in a Logical Framework - Hickey, Nogin, Granicz.. (2003) (Correct)
Fault Tolerance using Whole-Process Migration and - Speculative Execution Thesis (Correct)
Active bibliography (related documents): More All
0.4: Technical Overview of the Common Language Runtime - Meijer, Gough (2000) (Correct)
0.4: MetaPRL - A Modular Logical Environment - Hickey, Nogin, Constable.. (2003) (Correct)
0.3: Extensible Compilers - Granicz, Hickey (Correct)
Similar documents based on text: More All
0.6: Rewriting UNITY - Granicz, Zimmerman, Hickey (Correct)
0.5: Kernel Level Speculative DSM - Tapus, Smith, Hickey (2003) (Correct)
0.4: MojaveFS: A Transactional Distributed File System - Frantz, Smith, Hickey (2002) (Correct)
Related documents from co-citation: More All
7: The MetaPRL Logical Programming Environment (context) - Hickey - 2001
6: Sequent schema for derived rules (context) - Nogin, Hickey
6: Phobos: A front-end approach to extensible compilers - Granicz, Hickey - 2002
BibTeX entry: (Update)
Jason Hickey, Justin D. Smith, Brian Aydemir, Nathaniel Gray, Adam Granicz, and Cristian Tapus. Process migration and transactions using a novel intermediate language. Technical Report caltechCSTR 2002. http://citeseer.ist.psu.edu/hickey02process.html More
@techreport{ hickey02process,
author = "J. Hickey and J. Smith and B. Aydemir and N. Gray and A. Granicz and C.
Tapus",
title = "Process migration and transactions using a novel intermediate language",
number = "caltechCSTR 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/hickey02process.html" }
Citations (may not include all citations):521 Compiling with Continuations (context) - Appel - 1992
296 Free Software Foundation (context) - Stallman, porting et al. - 1992
210 TIL: A type-directed optimizing compiler for ML - Tarditi, Morrisett et al. - 1996
109 Theoretical Computer Science (context) - Cardelli, Gordon - 2001
88 Cyclone: A safe dialect of C - Morrisett, Jim et al. - 2002
82 anywhere: Modal logics for mobile ambients (context) - Cardelli, Gordon - 2000
61 Une extension de l'interpretation de Godel a l'analyse (context) - Girard - 1971
41 Objective ML: A simple object{oriented extension of ML (context) - emy, er et al. - 1997
33 Typing a multi-language intermediate code - Gordon, Syme - 2001
26 Mobile Agents and Security (context) - Vigna - 1999
22 a portable assembly language that supports garbage collectio.. (context) - Jones, Ramsey et al. - 1999
17 TILML compiler Performance and safety through type - David, Cheng et al. - 1996
12 Phobos: A front-end approach to extensible compilers - Granicz, Hickey - 2003
10 Process migration and transactions using a novel intermediat.. - Hickey, Smith et al. - 2002
9 CCured: Type-safe retro tting of legacy code - Necula, McPeak et al. - 2002
9 a portable assembly language (context) - Jones, Oliva et al. - 1997
7 ACM Transactions on Programming Languages and Systems (context) - Haines, Kindred et al. - 1994
6 ML RISC: Customizable and reusable code generators (context) - George - 1996
5 From UNCOL to ANDF: Progress in standard intermediate langua.. - Macrakis - 1993
5 Programming for the Java Virtual Machine (context) - Engel - 1999
4 Formal design environments - Aydemir, Granicz et al.
3 A technical overview of the commmon language infrastructure (context) - Meijer, Gough
2 special issue on Distributed World Wide Web Processing: Appl.. (context) - Serugendo, Muhugusa et al. - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://mojave.cs.caltech.edu/publications.php): More
Phobos: A front-end approach to extensible compilers - Granicz, Hickey (2002) (Correct)
Formal Design Environments - Aydemir, Granicz, Hickey (2002) (Correct)
Extensible Compilers - Granicz, Hickey (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC