Conferences Best Paper Awards 2020

 Best Paper Awards are presented at many ACM conferences to authors whose work represents groundbreaking research in their respective areas. By recognizing these select papers for their ingenuity and importance, ACM highlights some of the theoretical and practical innovations that are likely to shape the future of computing.  

Neural Face Models for Example-Based Visual Speech Synthesis
By Wolfgang Paier, Anna Hilsmann, Peter Eisert
CVMP '20: European Conference on Visual Media Production

Forwarding and routing with packet subscriptions
By Theo Jepsen, Ali Fattaholmanan, Masoud Moshref, Nate Foster, Antonio Carzaniga, Robert Soule
CoNEXT '20: The 16th International Conference on emerging Networking EXperiments and Technologies

Scaling exact inference for discrete probabilistic programs
By Steven Holtzen, Guy Van den Broeck, Todd Millstein
Systems, Programming, Languages, and Applications, Software for Humanity (SPLASH '20)

Dataflow-based pruning for speeding up superoptimization
By Manasij Mukherjee, Pranav Kant, Zhengyang Liu, John Regehr
Systems, Programming, Languages, and Applications, Software for Humanity (SPLASH '20)

Learning semantic program embeddings with graph interval neural network
By Yu Wang, Ke Wang, Fengjuan Gao, Linzhang Wang
Systems, Programming, Languages, and Applications, Software for Humanity (SPLASH '20)

Automated policy synthesis for system call sandboxing
By Shankara Pailoor, Xinyu Wang, Hovav Shacham, Isil Dillig
Systems, Programming, Languages, and Applications, Software for Humanity (SPLASH '20)

Random testing for C and C++ compilers with YARPGen
By Vsevolod Livinskii, Dmitry Babokin, John Regehr
Systems, Programming, Languages, and Applications, Software for Humanity (SPLASH '20)

Flow2Vec: value-flow-based precise code embedding
By Yulei Sui, Xiao Cheng, Guanqin Zhang, Haoyu Wang
Systems, Programming, Languages, and Applications, Software for Humanity (SPLASH '20)

Projection-based runtime assertions for testing and debugging Quantum programs
By Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie
Systems, Programming, Languages, and Applications, Software for Humanity (SPLASH '20)

Papyrus for gamers, let's play modeling
By Antonio Bucchiarone, Maxime Savary-Leblanc, Xavier Le Pallec, Jean-Michel Bruel, Antonio Cicchetti, Jordi Cabot, Sebastien Gerard, Hamna Aslam, Annapaola Marconi, Mirko Perillo
MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems

Model-based fleet deployment of edge computing applications
By Hui Song, Rustem Dautov, Nicolas Ferry, Arnor Solberg, Franck Fleurey
MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems

Interactive metamodel/model co-evolution using unsupervised learning and multi-objective search
By Wael Kessentini, Vahid Alizadeh
MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems

Semantic comparisons of Alloy models
By Jan Oliver Ringert, Syed Waqee Wali
MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems

Investigating perceptually based models to predict importance of facial blendshapes
By Emma Carrigan, Katja Zibrek, Rozenn Dahyot, Rachel McDonnell
MIG '20: Motion, Interaction and Games

Appearance Controlled Face Texture Generation for Video Game Characters
By Christian Murphy, Sudhir Mudur, Daniel Holden, Marc-Andre Carbonneau, Donya Ghafourzadeh, Andre Beauchamp
MIG '20: Motion, Interaction and Games

ConJac: Large Steps in Dynamic Simulation
By Nicholas J. Weidner, Theodore Kim, Shinjiro Sueda
MIG '20: Motion, Interaction and Games

SMITE: Using Smart Meters to Infer the Thermal Efficiency of Residential Homes
By Joe Brown, Jonathan Chambers, Alessandro Abate, Alex Rogers
BuildSys '20: The 7th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation

MB2C: Model-Based Deep Reinforcement Learning for Multi-zone Building Control
By Xianzhong Ding, Wan Du, Alberto E. Cerpa
BuildSys '20: The 7th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation

Enabling Distributed Solar Energy Trading in Residential Virtual Power Plants
By Yuzhou Feng, Qi Li, Dong Chen, Raju Rangaswami
SenSys '20: The 18th ACM Conference on Embedded Networked Sensor Systems

Deep compressive offloading: speeding up neural network inference by trading edge computation for network latency
By Shuochao Yao, Jinyang Li, Dongxin Liu, Tianshi Wang, Shengzhong Liu, Huajie Shao, Tarek Abdelzaher
SenSys '20: The 18th ACM Conference on Embedded Networked Sensor Systems

Zero-wire: a deterministic and low-latency wireless bus through symbol-synchronous transmission of optical signals
By Jonathan Oostvogels, Fan Yang, Sam Michiels, Danny Hughes
SenSys '20: The 18th ACM Conference on Embedded Networked Sensor Systems

On decomposing a deep neural network into modules
By Rangeet Pan, Hridesh Rajan
ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '20)

A principled approach to GraphQL query cost analysis
By Alan Cha, Erik Wittern, Guillaume Baudart, James C. Davis, Louis Mandel, Jim A. Laredo
ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '20)

Testing self-adaptive software with probabilistic guarantees on performance metrics
By Claudio Mandrioli, Martina Maggio
ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '20)

Community expectations for research artifacts and evaluation processes
By Ben Hermann, Stefan Winter, Janet Siegmund
ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '20)

Boosting fuzzer efficiency: an information theoretic perspective
By Marcel Bohme, Valentin J. M. Manes, Sang Kil Cha
ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '20)

Detecting numerical bugs in neural network architectures
By Yuhao Zhang, Luyao Ren, Liqian Chen, Yingfei Xiong, Shing-Chi Cheung, Tao Xie
ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '20)

Deep learning library testing via effective model generation
By Zan Wang, Ming Yan, Junjie Chen, Shuang Liu, Dongdi Zhang
ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '20)

DNS Cache Poisoning Attack Reloaded: Revolutions with Side Channels
By Keyu Man, Zhiyun Qian, Zhongjie Wang, Xiaofeng Zheng, Youjun Huang, Haixin Duan
CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security

HexTouch: Affective Robot Touch for Complementary Interactions to Companion Agents in Virtual Reality
By Ran Zhou, Yanzhe Wu, Harpreet Sareen
VRST '20: 26th ACM Symposium on Virtual Reality Software and Technology

Augmented Reality World Editor
By Jake Guida, Misha Sra
VRST '20: 26th ACM Symposium on Virtual Reality Software and Technology

Ray-Casting-based 3D pointing and Dragging Interface for Naked-Eye Stereoscopic Displays
By Raku Egawa, Yucheng Qiu, Takashi Ijiri
VRST '20: 26th ACM Symposium on Virtual Reality Software and Technology

Computing Object Selection Difficulty in VR using Run-time Contextual Analysis
By Chris Zimmerer, Ronja Heinrich, Martin Fischbach, Jean-Luc Lugrin, Marc Erich Latoschik
VRST '20: 26th ACM Symposium on Virtual Reality Software and Technology

Moving Virtual Reality out of its Comfort Zone and Into the African Kalahari Desert Field: Experiences From Technological Co-Exploration With an Indigenous San Community in Namibia
By Kasper Rodil, Donovan Maasz, Heike Winschiers-Theophilus
VRST '20: 26th ACM Symposium on Virtual Reality Software and Technology

Towards Physically Interactive Virtual Environments: Reactive Alignment with Redirected Walking
By Jerald Thomas, Courtney Hutton Pospick, Evan Suma Rosenberg
VRST '20: 26th ACM Symposium on Virtual Reality Software and Technology

Realistic Virtual Humans from Smartphone Videos
By Stephan Wenninger, Jascha Achenbach, Andrea Bartl, Marc Erich Latoschik, Mario Botsch
VRST '20: 26th ACM Symposium on Virtual Reality Software and Technology

The Effect of Spatial Reference on Visual Attention and Workload during Viewpoint Guidance in Augmented Reality
By Daniela Markov-Vetter, Martin Luboschik, ABM Tariqul Islam, Peter Gauger, Oliver Staadt
SUI '20: Symposium on Spatial User Interaction

Mission Impossible Spaces: Using Challenge-Based Distractors to Reduce Noticeability of Self-Overlapping Virtual Architecture
By Claudiu-Bogdan Ciumedean, Cristian Patras, Mantas Cibulskis, Norbert Váradi, Niels C. Nilsson
SUI '20: Symposium on Spatial User Interaction

Understanding BERT Rankers Under Distillation
By Luyu Gao, Zhuyun Dai, Jamie Callan
ICTIR '20: The 2020 ACM SIGIR International Conference on the Theory of Information Retrieval

Exploiting Stopping Time to Evaluate Accumulated Relevance
By Marco Ferrante, Nicola Ferro
ICTIR '20: The 2020 ACM SIGIR International Conference on the Theory of Information Retrieval

SmellControl: The Study of Sense of Agency in Smell
By Patricia Cornelio, Emanuela Maggioni, Giada Brianza, Sriram Subramanian, Marianna Obrist
ICMI '20: INTERNATIONAL CONFERENCE ON MULTIMODAL INTERACTION

A Neural Architecture for Detecting User Confusion in Eye-tracking Data
By Shane D. Sims, Cristina Conati
ICMI '20: INTERNATIONAL CONFERENCE ON MULTIMODAL INTERACTION

Input Accessibility: A Large Dataset and Summary Analysis of Age, Motor Ability and Input Performance
By Leah Findlater, Lotus Zhang
ASSETS '20: The 22nd International ACM SIGACCESS Conference on Computers and Accessibility

Do People and Neural Nets Pay Attention to the Same Words: Studying Eye-tracking Data for Non-factoid QA Evaluation
By Valeria Bolotova, Vladislav Blinov, Yukun Zheng, W. Bruce Croft, Falk Scholer, Mark Sanderson
CIKM '20: The 29th ACM International Conference on Information and Knowledge Management

Living Disability Theory: Reflections on Access, Research, and Design
By Megan Hofmann, Devva Kasnitz, Jennifer Mankoff, Cynthia L Bennett
ASSETS '20: The 22nd International ACM SIGACCESS Conference on Computers and Accessibility

FANG: Leveraging Social Context for Fake News Detection Using Graph Representation
By Van-Hoang Nguyen, Kazunari Sugiyama, Preslav Nakov, Min-Yen Kan
CIKM '20: The 29th ACM International Conference on Information and Knowledge Management

Requirements-driven configuration of emergency response missions with small aerial vehicles
By Jane Cleland-Huang, Ankit Agrawal, Md Nafee Al Islam, Eric Tsai, Maxime Van Speybroeck, Michael Vierhauser
SPLC '20: 24th ACM International Systems and Software Product Line Conference

A framework to co-optimize task and social dialogue policies using Reinforcement Learning
By Florian Pecune, Stacy Marsella
IVA '20: ACM International Conference on Intelligent Virtual Agents

The 19 Unifying Questionnaire Constructs of Artificial Social Agents: An IVA Community Analysis
By Siska Fitrianie, Merijn Bruijnes, Deborah Richards, Andrea Bonsch, Willem-Paul Brinkman
IVA '20: ACM International Conference on Intelligent Virtual Agents

Let's Face It: Probabilistic Multi-modal Interlocutor-aware Generation of Facial Gestures in Dyadic Settings
By Patrik Jonell, Taras Kucherenko, Gustav Eje Henter, Jonas Beskow
IVA '20: ACM International Conference on Intelligent Virtual Agents

Preparing Future UX Professionals: Human Skills, Technical Skills, and Dispositions
By Emma J. Rose, Cynthia Putnam, Craig M. McDonald
SIGDOC '20: The 38th ACM International Conference on Design of Communication

Migrants as Place-Makers: The Role of Technical Communicators in (re)Locating Place
By Gabriel Lorenzo Aguilar
SIGDOC '20: The 38th ACM International Conference on Design of Communication

Named-Data Transport: An End-to-End Approach for an Information-Centric IP Internet
By Abdulazaz Albalawi, J. J. Garcia-Luna-Aceves
ICN '20: 7th ACM Conference on Information-Centric Networking

NFDFuzz: A Stateful Structure-Aware Fuzzer for Named Data Networking
By George Torres, Davide Pesavento, Junxiao Shi, Lotfi Benmohamed
ICN '20: 7th ACM Conference on Information-Centric Networking

M-Cube: a millimeter-wave massive MIMO software radio
By Renjie Zhao, Timothy Woodford, Teng Wei, Kun Qian, Xinyu Zhang
ACM MobiCom '20: The 26th Annual International Conference on Mobile Computing and Networking

Hummingbird: energy efficient GPS receiver for small satellites
By S. Narayana, R. V. Prasad, V. Rao, L. Mottola, T. V. Prabhakar
ACM MobiCom '20: The 26th Annual International Conference on Mobile Computing and Networking

Sniffing visible light communication through walls
By Minhao Cui, Yuda Feng, Qing Wang, Jie Xiong
ACM MobiCom '20: The 26th Annual International Conference on Mobile Computing and Networking

Design and evaluation of a wearable assistive technology for hemianopic stroke patients
By Navid Amini, Jung S. Lim, Farnaz Mohammadi, Clinton Thodos, Benjamin Braun, Hassan Ghasemzadeh, Melissa W. Chun, Kouros Nouri-Mahdavi
UbiComp/ISWC '20: 2020 ACM International Joint Conference on Pervasive and Ubiquitous Computing and 2020 ACM International Symposium on Wearable Computers

FLECTILE: 3D-printable soft actuators for wearable computing
By Likun Fang, Tobias Roddiger, Hongye Sun, Norbert Willenbacher, Michael Beigl
UbiComp/ISWC '20: 2020 ACM International Joint Conference on Pervasive and Ubiquitous Computing and 2020 ACM International Symposium on Wearable Computers

Design and evaluation of a wearable assistive technology for hemianopic stroke patients
By Navid Amini, Jung S. Lim, Farnaz Mohammadi, Clinton Thodos, Benjamin Braun, Hassan Ghasemzadeh, Melissa W. Chun, Kouros Nouri-Mahdavi
UbiComp/ISWC '20: 2020 ACM International Joint Conference on Pervasive and Ubiquitous Computing and 2020 ACM International Symposium on Wearable Computers

An Approximate Carry Estimating Simultaneous Adder with Rectification
By Rajat Bhattacharjya, Vishesh Mishra, Saurabh Singh, Kaustav Goswami, Dip Sankar Banerjee
GLSVLSI '20: Great Lakes Symposium on VLSI 2020

LORAX: Loss-Aware Approximations for Energy-Efficient Silicon Photonic Networks-on-Chip
By Febin Sunny, Asif Mirza, Ishan Thakkar, Sudeep Pasricha, Mahdi Nikdast
GLSVLSI '20: Great Lakes Symposium on VLSI 2020

Towards Programmable All-Digital True Random Number Generator
By Rashmi Agrawal, Lake Bu, Eliakin Del Rosario, Michel A. Kinsy
GLSVLSI '20: Great Lakes Symposium on VLSI 2020

What Do We Think We Think We Are Doing?: Metacognition and Self-Regulation in Programming
By James Prather, Brett A. Becker, Michelle Craig, Paul Denny, Dastyni Loksa, Lauren Margulieux
ICER '20: International Computing Education Research Conference

SubZero: zero-copy IO for persistent main memory file systems
By Juno Kim, Yun Joon Soh, Joseph Izraelevitz, Jishen Zhao, Steven Swanson
APSys '20: 11th ACM SIGOPS Asia-Pacific Workshop on Systems

Exploring Student Behavior Using the TIPP&SEE Learning Strategy
By Diana Franklin, Jean Salac, Zachary Crenshaw, Saranya Turimella, Zipporah Klain, Marco Anaya, Cathy Thomas
ICER '20: International Computing Education Research Conference

What Do We Think We Think We Are Doing?: Metacognition and Self-Regulation in Programming
By James Prather, Brett A. Becker, Michelle Craig, Paul Denny, Dastyni Loksa, Lauren Margulieux
ICER '20: International Computing Education Research Conference

How to cultivate a green decision tree without loss of accuracy?
By Tseng-Yi Chen, Yuan-Hao Chang, Ming-Chang Yang, Huang-Wei Chen
ISLPED '20: ACM/IEEE International Symposium on Low Power Electronics and Design

GRLC: grid-based run-length compression for energy-efficient CNN accelerator
By Yoonho Park, Yesung Kang, Sunghoon Kim, Eunji Kwon, Seokhyeong Kang
ISLPED '20: ACM/IEEE International Symposium on Low Power Electronics and Design

Mathematical Formulae in Wikimedia Projects 2020
By Moritz Schubotz, Andre Greiner-Petter, Norman Meuschke, Olaf Teschke, Bela Gipp
JCDL '20: The ACM/IEEE Joint Conference on Digital Libraries in 2020

Streaming Analytics and Workflow Automation for DFS
By Yasith Jayawardana, Sampath Jayarathna
JCDL '20: The ACM/IEEE Joint Conference on Digital Libraries in 2020

A Heuristic Baseline Method for Metadata Extraction from Scanned Electronic Theses and Dissertations
By Muntabir Hasan Choudhury, Jian Wu, William A. Ingram, Edward A. Fox
JCDL '20: The ACM/IEEE Joint Conference on Digital Libraries in 2020

CHCI: A Crowdsourcing Human-computer Interaction Framework for Cultural Heritage Knowledge
By Wenjun Hou, Huijie Han, Liang Hong, Wei Yin
JCDL '20: The ACM/IEEE Joint Conference on Digital Libraries in 2020

Visualising Large Document Collections by Jointly Modeling Text and Network Structure
By Tim Repke, Ralf Krestel
JCDL '20: The ACM/IEEE Joint Conference on Digital Libraries in 2020

Multivariate Relations Aggregation Learning in Social Networks
By Jin Xu, Shuo Yu, Ke Sun, Jing Ren, Ivan Lee, Shirui Pan, Feng Xia
JCDL '20: The ACM/IEEE Joint Conference on Digital Libraries in 2020

Analyzing the Effect of Reading Patterns using Eye Tracking Measures
By Gavindya Jayawardena, Sampath Jayarathna, Jian Wu
JCDL '20: The ACM/IEEE Joint Conference on Digital Libraries in 2020

Identifying Documents In-Scope of a Collection from Web Archives
By Krutarth Patel, Cornelia Caragea, Mark E. Phillips, Nathaniel T. Fox
JCDL '20: The ACM/IEEE Joint Conference on Digital Libraries in 2020

Personalization Finder: A Search Interface for Identifying and Self-controlling Web Search Personalization
By Yusuke Yamamoto, Takehiro Yamamoto
JCDL '20: The ACM/IEEE Joint Conference on Digital Libraries in 2020

ProximiTEE: Hardened SGX Attestation by Proximity Verification
By Aritra Dhar, Ivan Puddu, Kari Kostiainen, Srdjan Capkun
CODASPY '20: Tenth ACM Conference on Data and Application Security and Privacy

Optimal Parallel Algorithms in the Binary-Forking Model
By Guy E. Blelloch, Jeremy T. Fineman, Yan Gu, Yihan Sun
SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures

Faster Deterministic All Pairs Shortest Paths in Congest Model
By Udit Agarwal, Vijaya Ramachandran
SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures

Parallel Planar Subgraph Isomorphism and Vertex Connectivity
By Lukas Gianinazzi, Torsten Hoefler
SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures

A Unified Sparsification Approach for Matching Problems in Graphs of Bounded Neighborhood Independence
By Lazar Milenkovic, Shay Solomon
SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures

Sublinear Algorithms in T-interval Dynamic Networks
By Sublinear Algorithms in T-interval Dynamic Networks
SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures

Performance Evaluation of a Two-Dimensional Flood Model on Heterogeneous High-Performance Computing Architectures
By Md Bulbul Sharif, Sheikh K. Ghafoor, Thomas M. Hines, Mario Morales-Hernandez, Katherine J. Evans, Shih-Chieh Kao, Alfred J. Kalyanapu, Tigstu T. Dullo, Sudershan Gangrade
PASC '20: Platform for Advanced Scientific Computing Conference

Golden parameter search: exploiting structure to quickly configure parameters in parallel
By Yasha Pushak, Holger H. Hoos
GECCO '20: Genetic and Evolutionary Computation Conference

Fast mutation in crossover-based algorithms
By Denis Antipov, Maxim Buzdalov, Benjamin Doerr
GECCO '20: Genetic and Evolutionary Computation Conference

Diversity preservation in minimal criterion coevolution through resource limitation
By Jonathan C. Brant, Kenneth O. Stanley
GECCO '20: Genetic and Evolutionary Computation Conference

Effective reinforcement learning through evolutionary surrogate-assisted prescription
By Olivier Francon, Santiago Gonzalez, Babak Hodjat, Elliot Meyerson, Risto Miikkulainen, Xin Qiu, Hormoz Shahrzad
GECCO '20: Genetic and Evolutionary Computation Conference

Neuroevolution of self-interpretable agents
By Yujin Tang, Duong Nguyen, David Ha
GECCO '20: Genetic and Evolutionary Computation Conference

Another difficulty of inverted triangular pareto fronts for decomposition-based multi-objective algorithms
By Linjun He, Auraham Camacho, Hisao Ishibuchi
GECCO '20: Genetic and Evolutionary Computation Conference

Understanding transforms of pseudo-boolean functions
By Darrell Whitley, Hernan Aguirre, Andrew Sutton
GECCO '20: Genetic and Evolutionary Computation Conference

Genetic programming approaches to learning fair classifiers
By William La Cava, Jason H. Moore
GECCO '20: Genetic and Evolutionary Computation Conference

Optimisation of large wave farms using a multi-strategy evolutionary framework
By Mehdi Neshat, Bradley Alexander, Nataliia Y. Sergiienko, Markus Wagner
GECCO '20: Genetic and Evolutionary Computation Conference

Feasible Joint Posterior Beliefs
By Itai Arieli, Yakov Babichenko, Fedor Sandomirskiy, Omer Tamuz
EC '20: The 21st ACM Conference on Economics and Computation

EFX Exists for Three Agents
By Bhaskar Ray Chaudhury, Jugal Garg, Kurt Mehlhorn
EC '20: The 21st ACM Conference on Economics and Computation

Incremental stream query analytics
By Pedro Silva, Wang Yue, Tilmann Rabl
DEBS '20: The 14th ACM International Conference on Distributed and Event-based Systems

hSPICE: state-aware event shedding in complex event processing
By Ahmad Slo, Sukanya Bhowmik, Kurt Rothermel
DEBS '20: The 14th ACM International Conference on Distributed and Event-based Systems

Personalized Recommendation of PoIs to People with Autism
By Noemi Mauro, Liliana Ardissono, Federica Cena
UMAP '20: 28th ACM Conference on User Modeling, Adaptation and Personalization

Predicting User Intents and Satisfaction with Dialogue-based Conversational Recommendations
By Wanling Cai, Li Chen
UMAP '20: 28th ACM Conference on User Modeling, Adaptation and Personalization

A Stable Personalised Partner Selection for Collaborative Privacy Education
By Rita Yusri, Adel Abusitta, Esma Aimeur
UMAP '20: 28th ACM Conference on User Modeling, Adaptation and Personalization

On Links To Be: Exercises in Style #2
By Alessio Antonini, Francesca Benatti, Sally Blackburn-Daniels
31st ACM Conference on Hypertext and Social Media (HT '20)

What Authors Think about Hypertext Authoring
By Sofia Kitromili, James Jordan, David E. Millard
31st ACM Conference on Hypertext and Social Media (HT '20)

Creative Choice in Fifth Grade Computing Curriculum
By Kirsten Mork, John Wilcox, Zoe Wood
ITiCSE '20: Innovation and Technology in Computer Science Education

Exploring Hybrid Virtual-Physical Homes
By Lauren Herckis, Jessica Cao, Jacqui Fashimpaur, Anna Henson, Rachel Rodgers, Thomas W. Corbett, III, Jessica Hammer
DIS '20: Designing Interactive Systems Conference 2020

Putting Phenomenological Theories to Work in the Design of Self-Tracking Technologies
By Sarah Homewood, Anna Vallgarda
DIS '20: Designing Interactive Systems Conference 2020

Weaving a Second Skin: Exploring Opportunities for Crafting On-Skin Interfaces Through Weaving
By Ruojia Sun, Ryosuke Onose, Margaret Dunne, Andrea Ling, Amanda Denham, Hsin-Liu (Cindy) Kao
DIS '20: Designing Interactive Systems Conference 2020

Useless, not Worthless: Absurd Making as Critical Practice
By Patrizia Paci, Clara Mancini, Blaine A. Price
DIS '20: Designing Interactive Systems Conference 2020

Understanding the Interaction Between Animals and Wearables: The Wearer Experience of Cats
By Patrizia Paci, Clara Mancini, Blaine A. Price
DIS '20: Designing Interactive Systems Conference 2020

A Teaching Language for Building Object Detection Models
By Nicole Sultanum, Soroush Ghorashi, Christopher Meek, Gonzalo Ramos
DIS '20: Designing Interactive Systems Conference 2020

SoundWear: Effect of Non-speech Sound Augmentation on the Outdoor Play Experience of Children
By Jiwoo Hong, HyeonBeom Yi, Jaehoon Pyun, Woohun Lee
DIS '20: Designing Interactive Systems Conference 2020

Plotting with Thread: Fabricating Delicate Punch Needle Embroidery with X-Y Plotters
By Shiqing He, Eytan Adar
DIS '20: Designing Interactive Systems Conference 2020

Using European Human Rights Jurisprudence for Incorporating Values into Design
By Reuben Kirkham
DIS '20: Designing Interactive Systems Conference 2020

Magical Realist Design
By Tom Schofield, John Bowers, Diego Trujillo Pisanty
DIS '20: Designing Interactive Systems Conference 2020

Experience is not Required: Designing a Sailing Experience for Individuals with Tetraplegia
By Ahmad Alsaleem, Ross Imburgia, Andrew Merryweather, Roger Altizer, Jeffrey Rosenbluth, Stephen Trapp, Jason Wiese
DIS '20: Designing Interactive Systems Conference 2020

Affordances of Shape-Changing Interfaces: An Information Perspective on Transformability and Movement
By Marianne Graves Petersen, Majken Kirkegaard Rasmussen, Johan Trettvik
DIS '20: Designing Interactive Systems Conference 2020

Visualizing the Climate Impact of Dietary Choice through a Shared Data Sculpture
By Kim Sauve, Saskia Bakker, Steven Houben
DIS '20: Designing Interactive Systems Conference 2020

Peek-through Customization: Example-Based In-Context Sharing for Learning Management Systems
By Laton Vermette, Joanna McGrenere, Parmit K. Chilana
DIS '20: Designing Interactive Systems Conference 2020

Body Matters: Exploration of the Human Body as a Resource for the Design of Technologies for Meditation
By Claudia Dauden Roquet, Corina Sas
DIS '20: Designing Interactive Systems Conference 2020

Creating a Chatbot for and with Migrants: Chatbot Personality Drives Co-Design Activities
By Zhifa Chen, Yichen Lu, Mika P. Nieminen, Andres Lucero
DIS '20: Designing Interactive Systems Conference 2020

Robotic Futures: Learning about Personally-Owned Agents through Performance
By Michal Luria, Judeth Oden Choi, Rachel Gita Karp, John Zimmerman, Jodi Forlizzi
DIS '20: Designing Interactive Systems Conference 2020

Prototypes as Objects of Desire
By Gopinaath Kannabiran, Susanne Bodker
DIS '20: Designing Interactive Systems Conference 2020

What Kind of Work Do "Asshole Designers" Create? Describing Properties of Ethical Concern on Reddit
By Colin M. Gray, Shruthi Sai Chivukula, Ahreum Lee
DIS '20: Designing Interactive Systems Conference 2020

InsideOut: Towards an Understanding of Designing Playful Experiences with Imaging Capsules
By Zhuying Li, Yan Wang, Jacob Sheahan, Beisi Jiang, Stefan Greuter, Florian Floyd Mueller
DIS '20: Designing Interactive Systems Conference 2020

A Wizard of Oz Study on Passengers' Experiences of a Robo-Taxi Service in Real-Life Settings
By Johanna Meurer, Christina Pakusch, Gunnar Stevens, Dave Randall, Volker Wulf
DIS '20: Designing Interactive Systems Conference 2020

Evaluating Design Fiction: The Right Tool for the Job
By Eric P. S. Baumer, Mark Blythe, Theresa Jean Tanenbaum
DIS '20: Designing Interactive Systems Conference 2020

Visualizing Personal Rhythms: A Critical Visual Analysis of Mental Health in Flux
By Jaime Snyder
DIS '20: Designing Interactive Systems Conference 2020

WeScream!: Toward Understanding the Design of Playful Social Gustosonic Experiences with Ice Cream
By Yan Wang, Zhuying Li, Robert S. Jarvis, Joseph La Delfa, Rohit Ashok Khot, Florian Floyd Mueller
DIS '20: Designing Interactive Systems Conference 2020

"We come together as one...and hope for solidarity to live on": On Designing Technologies for Activism and the Commemoration of Lost Lives
By Angelika Strohmayer, Janis Lena Meissner, Alexander Wilson, Sarah Charlton, Laura McIntyre
DIS '20: Designing Interactive Systems Conference 2020

More Than Human Aesthetics: Interactive Enrichment for Elephants
By Fiona French, Clara Mancini, Helen Sharp
DIS '20: Designing Interactive Systems Conference 2020

Entangling the Roles of Maker and Interpreter in Interpersonal Data Narratives: Explorations in Yarn and Sound
By Mikhaila Friske, Jordan Wirfs-Brock, Laura Devendorf
DIS '20: Designing Interactive Systems Conference 2020

Exploring Potential Scenarios and Design Implications Through a Camera-like Physical Odor Capture Prototype
By Qi Lu, Wan Liang, Hao Wu, Hoiian Wong, Haipeng Mi, Yingqing Xu
DIS '20: Designing Interactive Systems Conference 2020

Understanding How People Reason about Aesthetic Evaluations of Artificial Intelligence
By Changhoon Oh, Seonghyeon Kim, Jinhan Choi, Jinsu Eun, Soomin Kim, Juho Kim, Joonhwan Lee, Bongwon Suh
DIS '20: Designing Interactive Systems Conference 2020

Co-Designing with Orangutans: Enhancing the Design of Enrichment for Animals
By Sarah Webber, Marcus Carter, Wally Smith, Frank Vetere
DIS '20: Designing Interactive Systems Conference 2020

Pataphysical Software: (Ridiculous) Technological Solutions for Imaginary Problems
By Miguel Sicart, Irina Shklovski
DIS '20: Designing Interactive Systems Conference 2020

Applying Ability-Based Design Principles to Adaptive Outdoor Activities
By Ahmad Alsaleem, Ross Imburgia, Andrew Merryweather, Jeffrey Rosenbluth, Stephen Trapp, Jason Wiese
DIS '20: Designing Interactive Systems Conference 2020

Overcoming Reserve - Supporting Professional Appropriation of Interactive Costumes
By Michaela Honauer, Danielle Wilde, Eva Hornecker
DIS '20: Designing Interactive Systems Conference 2020

RoadCare: A Deep-learning Based Approach to Quantifying Road Surface Quality
By Saurabh Tiwari, Ravi Bhandari, Bhaskaran Raman
COMPASS '20: ACM SIGCAS Conference on Computing and Sustainable Societies (COMPASS)

Characterizing The Evolution Of Indian Cities Using Satellite Imagery And Open Street Maps
By Chahat Bansal, Aditi Singla, Ankit Kumar Singh, Hari Om Ahlawat, Mayank Jain, Prachi Singh, Prashant Kumar, Ritesh Saha, Sakshi Taparia, Shailesh Yadav, Aaditeshwar Seth
COMPASS '20: ACM SIGCAS Conference on Computing and Sustainable Societies (COMPASS)

Can Phones Build Relationships?: A Case Study of a Kenyan Wildlife Conservancy's Community Development
By Matt Ziegler, Morgan Wack, Nancy Ingutia, Ian Muiruri, Nicholas Njogu, Kennedy Muriithi, William Njoroge, James Long, Kurtis Heimerl
COMPASS '20: ACM SIGCAS Conference on Computing and Sustainable Societies (COMPASS)

Modulo: Drive-by Sensing at City-scale on the CheapYouth
By Dhruv Agarwal, Srinivasan Iyengar, Manohar Swaminathan, Eash Sharma, Ashish Raj, Aadithya Hatwar
COMPASS '20: ACM SIGCAS Conference on Computing and Sustainable Societies (COMPASS)

"Participatory Memory Making: Creating Postcolonial Dialogic Engagements with Namibian Youth
By Asnath Paula Kambunga, Heike Winschiers-Theophilus, Rachel Charlotte Smith
DIS '20: Designing Interactive Systems Conference 2020

"Can Phones Build Relationships?: A Case Study of a Kenyan Wildlife Conservancy's Community Development"
By Matt Ziegler, Morgan Wack, Nancy Ingutia, Ian Muiruri, Nicholas Njogu, Kennedy Muriithi, William Njoroge, James Long, Kurtis Heimerl
COMPASS '20: ACM SIGCAS Conference on Computing and Sustainable Societies (COMPASS)

"Designing dyadic caregiver-child personas for interactive digital media use
By Christie Anne Abel, Thomas D Grace
IDC '20: Interaction Design and Children

"When is the pressure zero inside a container? Mission impossible": 7th grade students learn science by constructing computational models using the much.matter.in.motion platform
By Janan Saba, Hagit Hel-Or, Sharona T. Levy
IDC '20: Interaction Design and Children

A content analysis of voice-based apps on the market for early literacy development
By Ying Xu, Mark Warschauer
IDC '20: Interaction Design and Children

Designing an online sex education resource for gender-diverse youth
By Calvin A. Liang, Katie Albertson, Florence Williams, David Inwards-Breland, Sean A. Munson, Julie A. Kientz, Kym Ahrens
IDC '20: Interaction Design and Children

Can design documentaries disrupt design for disability?
By Seray B. Ibrahim, Asimina Vasalou, Michael Clarke
IDC '20: Interaction Design and Children

Improved bounds for the sunflower lemma
By Ryan Alweiss, Shachar Lovett, Kewen Wu, Jiapeng Zhang
52nd Annual ACM SIGACT Symposium on Theory of Computing (STOC '20)

Pareto-optimal energy sharing between battery-equipped renewable generators
By Vivek Deulkar, Jayakrishnan Nair
e-Energy '20: The Eleventh ACM International Conference on Future Energy Systems

Spying on the Floating Point Behavior of Existing, Unmodified Scientific Applications
By Peter Dinda, Alex Bernat, Conor Hetland
HPDC '20: The 29th International Symposium on High-Performance Parallel and Distributed Computing

What if Adversarial Samples were Digital Images?
By Benoit Bonnet, Teddy Furon, Patrick Bas
IH&MMSec '20: ACM Workshop on Information Hiding and Multimedia Security

Simulating Suboptimal Steganographic Embedding
By Christy Kin-Cleaves, Andrew D. Ker
IH&MMSec '20: ACM Workshop on Information Hiding and Multimedia Security

Steganography by Minimizing Statistical Detectability; The cases of JPEG and Color Images
By Remi Cogranne, Quentin Giboulot, Patrick Bas
IH&MMSec '20: ACM Workshop on Information Hiding and Multimedia Security

Communication Measures to Reduce Techno-Invasion and Techno-Overload: A Qualitative Study Uncovering Positive and Adverse Effects
By Katharina Pflugner, Lea Reis, Christian Maier, Tim Weitzel
SIGMIS-CPR '20: 2020 Computers and People Research Conference

ShapeSearch: A Flexible and Efficient System for Shape-based Exploration of Trendlines
By Tarique Siddiqui, Paul Luh, Zesheng Wang, Karrie Karahalios, Aditya Parameswaran
SIGMOD/PODS '20: International Conference on Management of Data

Pump Up the Volume: Processing Large Data on GPUs with Fast Interconnects
By Clemens Lutz, Sebastian Breb, Steffen Zeuch, Tilmann Rabl, Volker Markl
SIGMOD/PODS '20: International Conference on Management of Data

From folklore to fact: comparing implementations of stacks and continuations
By Kavon Farvardin, John Reppy
41st ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI '20)

Fast graph simplification for interleaved Dyck-reachability
By Yuanbo Li, Qirun Zhang, Thomas Reps
41st ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI '20)

From folklore to fact: comparing implementations of stacks and continuations Authors: Kavon Farvardin, John Reppy
By Kavon Farvardin, John Reppy
41st ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI '20)

Validating SMT solvers via semantic fusion
By Dominik Winterer, Chengyu Zhang, Zhendong Su
41st ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI '20)

Armada: low-effort verification of high-performance concurrent programs
By Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao
41st ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI '20)

Data-driven inference of representation invariants
By Anders Miltner, Saswat Padhi, Todd Millstein, David Walker
41st ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI '20)

SonicPrint: a generally adoptable and secure fingerprint biometrics in smart devices
By Aditya Singh Rathore, Weijin Zhu, Afee Daiyan, Chenhan Xu, Kun Wang, Feng Lin, Kui Ren, Wenyao Xu
MobiSys '20: The 18th Annual International Conference on Mobile Systems, Applications, and Services

A Framework for Adversarially Robust Streaming Algorithms
By Omri Ben-Eliezer, Rajesh Jayaram, David P. Woodruff, Eylon Yogev
SIGMOD/PODS '20: International Conference on Management of Data

Precise Virtual Time Advancement for Network Emulation
By Vignesh Babu, David Nicol
SIGSIM-PADS '20: SIGSIM Principles of Advanced Discrete Simulation

PC-MCU: point cloud multipoint control unit for multi-user holoconferencing systems
By Gianluca Cernigliaro, Marc Martos, Mario Montagud, Amir Ansari, Sergi Fernandez
MMSys '20: 11th ACM Multimedia Systems Conference

A pipeline for multiparty volumetric video conferencing: transmission of point clouds over low latency DASH
By Jack Jansen, Shishir Subramanyam, Romain Bouqueau, Gianluca Cernigliaro, Marc Martos Cabre, Fernando Perez, Pablo Cesar
MMSys '20: 11th ACM Multimedia Systems Conference

QuRate: power-efficient mobile immersive video streaming
By Nan Jiang, Yao Liu, Tian Guo, Wenyao Xu, Viswanathan Swaminathan, Lisong Xu, Sheng Wei
MMSys '20: 11th ACM Multimedia Systems Conference

QuRate: power-efficient mobile immersive video streaming
By Nan Jiang, Yao Liu, Tian Guo, Wenyao Xu, Viswanathan Swaminathan, Lisong Xu, Sheng Wei
MMSys '20: 11th ACM Multimedia Systems Conference

Active Learning of Relationship-Based Access Control Policies
By Padmavathi Iyer, Amirreza Masoumzadeh
SACMAT '20: The 25th ACM Symposium on Access Control Models and Technologies (SACMAT)

HovercRaft: achieving scalability and fault-tolerance for microsecond-scale datacenter services
By Marios Kogias, Edouard Bugnion
EuroSys '20: Fifteenth EuroSys Conference 2020

Don't shoot down TLB shootdowns!
By Nadav Amit, Amy Tai, Michael Wei
EuroSys '20: Fifteenth EuroSys Conference 2020

Reflecting upon Perceptual Speed Tests in Information Retrieval: Limitations, Challenges, and Recommendations
By Olivia Foulds, Leif Azzopardi, Martin Halvey
CHIIR '20: Conference on Human Information Interaction and Retrieval

The Role of Cognitive Abilities and Time Spent on Texts and Videos in a Multimodal Searching as Learning Task
By Georg Pardi, Johannes von Hoyer, Peter Holtz, Yvonne Kammerer
CHIIR '20: Conference on Human Information Interaction and Retrieval

On-Road and Online Studies to Investigate Beliefs and Behaviors of Netherlands, US and Mexico Pedestrians Encountering Hidden-Driver Vehicles
By Jamy Li, Rebecca Currano, David Sirkin, David Goedicke, Hamish Tennent, Aaron Levine, Vanessa Evers, Wendy Ju
HRI '20: ACM/IEEE International Conference on Human-Robot Interaction

Taxonomy of Trust-Relevant Failures and Mitigation Strategies
By Suzanne Tolmeijer, Astrid Weiss, Marc Hanheide, Felix Lindner, Thomas M. Powers, Clare Dixon, Myrthe L. Tielman
HRI '20: ACM/IEEE International Conference on Human-Robot Interaction

A Three-Site Reproduction of the Joint Simon Effect with the NAO Robot
By Megan Strait, Florian Lier, Jasmin Bernotat, Sven Wachsmuth, Friederike Eyssel, Robert Goldstone, Selma Sabannovic
HRI '20: ACM/IEEE International Conference on Human-Robot Interaction

The Uncanny Valley Effect in Zoomorphic Robots: The U-Shaped Relation Between Animal Likeness and Likeability
By Diana Loffler, Judith Dorrenbacher, Marc Hassenzahl
HRI '20: ACM/IEEE International Conference on Human-Robot Interaction

Using the Geneva Emotion Wheel to Measure Perceived Affect in Human-Robot Interaction
By Adam K. Coyne, Andrew Murtagh, Conor McGinn
HRI '20: ACM/IEEE International Conference on Human-Robot Interaction

Intonation in Robot Speech: Does it Work the Same as with People?
By Ella Velner, Paul P.G. Boersma, Maartje M.A. de Graaf
HRI '20: ACM/IEEE International Conference on Human-Robot Interaction

Interacting with a Social Robot Affects Visual Perception of Space
By Carlo Mazzola, Alexander Mois Aroyo, Francesco Rea, Alessandra Sciutt
HRI '20: ACM/IEEE International Conference on Human-Robot Interaction

Design Patterns for an Interactive Storytelling Robot to Support Children's Engagement and Agency
By Mike E.U. Ligthart, Mark A. Neerincx, Koen V. Hindriks
HRI '20: ACM/IEEE International Conference on Human-Robot Interaction

Impact of Interaction Context on the Student Affect-Learning Relationship in Child-Robot Interaction
By Huili Chen, Hae Won Park, Xiajie Zhang, Cynthia Breazeal
HRI '20: ACM/IEEE International Conference on Human-Robot Interaction

When Humans Aren't Optimal: Robots that Collaborate with Risk-Aware Humans
By Minae Kwon, Erdem Biyik, Aditi Talati, Karan Bhasin, Dylan P. Losey, Dorsa Sadigh
HRI '20: ACM/IEEE International Conference on Human-Robot Interaction

LESS is More: Rethinking Probabilistic Models of Human Behavior
By Andreea Bobu, Dexter R. R. Scobee, Jaime F. Fisac, S. Shankar Sastry, Anca D. Dragan
HRI '20: ACM/IEEE International Conference on Human-Robot Interaction

Supporting Perception of Weight through Motion-induced Sensory Conflicts in Robot Teleoperation
By Pragathi Praveena, Daniel Rakita, Bilge Mutlu, Michael Gleicher
HRI '20: ACM/IEEE International Conference on Human-Robot Interaction

Not Some Random Agent: Multi-person Interaction with a Personalizing Service Robot
By Samantha Reig, Michal Luria, Janet Z. Wang, Danielle Oltman, Elizabeth Jeanne Carter, Aaron Steinfeld, Jodi Forlizzi, John Zimmerman
HRI '20: ACM/IEEE International Conference on Human-Robot Interaction

Comedians in Cafes Getting Data: Evaluating Timing and Adaptivity in Real-World Robot Comedy Performance
By John Vilk, Naomi T. Fitter
HRI '20: ACM/IEEE International Conference on Human-Robot Interaction

Challenging Sequential Bitstream Processing via Principled Bitwise Speculation
By Junqiao Qiu, Lin Jiang, Zhijia Zhao
ASPLOS '20: Architectural Support for Programming Languages and Operating Systems

Elastic Cuckoo Page Tables: Rethinking Virtual Memory Translation for Parallelism
By Dimitrios Skarlatos, Apostolos Kokolis, Tianyin Xu, Josep Torrellas
ASPLOS '20: Architectural Support for Programming Languages and Operating Systems

IOctopus: Outsmarting Nonuniform DMA
By Igor Smolyar, Alex Markuze, Boris Pismenny, Haggai Eran, Gerd Zellweger, Austin Bolen, Liran Liss, Adam Morrison, Dan Tsafrir
ASPLOS '20: Architectural Support for Programming Languages and Operating Systems

Orbital Edge Computing: Nanosatellite Constellations as a New Class of Computer System
By Bradley Denby, Brandon Lucia
ASPLOS '20: Architectural Support for Programming Languages and Operating Systems

Lightweight kernel isolation with virtualization and VM functions
By Vikram Narayanan, Yongzhe Huang, Gang Tan, Trent Jaeger, Anton Burtsev
VEE '20: 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments

Creating a Balanced Data Science Program
By Joel C. Adams
SIGCSE '20: The 51st ACM Technical Symposium on Computer Science Education

Teaching Autonomous Systems at 1/10th-scale: Design of the F1/10 Racecar, Simulators and Curriculum
By Abhijeet Agnihotri, Matthew O'Kelly, Rahul Mangharam, Houssam Abbas
SIGCSE '20: The 51st ACM Technical Symposium on Computer Science Education

Design Principles behind Beauty and Joy of Computing
By Paul Goldenberg, June Mark, Brian Harvey, Al Cuoco, Mary Fries
SIGCSE '20: The 51st ACM Technical Symposium on Computer Science Education

Reviewing CS1 Materials through a Collaborative Software Engineering Exercise: An Experience Report
By Jessica Young Schmidt
SIGCSE '20: The 51st ACM Technical Symposium on Computer Science Education

A Comparison of Two Pair Programming Configurations for Upper Elementary Students
By Jennifer Tsan, Jessica Vandenberg, Zarifa Zakaria, Joseph B. Wiggins, Alexander R. Webber, Amanda Bradbury, Collin Lynch, Eric Wiebe, Kristy Elizabeth Boyer
SIGCSE '20: The 51st ACM Technical Symposium on Computer Science Education

Applying NCWIT Protocol to Broaden Participation in Computing: A Case Study of CS@Mines
By Tracy Camp, Christine Liebe, Michelle Slattery
SIGCSE '20: The 51st ACM Technical Symposium on Computer Science Education

What Are Cybersecurity Education Papers About?: A Systematic Literature Review of SIGCSE and ITiCSE Conferences
By Valdemar Svabensky, Jan Vkyopal, Pavel Celeda
SIGCSE '20: The 51st ACM Technical Symposium on Computer Science Education

Dual-Modality Instruction and Learning: A Case Study in CS1
By Jeremiah Blanchard, Christina Gardner-McCune, Lisa Anthony
SIGCSE '20: The 51st ACM Technical Symposium on Computer Science Education

Competitive Enrollment Policies in Computing Departments Negatively Predict First-Year Students' Sense of Belonging, Self-Efficacy, and Perception of Department
By An Nguyen, Colleen M. Lewis
SIGCSE '20: The 51st ACM Technical Symposium on Computer Science Education

Buffer Placement and Sizing for High-Performance Dataflow Circuits
By Lana Josipovic, Shabnam Sheikhha, Andrea Guerrieri, Paolo Ienne, Jordi Cortadella
Conference FPGA '20: The 2020 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays

Testing static analyses for precision and soundness
By Jubi Taneja, Zhengyang Liu, John Regehr
18th ACM/IEEE International Symposium on Code Generation and Optimization (CGO '20)

Compiling first-order functions to session-typed parallel code
By David Castro-Perez, Nobuko Yoshida
29th International Conference on Compiler Construction

The Power of Pivoting for Exact Clique Counting
By Shweta Jain, C. Seshadhri
WSDM '20: The Thirteenth ACM International Conference on Web Search and Data Mining

Speculative Taint Tracking (STT): A Comprehensive Protection for Speculatively Accessed Data
By Jiyong Yu, Mengjia Yan, Artem Khyzha, Adam Morrison, Josep Torrellas, Christopher W. Fletcher
MICRO '52: The 52nd Annual IEEE/ACM International Symposium on Microarchitecture

Simba: Scaling Deep-Learning Inference with Multi-Chip-Module-Based Architecture
By Yakun Sophia Shao, Jason Clemons, Rangharajan Venkatesan, Brian Zimmer, Matthew Fojtik, Nan Jiang, Ben Keller, Alicia Klinefelter, Nathaniel Pinckney, Priyanka Raina, Stephen G. Tell, Yanqing Zhang, William J. Dally, Joel Emer, C. Thomas Gray, Brucek Khailany, Stephen W. Keckler
MICRO '52: The 52nd Annual IEEE/ACM International Symposium on Microarchitecture