MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Christopher Colby – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 20 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Analysis of Synchronization and Aliasing with Abstract Interpretation  
  • by Christopher Colby
  • …We present a framework for the automatic determination of synchronization and aliasing properties of a functional language extended with concurrency constructs (a subset of Concurrent ML). Synchronization properties state which processes, and at what process histories, may be simultaneously active d…
  • Cited by 5 (3 self) – Add To MetaCart
  • Symbolic Safety Analysis of Memory Accesses Within Loops  
  • by Christopher Colby — 1997
  • …One of the biggest challenges in operating systems, distributed systems, and mobile code is how to ensure safety of untrusted code. Two recent proposals are Software Fault Isolation (SFI) and Proof-Carrying Code (PCC). A difficult challenge is how to deal with memory accesses within loops. SFI gener…
  • Add To MetaCart
  • Analyzing the Communication Topology of Concurrent Programs  
  • by Christopher Colby — 1995 — In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation
  • …Concurrent languages present complex problems for program analysis. Existing analyses are either imprecise, exponential, or apply only to languages with statically-allocated processes and channels. We present a new polynomial-time analysis using abstract interpretation that addresses the general pro…
  • Cited by 23 (4 self) – Add To MetaCart
  • A Modular Implementation of Partial Evaluation  
  • by Christopher Colby, Peter Lee — 1992
  • …Charles Consel and Siau Cheng Khoo have developed a technique for parameterizing partial evaluation and binding-time analysis with respect to abstract domains [5]. We have found the modules system of Standard ML [12, 15] to be a useful vehicle for implementing a similar parameterization technique. F…
  • Cited by 3 (0 self) – Add To MetaCart
  • Trace-based Program Analysis  
  • by Christopher Colby, Peter Lee — 1996
  • …We present trace-based program analysis, a semantics-based framework for statically analyzing and transforming programs with loops, assignments, and nested record structures. Trace-based analyses are based on transfer transition systems, which define the small-step operational semantics of programmi…
  • Cited by 16 (0 self) – Add To MetaCart
  • Interaction, Concurrency, and OOP in the Curriculum: a Sophomore Course  
  • by Christopher Colby, Radha Jagadeesan, Konstantin Läufer, Chandra Sekharan — 1998 — In Proc. 1998 OOPSLA Educators Workshop
  • …We argue that a computer-science curriculum should introduce the principles of concurrent programming in an integrated, coherent, and application-independent fashion early in the major. We have incorporated current research into our curriculum. We describe a sophomore-level course on the fundamental…
  • Cited by 1 (1 self) – Add To MetaCart
  • Automatically Closing Open Reactive Programs  
  • by Christopher Colby Loyola, Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan — 1998 — In Proceedings of 1998 ACM SIGPLAN Conference on Programming Language Design and Implementation
  • …We study in this paper the problem of analyzing implementations of open systems --- systems in which only some of the components are present. We present an algorithm for automatically closing an open concurrent reactive system with its most general environment, i.e., the environment that can provide…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB