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) |