Picture

​Books and Book Chapters
N. Islam, Distributed Objects: Methodologies for Customizing Systems Software, IEEE Press, 1996; ISBN 978-0-8186-7193-7.
N. Islam, M. Román, and D. Zhou, “Middleware Support for Autonomous Cellphones,” The Handbook of Mobile Middleware, P. Bellavista and A. Corradi, eds., 2007, chap. 42, pp. 1137–1168.
Journal Articles
N. Islam and R. Want, “Smartphones: Past, Present, and Future,” IEEE Pervasive Computing, vol. 13, no. 4, 2014, pp. 89­–92.
A. Chander, D. Espinosa, N. Islam, P. Lee, and G.C. Necula, “Enforcing Resource Bounds Via Static Verification of Dynamic Checks,” ACM Trans. Programming Languages and Systems, vol. 29, no. 5, 2007.
N. Islam, “From Smart to Autonomous Phones,” IEEE Pervasive Computing, vol. 3, no. 3, 2004, pp. 102–104.
N. Islam and M.E. Fayad, “Toward Ubiquitous Acceptance of Ubiquitous Computing,” Comm. ACM, vol. 46, no. 2, 2003, pp. 89–92.
T. Jaeger, A. Prakash, J. Liedtke, and N. Islam, “Flexible Control of Downloaded Executable Content,” ACM Trans. Information and System Security, vol. 2, no. 2, 1999, pp. 177–228.
N. Islam, “Customizing System Software Using OO Frameworks,” Computer, vol. 30, no. 2, 1997, pp. 69–78.
N. Islam, “Customized Message Passing,” J. Parallel and Distributed Computing, vol. 41, no. 2, 1997, pp. 205–224.
N. Islam, R. Anand, T. Jaeger, and J.R. Rao, “A Flexible Security System for Using Internet Content,” IEEE Software, vol. 14, no. 5, 1997, pp. 52–59.
N. Islam and R.H. Campbell, “Latest Developments in Operating Systems” (Introduction to the Special Section), Comm. ACM, vol. 39, no. 9, 1996, pp. 38–40.
N. Islam and M.V. Devarakonda, “An Essential Design Pattern for Fault-Tolerant Distributed State Sharing,” Comm. ACM, vol. 39, no. 10, 1996, pp. 65–74.
R.H. Campbell, N. Islam, D. Raila, and P. Madany, “Designing and Implementing Choices: An Object-Oriented System in C++,” Comm. ACM, vol. 36, no. 9, 1993, pp. 117–126.
R.H. Campbell and N. Islam, “A Technique for Documenting the Framework of an Object-Oriented System,” Computing Systems, vol. 6, no. 4, 1993. Pp. 363–389.
R.H. Campbell, N. Islam, and P. Madany, “Choices, Frameworks and Refinement,” Computing Systems, vol. 5, no. 3, 1992, pp. 217–257.
N. Islam and R.H. Campbell, “Design Considerations for Shared Memory Multiprocessor Message Systems,” IEEE Trans. Parallel and Distributed Systems, vol. 3, no. 6, 1992, pp. 702–711.
Conference Papers/Presentation
D. Yu, A. Chander, N. Islam, and I. Serikov, “JavaScript Instrumentation for Browser Security,” Proc. 34th Ann. ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages (POPL 07), 2006, pp. 237–249. Named 2017 ACM SIGPLAN Most Influential Paper.
D. Yu and N. Islam, “A Typed Assembly Language for Confidentiality,” Programming Languages and Systems (ESOP 06), LNCS 3924, Springer, 2006, pp. 162–179.
A. Chander, D. Espinosa, N. Islam, P. Lee, and G.C. Necula, “JVer: A Java Verifier,” Computer Aided Verification (CAV), LNCS 3576, Springer, 2005, pp. 144–147.
J. Sun, W. Yuan, M. Kallahalla, and N. Islam, “HAIL: A Language for Easy and Correct Device Access,” Proc. 5th ACM Int’l Conf. Embedded Software (EMSOFT), 2005, pp. 1–9.
A. Chander, D. Espinosa, N. Islam, P. Lee, and G.C. Necula, “Enforcing Resource Bounds via Static Verification of Dynamic Checks,” Programming Languages and Systems (ESOP 05), LNCS 3444, Springer, 2005, pp. 311–325.
M. Román and N. Islam, “Dynamically Programmable and Reconfigurable Middleware Services,” Proc. 5th ACM/IFIP/USENIX Int’l Conf. Middleware, 2004, pp. 372–396.
N. Islam, D. Zhou, S. Shoaib, A. Ismael, and S. Kizhakkiniyil, “AOE: A Mobile Operating Environment for Web-Based Applications,” Proc. Int’l Symp. Applications and the Internet (SAINT), 2004, pp. 15–24.
D. Zhou, N. Islam, and A. Ismael, “Flexible On-Device Service Object Replication with Replets,” Proc. World Wide Web Conf. (WWW), 2004, pp. 131–142.
H. Song, H.-H. Chu, N. Islam, S. Kurakake, and M. Katagiri, “Browser State Repository Service,” Pervasive Computing, LNCS 2414, Springer, 2002, pp. 253–266.
J. Beck, A. Gefflaut, and N. Islam, “MOCA: A Service Framework for Mobile Computing Devices,” Proc. 1st ACM Int’l Workshop Data Eng. for Wireless and Mobile Access (MobiDE), 1999, pp. 62–68.
T. Jaeger, J. Liedtke, V. Panteleenko, Y. Park, and N. Islam, “Security Architecture for Component-Based Operating Systems,” Proc. ACM SIGOPS European Workshop, 1998, pp. 222–228.
J. Liedtke, N. Islam, T. Jaeger, V. Panteleenko, and Y. Park, “An Unconventional Proposal: Using the x86 Architecture as the Ubiquitous Virtual Standard Architecture,” Proc. ACM SIGOPS European Workshop, 1998, pp. 237­–241.
J. Liedtke, N. Islam, T. Jaeger, V. Panteleenko, and Y. Park, “Irreproducible Benchmarks Might Be Sometimes Helpful,” Proc. ACM SIGOPS European Workshop, 1998, pp. 242–246.
J. Liedtke, V. Panteleenko, T. Jaeger, and N. Islam, “High-Performance Caching with the Lava Hit-Server,” Proc. USENIX Ann. Technical Conf., 1998.
​T. Jaeger, J. Liedtke, and N. Islam, “Operating System Protection for Fine-Grained Programs,” Proc. USENIX Security Symp., 1998.
J. Liedtke, K. Elphinstone, S. Schönberg, H. Härtig, G. Heiser, N. Islam, and T. Jaeger, “Achieved IPC Performance,” Proc. Workshop Hot Topics in Operating Systems, 1997, pp. 28–31.
J. Liedtke, N. Islam, and T. Jaeger, “Preventing Denial-of-Service Attacks on a µ-Kernel for WebOSes,” Proc. Workshop Hot Topics in Operating Systems, 1997, pp. 73–79.
N. Islam, A.L. Prodromidis, M.S. Squillante, A.S. Gopal, and L.L. Fong, “Extensible Resource Management for Cluster Computing,” Proc. 17th Int’l Conf. Distributed Computing Systems (ICDCS), 1997, pp. 561–568.
N. Islam, A.L. Prodromidis, M.S. Squillante, A.S. Gopal, L.L. Fong, “Extensible Resource Scheduling for Parallel Scientific Applications,” Proc. 8th SIAM Conf. Parallel Processing for Scientific Computing (PPSC), 1997.
T. Jaeger, F. Giraud, N. Islam, and J. Liedtke, “A Role-Based Access Control Model for Protection Domain Derivation and Management,” Proc. ACM Workshop on Role-Based Access Control, 1997, pp. 95–106.
R. Anand, N. Islam, T. Jaeger, and J.R. Rao, “A Flexible Security Model for Using Internet Content,” Proc. 16th Symp. Reliable Distributed Systems (SRDS), 1997, pp. 89–96.
N. Islam, A. Dave, and R.H. Campbell, “Communication Compilation for Unreliable Networks,” Proc. 16th Int’l Conf. Distributed Computing Systems (ICDCS), 1996, pp. 188–195.
N. Islam, A.L. Prodromidis, and M.S. Squillante, “Dynamic Partitioning in Different Distributed-Memory Environments,” Proc. Workshop Job Scheduling Strategies for Parallel Processing (JSSPP), 1996, pp. 244–270.
N. Islam and R.H. Campbell, “Techniques for Global Optimization of Message Passing Communication on Unreliable Networks,” Proc. 15th Int’l Conf. Distributed Computing Systems (ICDCS), 1995, pp. 246–253.
A. Dave, N. Islam, and R.H. Campbell, “A Low-Latency Scalable Locking Algorithm for Shared Memory Multiprocessors,” Proc. 6th IEEE Symp. Parallel and Distributed Processing (SPDP), 1994, pp. 10–17.
N. Islam and R.H. Campbell, “Uniform Co-Scheduling Using Object-Oriented Design Techniques,” Proc. IFIP WG10.3 Int’l Conf. Decentralized and Distributed Systems, 1993, pp. 317–328.
 ​