Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 232,730,020 papers from all fields of science
Search
Sign In
Create Free Account
Kathleen Fisher
Kathleen Shanahan Fisher is an American computer scientist who specializes in programming languages and their implementation. She is a professor of…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
Computer scientist
List of Fellows of the Association for Computing Machinery
Programming language
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
SIGPLAN awards
Derek Dreyer
SIGP
2014
Corpus ID: 15032499
ions from proofs by Thomas Henzinger, Ranjit Jhala, Rupak Majumdar, and Kenneth McMillan Interpolation can be used to construct…
Expand
Review
2012
Review
2012
Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA
Benjamin M. Brosgol
,
Jeff Boleng
,
Tucker Taft
HILT
2012
Corpus ID: 32920668
Welcome to Boston and to HILT 2012, this year's annual international conference of the ACM Special Interest Group on the Ada…
Expand
2008
2008
ACM honors distinguished and senior members
CACM staff
CACM
2008
Corpus ID: 33734337
DISTINGUISHED SCIENTISTS Michael G. Burke, IBM T.J. Watson Research Center Siddhartha Chatterjee, IBM T.J. Watson Research Center…
Expand
2007
2007
Note sur la gestion de flux de données
S. Ferrandiz
2007
Corpus ID: 62622687
Review
2002
Review
2002
Guest editorial
Kathleen Fisher
,
Benjamin C. Pierce
TOPL
2002
Corpus ID: 7315006
The Eighth International Workshop on Foundations of Object-Oriented Languages (FOOL 8) was held on January 20, 2001, colocated…
Expand
2001
2001
An Application-Specific Database
Kathleen Fisher
,
C. Goodall
,
Karin Högstedt
,
Anne Rogers
International Workshop/Symposium on Database…
2001
Corpus ID: 14259431
Signatures are evolving profiles of entities extracted from streams of transactional data. For a stream of credit card…
Expand
2001
2001
Local CPS conversion in a direct-style compiler
John H. Reppy
2001
Corpus ID: 14904100
Local CPS conversion is a compiler transformation for improving the code generated for nested loops by a direct-style compiler…
Expand
Review
1999
Review
1999
Preface: Volume 20
S. Brookes
,
A. Jung
,
M. Mislove
,
A. Scedrov
1999
Corpus ID: 203667159
1978
1978
The science of scientific writing — Judson Monroe, Carole Meredith, and Kathleen Fisher
E. Schlesinger
1978
Corpus ID: 143644222
Three members of the staff of the University of California at Davis prepared The Science of Scientific Writing to help students…
Expand
1978
1978
The science of scientific writing — Judson Monroe, Carole Meredith, and Kathleen Fisher
E. Schlesinger
1978
Corpus ID: 8169243
Three members of the staff of the University of California at Davis prepared The Science of Scientific Writing to help students…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE