PLDI 2021
42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2021)

Title Page

Welcome from the Chairs

PLDI 2021 Organization

Sponsors

Incremental Whole-Program Analysis in Datalog with Lattices
Tamás Szabó, Sebastian Erdweg, and Gábor Bergmann
(JGU Mainz, Germany; Workday, Germany; Budapest University of Technology and Economics, Hungary; IncQuery Labs, Hungary)

Publisher's Version Artifacts Reusable Artifacts Functional

Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8
Kyeongmin Cho, Sung-Hwan Lee, Azalea Raad, and Jeehoon Kang
(KAIST, South Korea; Seoul National University, South Korea; Imperial College London, UK)

Publisher's Version Artifacts Reusable Artifacts Functional

Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
Kia Rahmani, Kartik Nagar, Benjamin Delaware, and Suresh Jagannathan
(Purdue University, USA; IIT Madras, India)

Publisher's Version

Gleipnir: Toward Practical Error Analysis for Quantum Programs
Runzhou Tao, Yunong Shi, Jianan Yao, John Hui, Frederic T. Chong, and Ronghui Gu
(Columbia University, USA; University of Chicago, USA)

Publisher's Version Artifacts Functional

Alive2: Bounded Translation Validation for LLVM
Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, and John Regehr
(Microsoft Research, UK; Seoul National University, South Korea; University of Utah, USA)

Publisher's Version

Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic
Simon Spies, Lennard Gäher, Daniel Gratzer, Joseph Tassarotti, Robbert Krebbers, Derek Dreyer, and Lars Birkedal
(MPI-SWS, Germany; Saarland University, Germany; Aarhus University, Denmark; Boston College, USA; Radboud University Nijmegen, Netherlands)

Publisher's Version Artifacts Reusable Artifacts Functional

Perceus: Garbage Free Reference Counting with Reuse
Alex Reinking, Ningning Xie, Leonardo de Moura, and Daan Leijen
(Microsoft Research, USA; University of Hong Kong, China)

Publisher's Version

Proof Repair across Type Equivalences
Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, and Dan Grossman
(University of Washington, USA; Northeastern University, USA; Halfaya Research, USA)

Publisher's Version Artifacts Reusable Artifacts Functional

Compiler-Assisted Object Inlining with Value Fields
Rodrigo Bruno, Vojin Jovanovic, Christian Wimmer, and Gustavo Alonso
(Oracle Labs, Switzerland; Oracle Labs, USA; ETH Zurich, Switzerland)

Publisher's Version Artifacts Reusable Artifacts Functional

Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study
Xiaolei Ren, Michael Ho, Jiang Ming, Yu Lei, and Li Li
(University of Texas at Arlington, USA; Monash University, Australia)

Publisher's Version

RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, and Deepak Garg
(MPI-SWS, Germany; Radboud University Nijmegen, Netherlands; University of Cambridge, UK)

Publisher's Version Info Artifacts Reusable Artifacts Functional

Wire Sorts: A Language Abstraction for Safe Hardware Composition
Michael Christensen, Timothy Sherwood, Jonathan Balkind, and Ben Hardekopf
(University of California at Santa Barbara, USA)

Publisher's Version Artifacts Reusable Artifacts Functional

DeepCuts: A Deep Learning Optimization Framework for Versatile GPU Workloads
Wookeun Jung, Thanh Tuan Dao, and Jaejin Lee
(Seoul National University, South Korea)

Publisher's Version

Retrofitting Effect Handlers onto OCaml
KC Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, and Anil Madhavapeddy
(IIT Madras, India; OCaml Labs, UK; Jane Street, UK; Opsian, UK; University of Cambridge, UK)

Publisher's Version Artifacts Functional

Unqomp: Synthesizing Uncomputation in Quantum Circuits
Anouk Paradis, Benjamin Bichsel, Samuel Steffen, and Martin Vechev
(ETH Zurich, Switzerland)

Publisher's Version Artifacts Reusable Artifacts Functional

Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes
David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, and Nobuko Yoshida
(Imperial College London, UK; University of Kent, UK)

Publisher's Version Artifacts Reusable Artifacts Functional

Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation
Huaipan Jiang, Haibo Zhang, Xulong Tang, Vineetha Govindaraj, Jack Sampson, Mahmut Taylan Kandemir, and Danfeng Zhang
(Pennsylvania State University, USA; University of Pittsburgh, USA)

Publisher's Version

Developer and User-Transparent Compiler Optimization for Interactive Applications
Paschalis Mpeis, Pavlos Petoumenos, Kim Hazelwood, and Hugh Leather
(University of Edinburgh, UK; University of Manchester, UK; Facebook, USA)

Publisher's Version Info

Demanded Abstract Interpretation
Benno Stein, Bor-Yuh Evan Chang, and Manu Sridharan
(University of Colorado at Boulder, USA; Amazon, USA; University of California at Riverside, USA)

Publisher's Version Artifacts Reusable Artifacts Functional

Learning to Find Naming Issues with Big Code and Small Supervision
Jingxuan He, Cheng-Chun Lee, Veselin Raychev, and Martin Vechev
(ETH Zurich, Switzerland; EPFL, Switzerland; Snyk, Switzerland)

Publisher's Version

DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant
Michael H. Fischer, Giovanni Campagna, Euirim Choi, and Monica S. Lam
(Stanford University, USA)

Publisher's Version Video

Web Question Answering with Neurosymbolic Program Synthesis
Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, and Isil Dillig
(University of Texas at Austin, USA; University of Michigan, USA; University of Pennsylvania, USA)

Publisher's Version

RbSyn: Type- and Effect-Guided Program Synthesis
Sankha Narayan Guria, Jeffrey S. Foster, and David Van Horn
(University of Maryland, USA; Tufts University, USA)

Publisher's Version Artifacts Reusable Artifacts Functional

High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
Jay P. Lim and Santosh Nagarakatte
(Rutgers University, USA)

Publisher's Version Artifacts Reusable Artifacts Functional

Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption
Meghan Cowan, Deeksha Dangwal, Armin Alaghi, Caroline Trippel, Vincent T. Lee, and Brandon Reagen
(Facebook Reality Labs Research, USA; Stanford University, USA; New York University, USA)

Publisher's Version

Concolic Program Repair
Ridwan Shariffdeen, Yannic Noller, Lars Grunske, and Abhik Roychoudhury
(National University of Singapore, Singapore; Humboldt University of Berlin, Germany)

Publisher's Version Info Artifacts Reusable Artifacts Functional

Concise, Type-Safe, and Efficient Structural Diffing
Sebastian Erdweg, Tamás Szabó, and André Pacak
(JGU Mainz, Germany; Workday, Germany)

Publisher's Version Artifacts Reusable Artifacts Functional

CoStar: A Verified ALL(*) Parser
Sam Lasser, Chris Casinghino, Kathleen Fisher, and Cody Roux
(Tufts University, USA; Draper, USA)

Publisher's Version Artifacts Reusable Artifacts Functional

Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing
Guixin Ye, Zhanyong Tang, Shin Hwei Tan, Songfang Huang, Dingyi Fang, Xiaoyang Sun, Lizhong Bian, Haibo Wang, and Zheng Wang
(Northwest University, China; Southern University of Science and Technology, China; Alibaba DAMO Academy, China; University of Leeds, UK; Alipay, China)

Publisher's Version Artifacts Functional

Beyond the Elementary Representations of Program Invariants over Algebraic Data Types
Yurii Kostyukov, Dmitry Mordvinov, and Grigory Fedyukovich
(St. Petersburg State University, Russia; JetBrains Research, Russia; Florida State University, USA)

Publisher's Version Artifacts Functional

Fast and Precise Certification of Transformers
Gregory Bonaert, Dimitar I. Dimitrov, Maximilian Baader, and Martin Vechev
(ETH Zurich, Switzerland)

Publisher's Version Artifacts Functional

Trace-Based Control-Flow Analysis
Benoît Montagu and Thomas Jensen
(Inria, France)

Publisher's Version Artifacts Reusable Artifacts Functional

Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, and Avraham Shinnar
(Inria, France; PSL University, France; University of Massachusetts at Amherst, USA; IBM Research, USA)

Publisher's Version Artifacts Reusable Artifacts Functional

Filling Typed Holes with Live GUIs
Cyrus Omar, David Moon, Andrew Blinn, Ian Voysey, Nick Collins, and Ravi Chugh
(University of Michigan, USA; Carnegie Mellon University, USA; University of Chicago, USA)

Publisher's Version Artifacts Reusable Artifacts Functional

Concurrent Deferred Reference Counting with Constant-Time Overhead
Daniel Anderson, Guy E. Blelloch, and Yuanhao Wei
(Carnegie Mellon University, USA)

Publisher's Version Artifacts Reusable Artifacts Functional

Quantum Abstract Interpretation
Nengkun Yu and Jens Palsberg
(University of Technology Sydney, Australia; University of California at Los Angeles, USA)

Publisher's Version Artifacts Reusable Artifacts Functional

Central Moment Analysis for Cost Accumulators in Probabilistic Programs
Di Wang, Jan Hoffmann, and Thomas Reps
(Carnegie Mellon University, USA; University of Wisconsin, USA)

Publisher's Version Artifacts Reusable Artifacts Functional

Synthesizing Data Structure Refinements from Integrity Constraints
Shankara Pailoor, Yuepeng Wang, Xinyu Wang, and Isil Dillig
(University of Texas at Austin, USA; University of Pennsylvania, USA; University of Michigan, USA)

Publisher's Version

Provable Repair of Deep Neural Networks
Matthew Sotoudeh and Aditya V. Thakur
(University of California at Davis, USA)

Publisher's Version Artifacts Reusable Artifacts Functional

Integration Verification across Software and Hardware for a Simple Embedded System
Andres Erbsen, Samuel Gruetter, Joonwon Choi, Clark Wood, and Adam Chlipala
(Massachusetts Institute of Technology, USA)

Publisher's Version Info Artifacts Reusable Artifacts Functional

Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints
Caleb Stanford, Margus Veanes, and Nikolaj Bjørner
(University of Pennsylvania, USA; Microsoft, USA)

Publisher's Version Artifacts Functional

Abstraction for Conflict-Free Replicated Data Types
Hongjin Liang and Xinyu Feng
(Nanjing University, China)

Publisher's Version

Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions
Dongpeng Xu, Binbin Liu, Weijie Feng, Jiang Ming, Qilong Zheng, Jing Li, and Qiaoyan Yu
(University of New Hampshire, USA; University of Science and Technology of China, China; University of Texas at Arlington, USA)

Publisher's Version Artifacts Functional

Distance-in-Time versus Distance-in-Space
Mahmut Taylan Kandemir, Xulong Tang, Hui Zhao, Jihyun Ryoo, and Mustafa Karakoy
(Pennsylvania State University, USA; University of Pittsburgh, USA; University of North Texas, USA; TUBITAK-BILGEM, Turkey)

Publisher's Version

An Efficient Interpreter for Datalog by De-specializing Relations
Xiaowen Hu, David Zhao, Herbert Jordan, and Bernhard Scholz
(University of Sydney, Australia; Innsbruck University, Austria)

Publisher's Version Artifacts Reusable Artifacts Functional

Adaptive Restarts for Stochastic Synthesis
Jason R. Koenig, Oded Padon, and Alex Aiken
(Stanford University, USA; VMware Research, USA)

Publisher's Version Artifacts Reusable Artifacts Functional

Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations
John Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, and Deian Stefan
(University of California at San Diego, USA; Stanford University, USA)

Publisher's Version Artifacts Reusable Artifacts Functional

When Threads Meet Events: Efficient and Precise Static Race Detection with Origins
Bozhen Liu, Peiming Liu, Yanze Li, Chia-Che Tsai, Dilma Da Silva, and Jeff Huang
(Texas A&M University, USA)

Publisher's Version Artifacts Functional

Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs
Coşku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, and Elaine Shi
(Cornell University, USA)

Publisher's Version Artifacts Reusable Artifacts Functional

Reticle: A Virtual Machine for Programming Modern FPGAs
Luis Vega, Joseph McMahan, Adrian Sampson, Dan Grossman, and Luis Ceze
(University of Washington, USA; Cornell University, USA)

Publisher's Version Artifacts Reusable Artifacts Functional

Polynomial Reachability Witnesses via Stellensätze
Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, and Mohammad Mahdavi
(Sharif University of Technology, Iran; IST Austria, Austria; Shanghai Jiao Tong University, China; Hong Kong University of Science and Technology, China)

Publisher's Version

Sound Probabilistic Inference via Guide Types
Di Wang, Jan Hoffmann, and Thomas Reps
(Carnegie Mellon University, USA; University of Wisconsin, USA)

Publisher's Version Artifacts Reusable Artifacts Functional

SPPL: Probabilistic Programming with Fast Exact Symbolic Inference
Feras A. Saad, Martin C. Rinard, and Vikash K. Mansinghka
(Massachusetts Institute of Technology, USA)

Publisher's Version Info Artifacts Reusable Artifacts Functional

Reverse Engineering for Reduction Parallelization via Semiring Polynomials
Akimasa Morihata and Shigeyuki Sato
(University of Tokyo, Japan)

Publisher's Version Artifacts Reusable Artifacts Functional

DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning
Kevin Ellis, Catherine Wong, Maxwell Nye, Mathias Sablé-Meyer, Lucas Morales, Luke Hewitt, Luc Cary, Armando Solar-Lezama, and Joshua B. Tenenbaum
(Cornell University, USA; Massachusetts Institute of Technology, USA; PSL University, France; Collège de France, France; NeuroSpin, France)

Publisher's Version Artifacts Reusable Artifacts Functional

Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems
Milijana Surbatovich, Limin Jia, and Brandon Lucia
(Carnegie Mellon University, USA)

Publisher's Version

Modular Data-Race-Freedom Guarantees in the Promising Semantics
Minki Cho, Sung-Hwan Lee, Chung-Kil Hur, and Ori Lahav
(Seoul National University, South Korea; Tel Aviv University, Israel)

Publisher's Version Info Artifacts Functional

DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Operator Fusion
Wei Niu, Jiexiong Guan, Yanzhi Wang, Gagan Agrawal, and Bin Ren
(College of William & Mary, USA; Northeastern University, USA; Augusta University, USA)

Publisher's Version

SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis
Yoshiki Takashima, Ruben Martins, Limin Jia, and Corina S. Păsăreanu
(Carnegie Mellon University, USA; Carnegie Mellon Silicon Valley, USA; NASA Ames Research Center, USA)

Publisher's Version Artifacts Reusable Artifacts Functional

Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code
Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, and Guoqing Harry Xu
(Nanjing University, China; University of California at Los Angeles, USA)

Publisher's Version

Path-Sensitive Sparse Analysis without Path Conditions
Qingkai Shi, Peisen Yao, Rongxin Wu, and Charles Zhang
(Hong Kong University of Science and Technology, China; Xiamen University, China)

Publisher's Version Info

Cyclic Program Synthesis
Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, and Ilya Sergey
(Technion, Israel; University of California at San Diego, USA; Royal Holloway University of London, UK; Yale-NUS College, Singapore; National University of Singapore, Singapore)

Publisher's Version Artifacts Reusable Artifacts Functional

Hashing Modulo Alpha-Equivalence
Krzysztof Maziarz, Tom Ellis, Alan Lawrence, Andrew Fitzgibbon, and Simon Peyton Jones
(Microsoft Research, UK)

Publisher's Version

Phased Synthesis of Divide and Conquer Programs
Azadeh Farzan and Victor Nicolet
(University of Toronto, Canada)

Publisher's Version Artifacts Reusable Artifacts Functional

Snapshot-Free, Transparent, and Robust Memory Reclamation for Lock-Free Data Structures
Ruslan Nikolaev and Binoy Ravindran
(Virginia Tech, USA)

Publisher's Version Artifacts Reusable Artifacts Functional

Logical Bytecode Reduction
Christian Gram Kalhauge and Jens Palsberg
(University of California at Los Angeles, USA; DTU, Denmark)

Publisher's Version Artifacts Reusable Artifacts Functional

Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing
Alastair F. Donaldson, Paul Thomson, Vasyl Teliman, Stefano Milizia, André Perez Maselco, and Antoni Karpiński
(Imperial College London, UK; Google, UK; National Technical University of Ukraine, Ukraine; Federal University of ABC, Brazil; Warsaw University of Technology, Poland)

Publisher's Version Artifacts Reusable Artifacts Functional

Proving Non-termination by Program Reversal
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, and Đorđe Žikelić
(IST Austria, Austria; Ferdowsi University of Mashhad, Iran; Masaryk University, Czechia)

Publisher's Version Artifacts Reusable Artifacts Functional

Vectorized Secure Evaluation of Decision Forests
Raghav Malik, Vidush Singhal, Benjamin Gottfried, and Milind Kulkarni
(Purdue University, USA)

Publisher's Version Artifacts Functional

Task Parallel Assembly Language for Uncompromising Parallelism
Mike Rainey, Ryan R. Newton, Kyle Hale, Nikos Hardavellas, Simone Campanoni, Peter Dinda, and Umut A. Acar
(Carnegie Mellon University, USA; Facebook, USA; Illinois Institute of Technology, USA; Northwestern University, USA)

Publisher's Version Info Artifacts Functional

JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace
Zhiqiang Zuo, Kai Ji, Yifei Wang, Wei Tao, Linzhang Wang, Xuandong Li, and Guoqing Harry Xu
(Nanjing University, China; University of California at Los Angeles, USA)

Publisher's Version

CompCertO: Compiling Certified Open C Components
Jérémie Koenig and Zhong Shao
(Yale University, USA)

Publisher's Version Info Artifacts Reusable Artifacts Functional

Example-Guided Synthesis of Relational Queries
Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, and Mukund Raghothaman
(University of Pennsylvania, USA; University of Southern California, USA)

Publisher's Version Info Artifacts Reusable Artifacts Functional

Canary: Practical Static Detection of Inter-thread Value-Flow Bugs
Yuandao Cai, Peisen Yao, and Charles Zhang
(Hong Kong University of Science and Technology, China)

Publisher's Version

Robustness Certification with Generative Models
Matthew Mirman, Alexander Hägele, Pavol Bielik, Timon Gehr, and Martin Vechev
(ETH Zurich, Switzerland)

Publisher's Version Artifacts Functional

Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction
Gefei Zuo, Jiacheng Ma, Andrew Quinn, Pramod Bhatotia, Pedro Fonseca, and Baris Kasikci
(University of Michigan, USA; TU Munich, Germany; Purdue University, USA)

Publisher's Version

Quantitative Analysis of Assertion Violations in Probabilistic Programs
Jinyi Wang, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady
(Shanghai Jiao Tong University, China; Peking University, China; IST Austria, Austria; Hong Kong University of Science and Technology, China)

Publisher's Version Artifacts Reusable Artifacts Functional

IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs
Auguste Olivry, Guillaume Iooss, Nicolas Tollenaere, Atanas Rountev, P. Sadayappan, and Fabrice Rastello
(Université Grenoble Alpes, France; CNRS, France; Inria, France; Ohio State University, USA; University of Utah, USA)

Publisher's Version Artifacts Functional

Specification Synthesis with Constrained Horn Clauses
Sumanth Prabhu, Grigory Fedyukovich, Kumar Madhukar, and Deepak D'Souza
(TCS Research, India; Florida State University, USA; IISc Bangalore, India)

Publisher's Version Artifacts Reusable Artifacts Functional

Mirror: Making Lock-Free Data Structures Persistent
Michal Friedman, Erez Petrank, and Pedro Ramalhete
(Technion, Israel; Cisco Systems, Switzerland)

Publisher's Version Artifacts Functional

AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
Jie Zhao, Bojie Li, Wang Nie, Zhen Geng, Renwei Zhang, Xiong Gao, Bin Cheng, Chen Wu, Yun Cheng, Zheng Li, Peng Di, Kun Zhang, and Xuefeng Jin
(State Key Laboratory of Mathematical Engineering and Advanced Computing, China; Huawei Technologies, China; Huawei, China)

Publisher's Version Info

Frequent Background Polling on a Shared Thread, using Light-Weight Compiler Interrupts
Nilanjana Basu, Claudio Montanari, and Jakob Eriksson
(University of Illinois at Chicago, USA)

Publisher's Version Artifacts Reusable Artifacts Functional

Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification
Fei He, Zhihang Sun, and Hongyu Fan
(Tsinghua University, China)

Publisher's Version

Bliss: Auto-tuning Complex Applications using a Pool of Diverse Lightweight Learning Models
Rohan Basu Roy, Tirthak Patel, Vijay Gadepally, and Devesh Tiwari
(Northeastern University, USA; MIT Lincoln Laboratory, USA)

Publisher's Version

Termination Analysis without the Tears
Shaowei Zhu and Zachary Kincaid
(Princeton University, USA)

Publisher's Version Artifacts Reusable Artifacts Functional

On Probabilistic Termination of Functional Programs with Continuous Distributions
Raven Beutner and Luke Ong
(University of Oxford, UK; Saarland University, Germany)

Publisher's Version Artifacts Reusable Artifacts Functional

Practical Smart Contract Sharding with Ownership and Commutativity Analysis
George Pîrlea, Amrit Kumar, and Ilya Sergey
(National University of Singapore, Singapore; Zilliqa Research, UK; Yale-NUS College, Singapore)

Publisher's Version Artifacts Reusable Artifacts Functional