"Adaptive Provisioning of Stream Processing Systems in the Cloud",
7th International Workshop on Self Managing Database Systems (SMDB), Washington, DC, USA, IEEE, 04/2012. [PDF version]
"Living in the Present: On-the-fly Information Processing in Scalable Web Architectures",
2nd International Workshop on Cloud Computing Platforms (CloudCP'12), Bern, Switzerland, ACM, 04/2012. [PDF version]
"NaaS: Network-as-a-Service in the Cloud",
2nd USENIX Workshop on Hot Topics in Management of Internet, Cloud, and Enterprise Networks and Services (Hot-ICE'12), San Jose, CA, USA, USENIX, 04/2012.
"SafeWeb: A Middleware for Securing Ruby-based Web Applications",
ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, Springer, 12/2011. [PDF version]
"IO Tetris: Deep Storage Consolidation for the Cloud via Fine-grained Workload Analysis",
4th International IEEE Conference on Cloud Computing (IEEE CLOUD), Washington, DC, USA, IEEE, 07/2011. [PDF version]
"Rule-based Verification of Network Protocol Implementations using Symbolic Execution",
20th IEEE International Conference on Computer Communications and Networks (ICCCN), Maui, Hawaii, USA, IEEE, 07/2011. [PDF version]
"PHP Aspis: Using Partial Taint Tracking To Protect Against Injection Attacks",
2nd USENIX Conference on Web Application Development (WebApps), Portland, OR, USA, USENIX, 06/2011. [PDF version]
"Vsys: A Programmable sudo",
USENIX Annual Technical Conference (USENIX ATC), Portland, OR, USA, USENIX, 06/2011.
"Femtocell Coverage Optimisation Using Statistical Verification",
10th International Conference on Networking (IFIP/TC6 Networking 2011), Valencia, Spain, IFIP, 05/2011. [PDF version]
"Load-Balancing Stream Processing with the Cloud",
6th International Workshop on Self Managing Database Systems (SMDB), Hannover, Germany, IEEE, 04/2011. [PDF version]
"SQPR: Stream Query Planning with Reuse",
IEEE International Conference on Data Engineering (ICDE), Hannover, Germany, IEEE, 04/2011. [PDF version]
"Configuring Large-scale Storage using a Middleware with Machine Learning",
Concurrency and Computation: Practice and Experience: Wiley, 03/2011. [PDF version]
"On the Feasibility of Bandwidth Detouring on the Internet",
12th Passive and Active Measurement Conference (PAM), Atlanta, GA, USA, Springer, 03/2011. [PDF version]
"Resource Allocation across Multiple Cloud Data Centres",
8th International Workshop on Middleware for Grids, Clouds and e-Science (MGC), Bangalore, India, ACM, 12/2010. [PDF version]
"SEEP: Scalable and Elastic Event Processing (Poster)",
ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, ACM, 12/2010. [PDF version]
"Distributed Middleware Enforcement of Event Flow Security Policy",
ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, Springer, 11/2010. [PDF version]
"Enforcing End-to-end Application Security in the Cloud",
ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, Springer, 11/2010. [PDF version]
"Multiplicity Computing: A Vision of Software Engineering for Next-Generation Computing Platform Applications",
FSE/SDP Workshop on the Future of Software Engineering Research, Santa Fe, NM, USA, 11/2010. [PDF version]
"Policy Generation Framework for Large-Scale Storage Infrastructures",
IEEE International Symposium on Policies for Distributed Systems and Networks (Policy), Fairfax, VA, US, IEEE, 07/2010. [PDF version]
"DEFCon: High-Performance Event Processing with Information Security",
USENIX Annual Technical Conference (USENIX ATC), Boston, MA, USA, USENIX, 06/2010. [PDF version]
"Enforcing User Privacy in Web Applications using Erlang",
Web 2.0 Security and Privacy, Oakland, CA, USA, 05/2010. [PDF version]
"Towards Automated Verification of Autonomous Networks: A Case Study in Self-Configuration",
Sixth IEEE PerCom Workshop on Pervasive Wireless Networking (PWN), Mannheim, Germany, IEEE, 04/2010. [PDF version]
"Accelerating Publish/Subscribe Matching on Reconfigurable Supercomputing Platforms",
Many-Core and Reconfigurable Supercomputing Conference (MRSC), Rome, Italy, 03/2010. [PDF version]
"Event-Processing Middleware with Information Flow Control (Poster)",
10th International ACM/IFIP/USENIX Middleware Conference (Middleware'09), Urbana Champaign, Illinois, USA, 11/2009. [PDF version]
"Towards a Middleware for Configuring Large-scale Storage Infrastructures",
7th International Workshop on Middleware for Grids, Clouds and e-Science (MGC'09), Urbana Champaign, Illinois, US, ACM/IFIP/USENIX, 11/2009. [PDF version]

]