-
DesignCon 20242024Ethernet speeds of 112Gbps/lane pose significant challenges for designing switch systems to meet increased throughput demands of today’s data centers with high traffic volumes from artificial intelligence (AI) servers. Due to increased PCB losses at such high frequencies, fly-over cables are being promoted for the longest length channels. Fly-over cables pose manufacturing reliability and mechanical challenges
-
TACAS 20242024Generating proofs of unsatisfiability is a valuable capability of most SAT solvers, and is an active area of research for SMT solvers. This paper introduces the first method to efficiently generate proofs of unsatisfiability specifically for an important subset of SMT: SAT Modulo Monotonic Theories (SMMT), which includes many useful finite-domain theories (e.g., bit vectors and many graph-theoretic properties
-
CIDR 20242024Debugging a performance issue in databases is notoriously hard. Wouldn’t it be convenient if there exists an oracle or a co-pilot for every database system which users can query in natural language (NL) — ‘what’s wrong?’, or even better— ‘How to fix it?’. Large Language Models (LLMs), like ChatGPT, seem to be a natural surrogate to this oracle given their ability to answer a wide range of questions by efficiently
-
MDPI Sensors Journal2023Multiple Gateways (GWs) provide network connectivity to Internet of Things (IoT) sensors in a Wide Area Network (WAN). The End Nodes (ENs) can connect to any GW by discovering and acquiring its periodic beacons. This provides GW diversity, improving coverage area. However, simultaneous periodic beacon transmissions among nearby GWs lead to interference and collisions. In this study, the impact of such intra-network
-
EuroSys 20232023Multi-task model training has been adopted to enable a single deep neural network model (often a large language model) to handle multiple tasks (e.g., question answering and text summarization). Multi-task training commonly receives input sequences of highly different lengths due to the diverse contexts of different tasks. Padding (to the same sequence length) or packing (short examples into long sequences
Related content
-
October 27, 2020Rungta had a promising career with NASA, but decided the stars aligned for her at Amazon.
-
September 17, 2020Amazon researchers describe new method for distributing database tables across servers.
-
August 11, 2020Traffic Jam leverages machine learning technologies from Amazon Web Services to find patterns in ads posted by sexual traffickers on the internet every day.
-
August 06, 2020Tools include optimizations for multicore, multiple-GPU, and distributed-training settings.
-
July 02, 2020Seeger and three coauthors are honored for paper that forged durable links between previously separate domains.
-
June 24, 2020Amazon scientists are on the cutting edge of using math-based logic to provide better network security, access management, and greater reliability.