Constrained Counting and Sampling: Bridging the Gap between Theory and Practice
Mr. Kuldeep Meel, Rice University
Nizar H Alsharif
Connectivity-Aware Routing in Vehicular Ad hoc Networks
Sherman Shen
Yujie Tang
Cooperative Spectrum Sharing in Cognitive Radio Networking
Jon Mark (Adjunct)
Automated Vulnerability Analysis and Exploit Generation for Web Applications
Venkat Venkatakrishnan, Department of Computer Science, University of Illinois, Chicago
Type-Driven Program Synthesis
Dr. Nadia Polikarpova, Computer Science and Artificial Intelligence Lab, MIT
Yunling Cui
Gromit - An In-Memory Graph Database
Hiren Patel
Ahmed Alqurashi
A New Approximation of Fermi-Dirac Integrals of Order 1/2 by Prony’s Method and Its Applications in Semiconductor Devices
Chettypalayam Selvakumar
Kaveh Fazli
Tools and Methodologies for FHE-Based Privacy-Preserving Image Processing Cloud Application Development
Guang Gong
Mohamed Ben Zeglam
A Novel Multi-band CO-OFDM based Long Reach Passive Optical Network Architecture
Pin-Han Ho
Professor Reza Iravani, Fellow IEEE
Department of Electrical & Computer Engineering
University of Toronto, Toronto, Canada