Anil Madhavapeddy
- Retrofitting parallelism onto OCaml
2020/04/24 by KC Sivaramakrishnan, Stephen Dolan, Leo White +6 · 5 voices · 1 citation
Computer Science · #Logic, programming, and type systems #Cloud Computing and Resource Management #Parallel Computing and Optimization Techniques
- Package Managers à la Carte: A Formal Model of Dependency Resolution
2026/02/20 by Ryan Gibb, Patrick Ferris, David Allsopp +2 · 11 voices
#cs.PL #cs.SE
- Solving Package Management via Hypergraph Dependency Resolution
2025/06/12 by Ryan Gibb, Patrick Ferris, Gibb, Ryan +19 · 8 voices
Computer Science · #Advanced Software Engineering Methodologies #Software Engineering Research #Software System Performance and Reliability #cs.PL #cs.SE
- The potential for AI to revolutionize conservation: a horizon scan
2024/12/17 by S.A. Reynolds, Sara Beery, Neil D. Burgess +24 · 2 voices · 15 citations
Computer Science · Medicine · #Advanced Neural Network Applications #Artificial Intelligence in Healthcare and Education #Explainable Artificial Intelligence (XAI)
- TESSERA: Temporal Embeddings of Surface Spectra for Earth Representation and Analysis
2025/06/25 by Zhengpeng Feng, Feng, Zhengpeng, Clement Atzberger +29 · 4 voices · 8 citations
Computer Science · Earth and Planetary Sciences · #Geochemistry and Geologic Mapping #Geological Modeling and Analysis #Image Retrieval and Classification Techniques #cs.LG
- Personal Data: Thinking Inside the Box
2015/01/20 by Hamed Haddadi, Haddadi, Hamed, Heidi Howard +9 · 2 citations
Computer Science · #Computers and Society (cs.CY) #Context-Aware Activity Recognition Systems #Distributed systems and fault tolerance #FOS: Computer and information sciences #Opportunistic and Delay-Tolerant Networks
- Careful design of Large Language Model pipelines enables expert-level retrieval of evidence-based information from syntheses and databases
2025/05/15 by Radhika Iyer, Alec Philip Christie, Anil Madhavapeddy +3 · 1 voice · 3 citations
Social Sciences · Environmental Science · Computer Science · #Computational and Text Analysis Methods #Species Distribution and Climate Change #Topic Modeling
- Benchmarking Ultra-Low-Power μNPUs
2025/03/28 by Josh Millar, Yushan Huang, Millar, Josh +7 · 3 citations
Computer Science · Engineering · #Advanced Neural Network Applications #Advanced Memory and Neural Computing #Adversarial Robustness in Machine Learning
- Food impacts on species extinction risks can vary by three orders of magnitude
2025/09/09 by Thomas Ball, Michael Dales, Alison Eyres +4 · 2 voices · 1 citation
Environmental Science · Medicine · Social Sciences · #Agriculture Sustainability and Environmental Impact #Zoonotic diseases and public health #Environmental, Ecological, and Cultural Studies