Nayeem Islam
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
11
Active years
1995–2007
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | POPL | JavaScript instrumentation for browser security. | Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov |
| 2006 | ESOP | A Typed Assembly Language for Confidentiality. | Dachuan Yu, Nayeem Islam |
| 2005 | CAV | JVer: A Java Verifier. | Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula |
| 2005 | EMSOFT | HAIL: a language for easy and correct device access. | Jun Sun, Wanghong Yuan, Mahesh Kallahalla, Nayeem Islam |
| 2005 | ESOP | Enforcing Resource Bounds via Static Verification of Dynamic Checks. | Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula |
| 2004 | Middleware | Dynamically Programmable and Reconfigurable Middleware Services. | Manuel Romn, Nayeem Islam |
| 2004 | WWW | Flexible on-device service object replication with replets. | Dong Zhou, Nayeem Islam, Ali Ismael |
| 1998 | USENIX | High-Performance Caching With The Lava Hit-Server. | Jochen Liedtke, Vsevolod Panteleenko, Trent Jaeger, Nayeem Islam |
| 1997 | HotOS | Achieved IPC Performance. | Jochen Liedtke, Kevin Elphinstone, Sebastian Schnberg, Hermann Hrtig, Gernot Heiser, Nayeem Islam, Trent Jaeger |
| 1997 | HotOS | Preventing Denial-of-Service Attacks on a -Kernel for WebOSes. | Jochen Liedtke, Nayeem Islam, Trent Jaeger |
| 1997 | ICDCS | Extensible Resource Management for Cluster Computing. | Nayeem Islam, Andreas L. Prodromidis, Mark S. Squillante, Ajei S. Gopal, Liana L. Fong |
| 1997 | SRDS | A Flexible Security Model for Using Internet Content. | Rangachari Anand, Nayeem Islam, Trent Jaeger, Josyula R. Rao |
| 1996 | ICDCS | Communication Compilation for Unreliable Networks. | Nayeem Islam, Amitabh Dave, Roy H. Campbell |
| 1996 | JSSPP | Dynamic Partitioning in Different Distributed-Memory Environments. | Nayeem Islam, Andreas L. Prodromidis, Mark S. Squillante |
| 1995 | ICDCS | Techniques for Global Optimization of Message Passing Communication on Unreliable Networks. | Nayeem Islam, Roy H. Campbell |