K∗ and Partial Order Reduction for Top-quality Planning
- 2023
- SoCS 2023
Publications
Date
Featured collections
Popular topics
7703 results for AI
On K* Search for Top-k Planning
- Junkyu Lee
- Michael Katz
- et al.
- 2023
- SoCS 2023
Enhancing REST API Testing with NLP Techniques
- Myeongsoo Kim
- Davide Corradini
- et al.
- 2023
- ISSTA 2023
CONCORD: Clone-Aware Contrastive Learning for Source Code
- Yangruibo Ding
- Saikat Chakraborty
- et al.
- 2023
- ISSTA 2023
HeLayers: A Tile Tensors Framework for Large Neural Networks on Encrypted Data
- Ehud Aharoni
- Allon Adir
- et al.
- 2023
- PETS 2023
Privacy-Preserving Redaction of Diagnosis Data through Source Code Analysis
- Lixi Zhou
- Lei Yu
- et al.
- 2023
- SSDBM 2023
Towards Carbon Footprint Management in Hybrid Multicloud
- Rohan Arora
- Umamaheswari Devi
- et al.
- 2023
- HotCarbon 2023
Code Vulnerability Detection via Signal-Aware Learning
- Sahil Suneja
- Yufan Zhuang
- et al.
- 2023
- EuroS&P 2023
DetAIL: A Tool to Automatically Detect and Analyze Drift In Language
- Nishtha Madaan
- Adithya Manjunatha
- et al.
- 2023
- IAAI 2023
Towards Hybrid Automation by Bootstrapping Conversational Interfaces for IT Operation Tasks
- Jayachandu Bandlamudi
- Kushal Mukherjee
- et al.
- 2023
- IAAI 2023