 | 1999 |
|---|
| 19 |       | Daniel Weise:
Static Analysis of Mega-Programs.
SAS 1999: 300-302 |
| 1994 |
|---|
| 18 |  | Daniel Weise,
Roger F. Crew,
Michael D. Ernst,
Bjarne Steensgaard:
Value Dependence Graphs: Representation without Taxation.
POPL 1994: 297-310 |
| 1993 |
|---|
| 17 | | Daniel Weise,
Roger F. Crew:
Programmable Syntax Macros.
PLDI 1993: 156-165 |
| 16 | | Erik Ruf,
Daniel Weise:
On the Specialization of Online Program Specializers.
J. Funct. Program. 3(3): 251-281 (1993) |
| 1992 |
|---|
| 15 | | Morry Katz,
Daniel Weise:
Towards a New Perspective on Partial Evaluation.
PEPM 1992: 29-37 |
| 14 | | Erik Ruf,
Daniel Weise:
Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis.
PEPM 1992: 67-74 |
| 1991 |
|---|
| 13 | | Wing Yee Au,
Daniel Weise,
Scott Seligman:
Automatic Generation of Compiled Simulations through Program Specialization.
DAC 1991: 205-210 |
| 12 | | Daniel Weise,
Roland Conybeare,
Erik Ruf,
Scott Seligman:
Automatic Online Partial Evaluation.
FPCA 1991: 165-191 |
| 11 | | Erik Ruf,
Daniel Weise:
Using Types to Avoid Redundant Specialization.
PEPM 1991: 321-333 |
| 1990 |
|---|
| 10 | | Morry Katz,
Daniel Weise:
Continuing into the Future: On the Interaction of Futures and First-Class Continuations.
LISP and Functional Programming 1990: 176-184 |
| 9 | | Andrew A. Berlin,
Daniel Weise:
Compiling Scientific Code Using Partial Evaluation.
IEEE Computer 23(12): 25-37 (1990) |
| 8 | | Daniel Weise:
Multilevel verification of MOS circuits.
IEEE Trans. on CAD of Integrated Circuits and Systems 9(4): 341-351 (1990) |
| 7 | | Erik Ruf,
Daniel Weise:
LogScheme: Integrating Logic Programming into Scheme.
Lisp and Symbolic Computation 3(3): 245-288 (1990) |
| 1989 |
|---|
| 6 | | Erik Ruf,
Daniel Weise:
Nondeterminism and Unification in LogScheme: Integrating Logic and Functional Programming.
FPCA 1989: 327-339 |
| 5 | | Daniel Weise:
Constraints, Abstraction and Verification.
Hardware Specification, Verification and Synthesis 1989: 25-39 |
| 4 | | Daniel Weise:
Constraint Posting for Verifying VLSI Circuits.
IJCAI 1989: 881-886 |
| 3 | | Morry Katz,
Daniel Weise:
Continuing Into the Future: On the Interaction of Futures and First-Class Continuations.
Workshop on Parallel Lisp 1989: 101-102 |
| 1987 |
|---|
| 2 | | Daniel Weise:
Functional Verification of MOS Circuits.
DAC 1987: 265-270 |
| 1986 |
|---|
| 1 | | Joseph Y. Halpern,
Michael C. Loui,
Albert R. Meyer,
Daniel Weise:
On Time versus Space III.
Mathematical Systems Theory 19(1): 13-28 (1986) |
