Conference paperHandling environments in a nested relational algebra with combinators and an implementation in a verified query compilerJoshua S. Auerbach, Martin Hirzel, et al.SIGMOD 2017
Conference paperCARGO: AI-Guided Dependency Analysis for Migrating Monolithic Applications to Microservices ArchitectureVikram Nitin, Shubhi Asthana, et al.ASE 2022
Conference paperThe raise of machine learning hyperparameter constraints in Python codeIngkarat Rak-Amnouykit, Ana Milanova, et al.ISSTA 2022
WorkshopGenAICHI 2023: Generative AI and HCI at CHI 2023Michael Muller, Lydia B. Chilton, et al.CHI 2023