Daniel Weise
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
1987–1999
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1999 | SAS | Static Analysis of Mega-Programs. | Daniel Weise |
| 1994 | POPL | Value Dependence Graphs: Representation without Taxation. | Daniel Weise, Roger F. Crew, Michael D. Ernst, Bjarne Steensgaard |
| 1993 | PLDI | Programmable Syntax Macros. | Daniel Weise, Roger F. Crew |
| 1992 | PEPM | Towards a New Perspective on Partial Evaluation. | Morry Katz, Daniel Weise |
| 1992 | PEPM | Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis. | Erik Ruf, Daniel Weise |
| 1991 | DAC | Automatic Generation of Compiled Simulations through Program Specialization. | Wing Yee Au, Daniel Weise, Scott Seligman |
| 1991 | PEPM | Using Types to Avoid Redundant Specialization. | Erik Ruf, Daniel Weise |
| 1989 | IJCAI | Constraint Posting for Verifying VLSI Circuits. | Daniel Weise |
| 1987 | DAC | Functional Verification of MOS Circuits. | Daniel Weise |