Submissions from 2023
Interactive Reinforced Feature Selection with Traverse Strategy, Kunpeng Liu, Dongjie Wang, Wan Du, Dapeng Oliver Wu, and Yanjie Fu
State Access for RSFQ Test and Analysis, Marly Roncken, Ebelechukwu Esimai, Vivek Ramanathan, Warren Hunt, and Ivan Sutherland
An Equivalence Checking Framework for Agile Hardware Design, Yanzhao Wang, Fei Xie, Zhenkun Yang, Pascuale Cocchini, and Jin Yang
Submissions from 2022
The DB Community vis-à-vis Environmental, Health, and Societal Grand Challenges: Innovation Engine, Plumber, or Bystander?, Anastasia Ailamaki, Leilani Battle, Johannes Gehrke, Masaru Kitsuregawa, David Maier, Christopher Re, Meihui Zhang, and Magdalena Balazinska
Quantum Algorithms for Attacking Hardness Assumptions in Classical and Post‐Quantum Cryptography, J.-F. Biasse, X. Bonnetain, E. Kirshanova, A. Schrottenloher, and Fang Song
Flexible Active-Passive and Push-Pull Protocols, Ebelechukwu Esimai and Marly Roncken
Rate Maximization in a UAV Based Full-Duplex Multi-User Communication Network Using Multi-Objective Optimization, Syed Muhammad Hashir, Sabyasachi Gupta, Gavin Megson, Ehsan Aryafar, and Joseph Camp
A Simpler Machine Learning Model for Acute Kidney Injury Risk Stratification in Hospitalized Patients, Yirui Hu, Kunpeng Liu, Kevin Ho, David Riviello, Jason Brown, Alex R. Chang, Gurmukteshwar Singh, and H. Lester Kirchner
The Future of Camera Technology with Atul Ingle, Atul Ingle
Quantum Key-Length Extension, Joseph Jaeger, Fang Song, and Stefano Tessaro
Sequential Frame-Interpolation and DCT-based Video Compression Framework, Yeganeh Jalalpour, Wu-chi Feng, and Feng Liu
Reflection Channel Model for Terahertz Communications, Thanh N. Le, Ha K. Tran, and Suresh Singh
Motion-Adjustable Neural Implicit Video Representation, Long Mai and Feng Liu
Are High-Quality Photos More Popular Than Low-Quality Ones? A Quantitative Study, Priyanka Mudgal and Feng Liu
SNeRF: Stylized Neural Implicit Representations for 3D scenes, Thu Nguyen-Phuoc, Feng Liu, and Lei Xiao
Mitigating Popularity Bias in Recommendation with Unbalanced Interactions: A Gradient Perspective, Weijieying Ren, Lei Wang, Kunpeng Liu, Ruocheng Guo, Lim Ee Peng, and Yanjie Fu
DFGAN: Image Deblurring Through Fusing Light-Weight Attention and Gradient-Based Filters, Ali Syed Saqlain, Fang Fang, Li-Yun Wang, Tanvir Ahmad, and Zain Ul Abidin
SL-CycleGAN: Blind Motion Deblurring in Cycles using Sparse Learning, Ali Syed Saqlain, Li-Yun Wang, and Zhiyong Liu
Deblur-Cyclegan: A Generative Cyclic Approach for Image Blind Motion Deblurring, Ali Syed Saqlain, Songyuan Yu, Li-Yun Wang, Tanvir Ahmad, and Zain Ul Abidin
Automated Urban Planning Aware Spatial Hierarchies and Human Instructions, Dongjie Wang, Kunpeng Liu, Yanyong Huang, Leilei Sun, Bowen Du, and Yanjie Fu
Extending Tensor Virtual Machine to Support Deep-Learning Accelerators with Convolution Cores, Yanzhao Wang and Fei Xie
Submissions from 2021
Deep Transfer Learning for Cross-Device Channel Classification in Mmwave Wireless, Ahmed H. Almutairi, Suresh Srinivasan, Alireza Keshavarz-Haddad, and Ehsan Aryafar
Rotten Green Tests in Java, Pharo and Python, Vincent Aranega, Julien Delplanque, Matias Martinez, Andrew P. Black, Stéphane Ducasse, Anne Etien, Christopher Fuhrman, and Guillermo Polito
Comparing Personalized Pagerank and Activation Spreading in Wikipedia Diagram-Based Search, Hisham Benotman and David E. Maier
Towards Adaptive, Self-Configuring Networked Unmanned Aerial Vehicles, Nirupama Bulusu, Ehsan Aryafar, and Feng Liu
Towards Formally Verified Compilation of Tag-Based Policy Enforcement, CHR Chhak, Andrew Tolmach, and Sean Anderson
An Automated Ar-Based Annotation Tool for Indoor Navigation for Visually Impaired People, Pei Du and Nirupama Bulusu
Memory Efficient Knowledge Base Question Answering with Chatbot Framework, Sai Sharath Japa and Banafsheh Rekabdar
What Makes Agile Software Development Agile, Marco Kuhrmann, Paolo Tell, Regina Hebig, Jil Ann-Christin Klunder, Jurgen Munch, Oliver Linssen, Dietmar Pfahl, Michael Felderer, Christian Prause, Steve Macdonell, Joyce Nakatumba-Nabende, David Raffo, and multiple additional authors
A Community Platform for Research on Pricing and Distributed Machine Learning, Xuanzhe Li, Samuel Gomena, Logan Ballard, Juntao Li, Ehsan Aryafar, and Carlee Joe-Wong
Concolic Execution of NMap Scripts for Honeyfarm Generation, Zhe Li, Bo Chen, Wu-chang Feng, and Fei Xie
Predicting Human–pathogen Protein–protein Interactions Using Natural Language Processing Methods, Nikhil Mathews, Tuan Tran, Banafsheh Rekabdar, and Chinwe Ekenna
Many-Antenna Full-Duplex with Fully Digital and Hybrid Beamforming Radios, Gavin Megson and Ehsan Aryafar
Extracting Physical Events from Digital Chatter for Covid-19, Vikram Nagapudi, Ameeta Agrawal, and Nirupama Bulusu
Learned Dual-View Reflection Removal, Simon Niklaus, Xuaner Cecilia Zhang, Jonathan T. Barron, Neal Wadhwa, Rahul Garg, Feng Liu, and Tianfan Xue
On the (Im)Practicality of Adversarial Perturbation for Image Privacy, Arezoo Rajabi, Rakesh B. Bobba, Mike Rosulek, Charles Wright, and Wu-chi Feng
Effect of Standing Wave on Terahertz Channel Model, Ha K. Tran, Thanh Le, and Suresh Singh
Adversarial Perturbation Suppression Using Adaptive Gaussian Smoothing and Color Reduction, Li-Yun Wang
CCAP: Cooperative Context Aware Pruning for Neural Network Model Compression, Li-Yun Wang and Zahid Akhtar
Game to Dethrone: A Least Privilege CTF, Wenjing Wu and Wu-chang Feng
Submissions from 2020
Automated Bug Detection and Replay for COTS Linux Kernel Modules with Concolic Execution, Bo Chen, Zhenkun Yang, Li Lei, Kai Cong, and Fei Xie
On Basing One-Way Permutations on NP-Hard Problems under Quantum Reductions, Nai-Hui Chia, Sean Hallgren, and Fang Song
Applying the Principle of Least Privilege to System Management Interrupt Handlers with the Intel SMI Transfer Monitor, Brian Delgado, Tejaswini Vibhute, and Karen L. Karavanic
Towards Agile Integration: Specification-Based Data Alignment, Chris Giossi, David Maier, Kristin Tufte, Elliott T. Gall, and Melissa Barnes
Computer Science for Equity: Teacher Education, Agency, and Statewide Reform, Joanna Goode, Max Skorodinsky, Jill Hubbard, and James Hook
Spectrecheck: an Approach to Detecting Speculative Execution Side Channels in Data Cache, Haifeng Gu, Mingsong Chen, Yanzhao Wang, and Fei Xie
Specification-Driven Conformance Checking for Virtual/silicon Devices Using Mutation Testing, Haifeng Gu, Jianning Zhang, Mingsong Chen, Tongquan Wei, Li Lei, and Fei Xie
Leveraging Image Processing Techniques to Thwart Adversarial Attacks in Image Classification, Yeganeh Jalalpour, Li-Yun Wang, Ryan Feng, and Wu-chi Feng
FID: Frame Interpolation and Dct-Base d Video Compression, Yeganeh Jalalpour, Li-Yun Wang, Wu-Chi Feng, and Feng Liu
Microstructure and Mechanical Reliability Issues of TSV, Praveen Kumar, Tae-Kyu Lee, Indranath Dutta, Zhiheng Huang, and Paul Conway
Deep Homography Estimation for Dynamic Scenes, Hoang Le, Feng Liu, Shu Zhang, and Aseem Agarwala
Selective Concolic Testing for Hardware Trojan Detection in Behavioral SystemC Designs, Bin Lin, Jinchao Chen, and Fei Xie
A Systematic Investigation of State-Of-The-Art Systemc Verification, Bin Lin and Fei Xie
Softmax Splatting for Video Frame Interpolation, Simon Niklaus and Feng Liu
Selectivity and Robustness of Sparse Coding Networks, Dylan M. Paiton, Charles Frye, Sheng Y. Lundquist, Joel D. Bowen, Ryan Zarcone, and Bruno A. Olshausen
Providing 5G Coverage Using Optical Methods for Terahertz Frequencies, Suresh Singh
Measurement of 2x2 Los Terahertz MIMO Channel, Suresh Singh, Thanh N. Le, and Ha Tran
Fair Initial Access Design for Mmwave Wireless, Suresh Srinivasan, Xi Yu, Alireza Keshavarz-Haddad, and Ehsan Aryafar
Towards the Statistical Construction of Hybrid Development Methods, Paolo Tell, Jil Kluender, Steffen Kuepper, David Raffo, Stephen MacDonell, Juergen Muench, Dietmar Pfahl, Oliver Linssen, and Marco Kuhrmann
Geometric calibration based on B-spline with multi-parameter and color correction based on transition template and decay function, Xue Ya-ting, Yao-jie Chen, and Min Jiang
Submissions from 2019
A New Product Anti-Counterfeiting Blockchain Using a Truly Decentralized Dynamic Consensus Protocol, Naif Alzahrani and Nirupama Bulusu
Proportional Fair RAT Aggregation in Hetnets, Ehsan Aryafar, Alireza Keshavarz-Haddad, and Carlee Joe-Wong
Detection and Identification of External Intrusion Signals from 33 km Optical Fiber Sensing System Based on Deep Learning, Yu Bai, Jichuan Xing, Fei Xie, Sujie Liu, and Jinxin Li
A Hierarchical Approach to Self-Timed Circuit Verification, Cuong Chau, Warren A. Hunt, Matt Kaufmann, Marly Roncken, and Ivan E. Sutherland
End-to-End Concolic Testing for Hardware/Software Co-Validation, Bo Chen, Kai Cong, Zhenkun Yang, Qin Wang, Jialu Wang, Li Lei, and Fei Xie
EPA-RIMM : an Efficient, Performance-Aware Runtime Integrity Measurement Mechanism for Modern Server Platforms, Brian G. Delgado, Tejaswini Vibhute, John Fastabend, and Karen L. Karavanic
Rotten Green Tests, Julien Delplanque, Stéphane Ducasse, Guillermo Polito, Andrew P. Black, and Anne Etien
Mutual Exclusion Sizing for Hoi Polloi, Swetha Mettala Gilla, Maria Roncken, Ivan Sutherland, and Xiaoyu Song
Context-Aware Image Matting for Simultaneous Foreground and Alpha Estimation, Qiqi Hou and Feng Liu
Appearance Flow Completion for Novel View Synthesis, Hoang Le and Feng Liu
Good Similar Patches for Image Denoising, Si Lu
Good Similar Patches for Image Denoising (Poster), Si Lu
High-speed Video from Asynchronous Camera Array, Si Lu
High-speed Video from Asynchronous Camera Array (Poster), Si Lu
No-reference Image Denoising Quality Assessment, Si Lu
Artificial Intelligence Hits the Barrier of Meaning, Melanie Mitchell
CommuterScanner: Towards Smart Indoor Positioning Systems in Urban Transportation, Abhishek Mukherji, Vinay Raghuram, Santosh Pandey, Huy Tran, and Nirupama Bulusu
An Uncultivated Virus Infecting a Symbiotic Nanoarchaeota in the Hot Springs of Yellowstone National Park, Jacob H. Munson-McGee, Colleen Rooney, and Mark J. Young
Context-Aware Synthesis for Video Frame Interpolation, Simon Niklaus and Feng Liu
3D Ken Burns Effect from a Single Image, Simon Niklaus, Long Mai, Jimei Yang, and Feng Liu
Event Trend Aggregation Under Rich Event Matching Semantics, Olga Poppe, Chuan Lei, Elke A. Rundensteiner, and David Maier
The Strength of Weak Randomization: Easily Deployable, Efficiently Searchable Encryption with Minimal Leakage, David Pouliot, Scott Griffy, and Charles V. Wright
Innovative Process Paradigms and Data Driven Analytics: A New Horizon for Software and Systems Process, David Raffo, Reda Bendraou, LiGuo Huang, and Fabrizio M. Maggi
Challenges in Los Terahertz MIMO, Suresh Singh, Ha K. Tran, and Thanh N. Le
Joint Stabilization and Direction of 360° Videos, Chengzhou Tang, Oliver Wang, Feng Liu, and Ping Tan
What Are Hybrid Development Methods Made Of? an Evidence-Based Characterization, Paolo Tell, Jil Klünder, Steffen Küpper, David Raffo, Stephen G. MacDonell, Jürgen Münch, Dietmar Pfahl, Oliver Linssen, and Marco Kuhrmann
Improving Infrastructure-Based Indoor Positioning Systems with Device Motion Detection, Huy Tran, Abhishek Mukherji, Nirupama Bulusu, Santosh Pandey, and Xu Zhang
Comparative Analysis of Evolutionary Algorithms Based on Swarm Intelligence for QoS Optimization of Cloud Services, Yan Wang, Jian-Tao Zhou, Yan Jiao, and Song Xiaoyu
An Edge Computing Marketplace for Distributed Machine Learning, Susham Yerabolu, Samuel Gomena, Ehsan Aryafar, and Carlee Joe-Wong
Deepmarket: an Edge Computing Marketplace with Distributed Tensorflow Execution Capability, Susham Yerabolu, Soyoung Kim, Samuel J. Gomena, Xuanzhe Li, Rohan Patel, Shraddha Bhise, and Ehsan Aryafar
Traffic Consolidation for Green Optical Dcns, Qing Yi and Suresh P. Singh
Submissions from 2018
Block-Supply Chain: A New Anti-Counterfeiting Supply Chain Using NFC and Blockchain, Naif Alzahrani and Nirupama Bulusu
Equivalence Checking of Non-deterministic Operations, Sergio Antoy and Michael Hanus
A New Functional-Logic Compiler for Curry: SPRITE, Sergio Antoy and Andy Jost
Scheduling Non-preemptive Tasks with Strict Periods in Multi-core Real-time Systems, Jinchao Chen, Chenglie Du, Fei Xie, and Bin Lin
SAMU: Design and Implementation of Frequency Selectivity-Aware Multi-User MIMO for WLANs, Yongjiu Du, Yan Shi, Ehsan Aryafar, Pengfei Cui, Joseph Camp, and Mung Chiang
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise, Guglielmo Fachini, Cătălin Hriţcu, Marco Stronati, Arthur Azevedo de Amorim, Carmine Abate, Roberto Blanco, Théo Laurent, Benjamin C. Pierce, and Andrew Tolmach
Specification-Driven Automated Conformance Checking for Virtual Prototype and Post-Silicon Designs, Haifeng Gu, Mingsong Chen, Tongquan Wei, Li Lei, and Fei Xie
A Cyber-Physical System Framework for Early Detection of Paroxysmal Diseases, Zuxing Gu, Yu Jiang, Min Zhou, Xiaoyu Song, and Lui Sha
Concolic Testing of SystemC Designs, Bin Lin, Kai Cong, Zhenkun Yang, Zhigang Liao, Tao Zhan, Christopher Havlicek, and Fei Xie