ベスト会議論文

学術会議のベスト / 受賞論文を年別にまとめています。

5,817 件中 781 から 810 までを表示しています。

時間	会議	ベストペーパー
2023	EMNLP	Ignore This Title and HackAPrompt: Exposing Systemic Vulnerabilities of LLMs Through a Global Prompt Hacking Competition
2023	EMNLP	PaperMage: A Unified Toolkit for Processing, Representing, and Manipulating Visually-Rich Scientific Documents
2023	EMNLP	Personalized Dense Retrieval on Global Index for Voice-enabled Conversational Systems
2023	ETAPS	Automatic Alignment in Higher-Order Probabilistic Programming Languages
2023	ETAPS	AutoHyper: Explicit-State Model Checking for HyperLTL
2023	EuroSys	OFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel
2023	EuroSys	Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems
2023	EuroSys	Dissecting BFT Consensus: In Trusted Components we Trust!
2023	FOCS	Strong Bounds for 3-Progressions
2023	FOCS	The Subspace Flatness Conjecture and Faster Integer Programming
2023	FOGA	First Steps Towards a Runtime Analysis of Neuroevolution
2023	FORTE	Relating Reversible Petri Nets and Reversible Event Structures, categorically
2023	FoSSaCS	Unboundedness problems for machines with reversal-bounded counters
2023	FPGA	DONGLE: Direct FPGA-Orchestrated NVMe Storage for HLS
2023	FSE	Recommending Analogical APIs via Knowledge Graph Embedding
2023	FSE	TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts
2023	FSE	LExecutor: Learning-Guided Execution
2023	FSE	A Four-Year Study of Student Contributions to OSS vs. OSS4SG with a Lightweight Intervention
2023	FSE	Benchmarking Robustness of AI-Enabled Multi-sensor Fusion Systems: Challenges and Opportunities
2023	FSE	NeuRI: Diversifying DNN Generation via Inductive Rule Inference
2023	FSE	Can Machine Learning Pipelines Be Better Configured?
2023	FSE	An Automated Approach to Extracting Local Variables
2023	FSE	A Highly Scalable, Hybrid, Cross-Platform Timing Analysis Framework Providing Accurate Differential Throughput Estimation via Instruction-Level Tracing
2023	FSE	Mate! Are You Really Aware? An Explainability-Guided Testing Framework for Robustness of Malware Detectors
2023	FSE	Speeding up SMT Solving via Compiler Optimization
2023	FSE	Baldur: Whole-Proof Generation and Repair with Large Language Models
2023	GECCO	Multi-Objective Multi-Gene Genetic Programming for the Prediction of Leakage in Water Distribution Networks
2023	GECCO	Grammar-guided Linear Genetic Programming for Dynamic Job Shop Scheduling
2023	GECCO	First Improvement Hill Climber with Linkage Learning -- on Introducing Dark Gray-Box Optimization into Statistical Linkage Learning Genetic Algorithms
2023	GECCO	Using Affine Combinations of BBOB Problems for Performance Assessment