7 papers:
- OSDI-2010-TangMK #operating system #trust
- Trust and Protection in the Illinois Browser Operating System (ST, HM, STK), pp. 17–32.
- DATE-2008-ChandraNK #architecture #power management #reduction #testing
- Low Power Illinois Scan Architecture for Simultaneous Power and Test Data Volume Reduction (AC, FN, RK), pp. 462–467.
- DATE-2002-PandeyP #algorithm #architecture #design #generative #incremental #testing
- An Incremental Algorithm for Test Generation in Illinois Scan Architecture Based Designs (ARP, JHP), pp. 368–375.
- CHI-1990-KramerW #bibliography #human-computer #interactive #research
- Human-computer interaction research at the University of Illinois (lab review) (AFK, CDW), pp. 79–80.
- PLDI-1987-Robison #functional #interpreter #programming
- The Illinois functional programming interpreter (ADR), pp. 64–73.
- CADE-1986-GreenbaumP #proving #theorem proving
- The Illinois Prover: A General Purpose Resolution Theorem Prover (SG, DAP), pp. 685–687.
- DAC-1977-TanakaB #architecture
- Department of architecture university of illinois (KET, DEB), p. 280.