2007 |
35 | EE | Dachuan Yu,
Ajay Chander,
Nayeem Islam,
Igor Serikov:
JavaScript instrumentation for browser security.
POPL 2007: 237-249 |
34 | EE | Ajay Chander,
David Espinosa,
Nayeem Islam,
Peter Lee,
George C. Necula:
Enforcing resource bounds via static verification of dynamic checks.
ACM Trans. Program. Lang. Syst. 29(5): (2007) |
2006 |
33 | EE | Dachuan Yu,
Nayeem Islam:
A Typed Assembly Language for Confidentiality.
ESOP 2006: 162-179 |
2005 |
32 | EE | Ajay Chander,
David Espinosa,
Nayeem Islam,
Peter Lee,
George C. Necula:
JVer: A Java Verifier.
CAV 2005: 144-147 |
31 | EE | Jun Sun,
Wanghong Yuan,
Mahesh Kallahalla,
Nayeem Islam:
HAIL: a language for easy and correct device access.
EMSOFT 2005: 1-9 |
30 | EE | Ajay Chander,
David Espinosa,
Nayeem Islam,
Peter Lee,
George C. Necula:
Enforcing Resource Bounds via Static Verification of Dynamic Checks.
ESOP 2005: 311-325 |
2004 |
29 | EE | Manuel Román,
Nayeem Islam:
Dynamically Programmable and Reconfigurable Middleware Services.
Middleware 2004: 372-396 |
28 | EE | Nayeem Islam,
Dong Zhou,
Shahid Shoaib,
Ali Ismael,
Sajithkumar Kizhakkiniyil:
AOE: A Mobile Operating Environment for Web-Based Applications.
SAINT 2004: 15-24 |
27 | EE | Dong Zhou,
Nayeem Islam,
Ali Ismael:
Flexible on-device service object replication with replets.
WWW 2004: 131-142 |
2003 |
26 | EE | Nayeem Islam,
Mohamed E. Fayad:
Toward ubiquitous acceptance of ubiquitous computing.
Commun. ACM 46(2): 89-92 (2003) |
2002 |
25 | EE | Henry Song,
Hao-Hua Chu,
Nayeem Islam,
Shoji Kurakake,
Masaji Katagiri:
Browser State Repository Service.
Pervasive 2002: 253-266 |
1999 |
24 | EE | James Beck,
Alain Gefflaut,
Nayeem Islam:
MOCA: A Service Framework for Mobile Computing Devices.
MobiDE 1999: 62-68 |
23 | EE | Trent Jaeger,
Atul Prakash,
Jochen Liedtke,
Nayeem Islam:
Flexible Control of Downloaded Executable Content.
ACM Trans. Inf. Syst. Secur. 2(2): 177-228 (1999) |
1998 |
22 | EE | Trent Jaeger,
Jochen Liedtke,
Vsevolod Panteleenko,
Yoonho Park,
Nayeem Islam:
Security architecture for component-based operating systems.
ACM SIGOPS European Workshop 1998: 222-228 |
21 | EE | Jochen Liedtke,
Nayeem Islam,
Trent Jaeger,
Vsevolod Panteleenko,
Yoonho Park:
An unconventional proposal: using the x86 architecture as the ubiquitous virtual standard architecture.
ACM SIGOPS European Workshop 1998: 237-241 |
20 | EE | Jochen Liedtke,
Nayeem Islam,
Trent Jaeger,
Vsevolod Panteleenko,
Yoonho Park:
Irreproducible benchmarks might be sometimes helpful.
ACM SIGOPS European Workshop 1998: 242-246 |
1997 |
19 | EE | Trent Jaeger,
Frederique Giraud,
Nayeem Islam,
Jochen Liedtke:
A role-based access control model for protection domain derivation and management.
ACM Workshop on Role-Based Access Control 1997: 95-106 |
18 | | Nayeem Islam,
Andreas L. Prodromidis,
Mark S. Squillante,
Ajei S. Gopal,
Liana L. Fong:
Extensible Resource Management for Cluster Computing.
ICDCS 1997: 0- |
17 | | Nayeem Islam,
Andreas L. Prodromidis,
Mark S. Squillante,
Ajei S. Gopal,
Liana L. Fong:
Extensible Resource Scheduling for Parallel Scientific Applications.
PPSC 1997 |
16 | | Rangachari Anand,
Nayeem Islam,
Trent Jaeger,
Josyula R. Rao:
A Flexible Security Model for Using Internet Content.
SRDS 1997: 89-96 |
15 | | Jochen Liedtke,
Kevin Elphinstone,
Sebastian Schönberg,
Hermann Härtig,
Gernot Heiser,
Nayeem Islam,
Trent Jaeger:
Achieved IPC Performance.
Workshop on Hot Topics in Operating Systems 1997: 28-31 |
14 | | Jochen Liedtke,
Nayeem Islam,
Trent Jaeger:
Preventing Denial-of-Service Attacks on a µ-Kernel for WebOSes.
Workshop on Hot Topics in Operating Systems 1997: 73-79 |
13 | | Nayeem Islam:
Customizing System Software Using OO Frameworks.
IEEE Computer 30(2): 69-78 (1997) |
12 | | Nayeem Islam,
Rangachari Anand,
Trent Jaeger,
Josyula R. Rao:
A Flexible Security System for Using Internet Content.
IEEE Software 14(5): 52-59 (1997) |
11 | | Nayeem Islam:
Customized Message Passing.
J. Parallel Distrib. Comput. 41(2): 205-224 (1997) |
1996 |
10 | | Nayeem Islam,
Amitabh Dave,
Roy H. Campbell:
Communication Compilation for Unreliable Networks.
ICDCS 1996: 188-195 |
9 | | Nayeem Islam,
Andreas L. Prodromidis,
Mark S. Squillante:
Dynamic Partitioning in Different Distributed-Memory Environments.
JSSPP 1996: 244-270 |
8 | | Nayeem Islam,
Murthy V. Devarakonda:
An Essential Design Pattern for Fault-Tolerant Distributed State Sharing.
Commun. ACM 39(10): 65-74 (1996) |
7 | | Nayeem Islam,
Roy H. Campbell:
Latest Developments in Operating Systems (Introduction to the Special Section).
Commun. ACM 39(9): 38-40 (1996) |
1995 |
6 | | Nayeem Islam,
Roy H. Campbell:
Techniques for Global Optimization of Message Passing Communication on Unreliable Networks.
ICDCS 1995: 246-253 |
1993 |
5 | | Nayeem Islam,
Roy H. Campbell:
Uniform Co-Scheduling Using Object-Oriented Design Techniques.
Decentralized and Distributed Systems 1993: 317-328 |
4 | | Roy H. Campbell,
Nayeem Islam,
David Raila,
Peter Madany:
Designing and Implementing Choices: An Object-Oriented System in C++.
Commun. ACM 36(9): 117-126 (1993) |
3 | | Roy H. Campbell,
Nayeem Islam:
A Technique for Documenting the Framework of an Object-Oriented System.
Computing Systems 6(4): 363-389 (1993) |
1992 |
2 | | Roy H. Campbell,
Nayeem Islam,
Peter Madany:
Choices, Frameworks and Refinement.
Computing Systems 5(3): 217-257 (1992) |
1 | EE | Nayeem Islam,
Roy H. Campbell:
Design Considerations for Shared Memory Multiprocessor Message Systems.
IEEE Trans. Parallel Distrib. Syst. 3(6): 702-711 (1992) |