Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: F. Kenneth Zadeck
@inproceedings{DBLP:conf/popl/HooverZ96,
author = {Roger Hoover and
F. Kenneth Zadeck},
editor = {Hans{-}Juergen Boehm and
Guy L. Steele Jr.},
title = {Generating Machine Specific Optimizing Compilers},
booktitle = {Conference Record of POPL'96: The 23rd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Papers Presented at the Symposium,
St. Petersburg Beach, Florida, USA, January 21-24, 1996},
pages = {219--229},
publisher = {{ACM} Press},
year = {1996},
url = {https://doi.org/10.1145/237721.237779},
doi = {10.1145/237721.237779},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/HooverZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isss/Zadeck94,
author = {F. Kenneth Zadeck},
editor = {Pierre G. Paulin},
title = {State-of-the-art compiler optimization},
booktitle = {Proceedings of the 7th International Symposium on High Level Synthesis,
HLSS'94, Niagra-on-the-Lake, ON, Canada, May 18-20, 1994},
pages = {67--68},
publisher = {{ACM}},
year = {1994},
url = {http://dl.acm.org/citation.cfm?id=254231},
timestamp = {Mon, 09 Aug 2021 14:54:04 +0200},
biburl = {https://dblp.org/rec/conf/isss/Zadeck94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DhamdhereRZ92,
author = {Dhananjay M. Dhamdhere and
Barry K. Rosen and
F. Kenneth Zadeck},
editor = {Stuart I. Feldman and
Richard L. Wexelblat},
title = {How to Analyze Large Programs Efficiently and Informatively},
booktitle = {Proceedings of the {ACM} SIGPLAN'92 Conference on Programming Language
Design and Implementation (PLDI), San Francisco, California, USA,
June 17-19, 1992},
pages = {212--223},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/143095.143135},
doi = {10.1145/143095.143135},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DhamdhereRZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/WegmanZ91,
author = {Mark N. Wegman and
F. Kenneth Zadeck},
title = {Constant Propagation with Conditional Branches},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {13},
number = {2},
pages = {181--210},
year = {1991},
url = {https://doi.org/10.1145/103135.103136},
doi = {10.1145/103135.103136},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/WegmanZ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CytronFRWZ91,
author = {Ron Cytron and
Jeanne Ferrante and
Barry K. Rosen and
Mark N. Wegman and
F. Kenneth Zadeck},
title = {Efficiently Computing Static Single Assignment Form and the Control
Dependence Graph},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {13},
number = {4},
pages = {451--490},
year = {1991},
url = {https://doi.org/10.1145/115372.115320},
doi = {10.1145/115372.115320},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/CytronFRWZ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChaseWZ90,
author = {David R. Chase and
Mark N. Wegman and
F. Kenneth Zadeck},
editor = {Bernard N. Fischer},
title = {Analysis of Pointers and Structures},
booktitle = {Proceedings of the {ACM} SIGPLAN'90 Conference on Programming Language
Design and Implementation (PLDI), White Plains, New York, USA, June
20-22, 1990},
pages = {296--310},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/93542.93585},
doi = {10.1145/93542.93585},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ChaseWZ90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChaseWZ90a,
author = {David R. Chase and
Mark N. Wegman and
F. Kenneth Zadeck},
editor = {Kathryn S. McKinley},
title = {Analysis of pointers and structures (with retrospective)},
booktitle = {20 Years of the {ACM} {SIGPLAN} Conference on Programming Language
Design and Implementation 1979-1999, {A} Selection},
pages = {343--359},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/989393.989429},
doi = {10.1145/989393.989429},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ChaseWZ90a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/AlpernHRSZ90,
author = {Bowen Alpern and
Roger Hoover and
Barry K. Rosen and
Peter F. Sweeney and
F. Kenneth Zadeck},
editor = {David S. Johnson},
title = {Incremental Evaluation of Computational Circuits},
booktitle = {Proceedings of the First Annual {ACM-SIAM} Symposium on Discrete Algorithms,
22-24 January 1990, San Francisco, California, {USA}},
pages = {32--42},
publisher = {{SIAM}},
year = {1990},
url = {http://dl.acm.org/citation.cfm?id=320176.320180},
timestamp = {Thu, 05 Jul 2018 07:28:50 +0200},
biburl = {https://dblp.org/rec/conf/soda/AlpernHRSZ90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CytronFRWZ89,
author = {Ron Cytron and
Jeanne Ferrante and
Barry K. Rosen and
Mark N. Wegman and
F. Kenneth Zadeck},
title = {An Efficient Method of Computing Static Single Assignment Form},
booktitle = {Conference Record of the Sixteenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 11-13, 1989},
pages = {25--35},
publisher = {{ACM} Press},
year = {1989},
url = {https://doi.org/10.1145/75277.75280},
doi = {10.1145/75277.75280},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/CytronFRWZ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AlpernWZ88,
author = {Bowen Alpern and
Mark N. Wegman and
F. Kenneth Zadeck},
editor = {Jeanne Ferrante and
Peter Mager},
title = {Detecting Equality of Variables in Programs},
booktitle = {Conference Record of the Fifteenth Annual {ACM} Symposium on Principles
of Programming Languages, San Diego, California, USA, January 10-13,
1988},
pages = {1--11},
publisher = {{ACM} Press},
year = {1988},
url = {https://doi.org/10.1145/73560.73561},
doi = {10.1145/73560.73561},
timestamp = {Thu, 16 Sep 2021 11:02:28 +0200},
biburl = {https://dblp.org/rec/conf/popl/AlpernWZ88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RosenWZ88,
author = {Barry K. Rosen and
Mark N. Wegman and
F. Kenneth Zadeck},
editor = {Jeanne Ferrante and
Peter Mager},
title = {Global Value Numbers and Redundant Computations},
booktitle = {Conference Record of the Fifteenth Annual {ACM} Symposium on Principles
of Programming Languages, San Diego, California, USA, January 10-13,
1988},
pages = {12--27},
publisher = {{ACM} Press},
year = {1988},
url = {https://doi.org/10.1145/73560.73562},
doi = {10.1145/73560.73562},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/RosenWZ88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sde/AlpernCRSZ88,
author = {Bowen Alpern and
Alan Carle and
Barry K. Rosen and
Peter F. Sweeney and
F. Kenneth Zadeck},
editor = {Peter B. Henderson},
title = {Graph Attribution as a Specification Paradigm},
booktitle = {Proceedings of the {ACM} {SIGSOFT/SIGPLAN} Software Engineering Symposium
on Practical Software Development Environments, Boston, Massachusetts,
USA, November 28-30, 1988},
pages = {121--129},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/64135.65015},
doi = {10.1145/64135.65015},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/sde/AlpernCRSZ88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CytronLZ86,
author = {Ron Cytron and
Andy Lowry and
F. Kenneth Zadeck},
title = {Code Motion of Control Structures in High-Level Languages},
booktitle = {Conference Record of the Thirteenth Annual {ACM} Symposium on Principles
of Programming Languages, St. Petersburg Beach, Florida, USA, January
1986},
pages = {70--85},
publisher = {{ACM} Press},
year = {1986},
url = {https://doi.org/10.1145/512644.512651},
doi = {10.1145/512644.512651},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/CytronLZ86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/WegmanZ85,
author = {Mark N. Wegman and
F. Kenneth Zadeck},
editor = {Mary S. Van Deusen and
Zvi Galil and
Brian K. Reid},
title = {Constant Propagation with Conditional Branches},
booktitle = {Conference Record of the Twelfth Annual {ACM} Symposium on Principles
of Programming Languages, New Orleans, Louisiana, USA, January 1985},
pages = {291--299},
publisher = {{ACM} Press},
year = {1985},
url = {https://doi.org/10.1145/318593.318659},
doi = {10.1145/318593.318659},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/WegmanZ85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/sigplan/DemersRZ85,
author = {Alan J. Demers and
Anne Rogers and
Frank Kenneth Zadeck},
editor = {Teri F. Payton and
L. Peter Deutsch and
James Purtilo},
title = {Attribute propagation by message passing},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 85 Symposium on Language Issues
in Programming Environments, {SLIPE} 1985, Seattle, Washington, USA,
June 25-28, 1985},
pages = {43--59},
publisher = {{ACM}},
year = {1985},
url = {https://doi.org/10.1145/800225.806826},
doi = {10.1145/800225.806826},
timestamp = {Fri, 25 Mar 2022 11:07:36 +0100},
biburl = {https://dblp.org/rec/journals/sigplan/DemersRZ85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigplan/Zadeck84,
author = {F. Kenneth Zadeck},
editor = {Mary S. Van Deusen and
Susan L. Graham},
title = {Incremental data flow analysis in a structured program editor},
booktitle = {Proceedings of the 1984 {SIGPLAN} Symposium on Compiler Construction,
Montreal, Canada, June 17-22, 1984},
pages = {132--143},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/502874.502888},
doi = {10.1145/502874.502888},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigplan/Zadeck84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 17:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
