Kathleen Fisher - Academia.edu (original) (raw)
Uploads
Papers by Kathleen Fisher
Page 1. Foundations for MOBY classes Kathleen Fisher AT&T Labs, Research John Reppy Bell Labs... more Page 1. Foundations for MOBY classes Kathleen Fisher AT&T Labs, Research John Reppy Bell Labs, Lucent Technologies December 2, 1998 Abstract MOBY is a statically typed, ML-like language that supports class-based object-oriented programming. ...
This paper presents an imperative and concurrent extension of the functional object-oriented calc... more This paper presents an imperative and concurrent extension of the functional object-oriented calculus described in . It belongs to the family of so-called prototype-based object-oriented languages, in which objects are created from existing ones via the inheritance primitives of object extension and method override. Concurrency is introduced through the identification of objects and processes. To our knowledge, the resulting calculus is the first concurrent object calculus to be studied. We define an operational semantics for the calculus via a transition relation between configurations, which represent snapshots of the run-time system. Our static analysis includes a type inference system, which statically detects message.not.understood errors, and an effect system, which guarantees that synchronization code, specified via guards, is side-effect free. We present a subject reduction theorem, modified to account for imperative and concurrent features, and type and effect soundness theorems.
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, 1993
This paper presents an untyped lambda calculus, extended with object primitives that reflect the ... more This paper presents an untyped lambda calculus, extended with object primitives that reflect the capabilities of so-called delegation-based object-oriented languages. A type inference system allows static detection of errors, such as message not understood, while at the same time allowing the type of an inherited method to be specialized to the type of the inheriting object. Type soundness is proved using operational semantics and examples illustrating the expressiveness of the pure calculus are presented.
We present a rapid and robust size-based separation method for high throughput microfluidic devic... more We present a rapid and robust size-based separation method for high throughput microfluidic devices using acoustic radiation force. We developed a finite element modeling tool to predict the two-dimensional acoustic radiation force field perpendicular to the flow direction in microfluidic devices. Here we compare the results from this model with experimental parametric studies including variations of the PZT driving frequencies
We describe a modeling approach to capture the particle motion within an acoustic focusing microf... more We describe a modeling approach to capture the particle motion within an acoustic focusing microfluidic device. Our approach combines finite element models for the acoustic forces with analytical models for the fluid motion and uses these force fields to calculate the particle motion in a Brownian dynamics simulation. We compare results for the model with experimental measurements of the focusing
Lecture Notes in Computer Science, 2000
Background: With an increasing number of Americans turning to the internet for health information... more Background: With an increasing number of Americans turning to the internet for health information, there is a need to evaluate intellectual/developmental disability (I/DD) resource information from e-government websites. Individuals with I/DD benefit from coordination in health care, and often require residential and social services to enhance quality of life and ability to lead healthy and engaging lives in the community. Methods: Descriptive, cross-sectional assessment of e-government websites to identify available services for the adult with I/DD was conducted by three researchers. Results: Available information on services and ease of access was recorded across all fifty states and the District of Columbia. Our focus of e-government sites was deemed as appropriate websites for state services, and provided uniform comparison among states. Specifically, information on services was available as follows: Residential (51/51), respite (49/51), transportation (45/51), medical equipment...
Signatures are evolving profiles of entities extracted from streams of transactional data. For a ... more Signatures are evolving profiles of entities extracted from streams of transactional data. For a stream of credit card transactions, for example, an entity might be a credit card number and a signature the average purchase amount. Signatures provide a high-level view of data in a transactional data warehouse and help data analysts focus their attention on interesting subsets of the data in such warehouses. Traditional databases are not designed for such applications. They impose overhead for services not necessary in such applications, such as indexing, declarative querying, and transaction support. Hancock is a Cbased domain-specific programming language with an embedded domain-specific database designed for computing signatures. In this paper, we describe Hancock's database mechanism, evaluate its performance, and compare an application written in Hancock with an equivalent application written in Daytona [5], a very efficient relational database system.
ACM SIGPLAN Notices, 2005
International Journal of Science Education, 1999
... eliminated? The American Biology Teacher, 56, 7477. Murray, D. L. (1983)Misconceptions of os... more ... eliminated? The American Biology Teacher, 56, 7477. Murray, D. L. (1983)Misconceptions of osmosis. In Proceedings of the International Seminar in Science and Mathematics, Cornell University, Ithaca, NY, pp. 428433. ...
Page 1. Foundations for MOBY classes Kathleen Fisher AT&T Labs, Research John Reppy Bell Labs... more Page 1. Foundations for MOBY classes Kathleen Fisher AT&T Labs, Research John Reppy Bell Labs, Lucent Technologies December 2, 1998 Abstract MOBY is a statically typed, ML-like language that supports class-based object-oriented programming. ...
This paper presents an imperative and concurrent extension of the functional object-oriented calc... more This paper presents an imperative and concurrent extension of the functional object-oriented calculus described in . It belongs to the family of so-called prototype-based object-oriented languages, in which objects are created from existing ones via the inheritance primitives of object extension and method override. Concurrency is introduced through the identification of objects and processes. To our knowledge, the resulting calculus is the first concurrent object calculus to be studied. We define an operational semantics for the calculus via a transition relation between configurations, which represent snapshots of the run-time system. Our static analysis includes a type inference system, which statically detects message.not.understood errors, and an effect system, which guarantees that synchronization code, specified via guards, is side-effect free. We present a subject reduction theorem, modified to account for imperative and concurrent features, and type and effect soundness theorems.
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, 1993
This paper presents an untyped lambda calculus, extended with object primitives that reflect the ... more This paper presents an untyped lambda calculus, extended with object primitives that reflect the capabilities of so-called delegation-based object-oriented languages. A type inference system allows static detection of errors, such as message not understood, while at the same time allowing the type of an inherited method to be specialized to the type of the inheriting object. Type soundness is proved using operational semantics and examples illustrating the expressiveness of the pure calculus are presented.
We present a rapid and robust size-based separation method for high throughput microfluidic devic... more We present a rapid and robust size-based separation method for high throughput microfluidic devices using acoustic radiation force. We developed a finite element modeling tool to predict the two-dimensional acoustic radiation force field perpendicular to the flow direction in microfluidic devices. Here we compare the results from this model with experimental parametric studies including variations of the PZT driving frequencies
We describe a modeling approach to capture the particle motion within an acoustic focusing microf... more We describe a modeling approach to capture the particle motion within an acoustic focusing microfluidic device. Our approach combines finite element models for the acoustic forces with analytical models for the fluid motion and uses these force fields to calculate the particle motion in a Brownian dynamics simulation. We compare results for the model with experimental measurements of the focusing
Lecture Notes in Computer Science, 2000
Background: With an increasing number of Americans turning to the internet for health information... more Background: With an increasing number of Americans turning to the internet for health information, there is a need to evaluate intellectual/developmental disability (I/DD) resource information from e-government websites. Individuals with I/DD benefit from coordination in health care, and often require residential and social services to enhance quality of life and ability to lead healthy and engaging lives in the community. Methods: Descriptive, cross-sectional assessment of e-government websites to identify available services for the adult with I/DD was conducted by three researchers. Results: Available information on services and ease of access was recorded across all fifty states and the District of Columbia. Our focus of e-government sites was deemed as appropriate websites for state services, and provided uniform comparison among states. Specifically, information on services was available as follows: Residential (51/51), respite (49/51), transportation (45/51), medical equipment...
Signatures are evolving profiles of entities extracted from streams of transactional data. For a ... more Signatures are evolving profiles of entities extracted from streams of transactional data. For a stream of credit card transactions, for example, an entity might be a credit card number and a signature the average purchase amount. Signatures provide a high-level view of data in a transactional data warehouse and help data analysts focus their attention on interesting subsets of the data in such warehouses. Traditional databases are not designed for such applications. They impose overhead for services not necessary in such applications, such as indexing, declarative querying, and transaction support. Hancock is a Cbased domain-specific programming language with an embedded domain-specific database designed for computing signatures. In this paper, we describe Hancock's database mechanism, evaluate its performance, and compare an application written in Hancock with an equivalent application written in Daytona [5], a very efficient relational database system.
ACM SIGPLAN Notices, 2005
International Journal of Science Education, 1999
... eliminated? The American Biology Teacher, 56, 7477. Murray, D. L. (1983)Misconceptions of os... more ... eliminated? The American Biology Teacher, 56, 7477. Murray, D. L. (1983)Misconceptions of osmosis. In Proceedings of the International Seminar in Science and Mathematics, Cornell University, Ithaca, NY, pp. 428433. ...