1999 |
19 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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) |