Publications index

Below is an index of publications written by Microsoft researchers, often in collaboration with the academic community.

Showing 1 – 10 of 29630 results

Balance Reward and Safety Optimization for Safe Reinforcement Learning: A Perspective of Gradient Manipulation  

Shangding Gu, Hong Cheng, Hang Dong, Bo Qiao, Si Qin, , Qingwei Lin 林庆维

December 2024

Counter-Empirical Attacking based on Adversarial Reinforcement Learning for Time-Relevant Scoring System  

Xiangguo Sun, Hong Cheng, Hang Dong, Bo Qiao, Si Qin, Qingwei Lin 林庆维

TKDE’24 | November 2024

ProvCam: A Camera Module with Self-Contained TCB for Producing Verifiable Videos  

Yuxin (Myles) Liu, Zhihao Yao, Mingyi Chen, Ardalan Amiri Sani, Sharad Agarwal , Gene Tsudik

MobiCom | November 2024

CacheGen: Fast Context Loading for Language Model Applications via KV Cache Streaming  

Yuhan Liu, Hanchen Li, Yihua Cheng, Siddhant Ray, Yuyang Huang, Qizheng Zhang, Kuntai Du, Jiayi Yao, Shan Lu , Ganesh Ananthanarayanan , Michael Maire, Henry Hoffmann, Ari Holtzman, Junchen Jiang

SIGCOMM | August 2024

Closed-Form Bounds for DP-SGD against Record-level Inference  

Giovanni Cherubin , Boris Köpf , Andrew Paverd , Shruti Tople , Lukas Wutschitz , Santiago Zanella-Béguelin

USENIX Security Symposium | August 2024

m3: Accurate Flow-Level Performance Estimation using Machine Learning  

Chenning Li , Arash Nasr-Esfahany, Kevin Zhao , Kimia Noorbakhsh, Prateesh Goyal , Mohammad Alizadeh, Thomas Anderson

ACM SIGCOMM | August 2024

Efficient Policy-Rich Rate Enforcement with Phantom Queues  

Ammar Tahir, Prateesh Goyal , Ilias Marinos , Mike Evans, Radhika Mittal

DEX: Scalable Range Indexing on Disaggregated Memory  

Baotong Lu , Kaisong Huang, Chieh-Jan Mike Liang , Tianzheng Wang, Eric Lo

VLDB (International Conference on Very Large Data Bases) | August 2024

Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?  

Madeline Endres, Sarah Fakhoury , Saikat Chakraborty , Shuvendu Lahiri

The ACM International Conference on the Foundations of Software Engineering (FSE) | July 2024

https://2024.esec-fse.org/details/fse-2024-research-papers/51/Can-Large-Language-Models-Transform-Natural-Language-Intent-into-Formal-Method-Postco

X-lifecycle Learning for Cloud Incident Management using LLMs  

Drishti Goel, Fiza Husain, Aditya Singh, Supriyo GHOSH , A. Parayil , Chetan Bansal , Xuchao Zhang , Saravan Rajmohan

Foundations of Software Engineering (FSE) | July 2024

  • Follow on Twitter
  • Like on Facebook
  • Follow on LinkedIn
  • Subscribe on Youtube
  • Follow on Instagram
  • Subscribe to our RSS feed

Share this page:

  • Share on Twitter
  • Share on Facebook
  • Share on LinkedIn
  • Share on Reddit

IMAGES

  1. Microsoft Research

    microsoft research

  2. ISSTA 2021

    microsoft research

  3. Microsoft Chases General AI with New Research Group

    microsoft research

  4. Introducing Chemistry Add-in for Word

    microsoft research

  5. Microsoft Research India

    microsoft research

  6. Microsoft Research

    microsoft research

COMMENTS

  1. About Microsoft Research

    Microsoft Research is a research community that works across a network of regional labs and mission-oriented organizations. Learn more about our labs and missions.

  2. Research Careers

    Microsoft Research provides a dynamic environment for research careers with a network of world-class research labs led by globally-recognized research scientists and engineers. Our researchers and engineers pursue innovation in a range of scientific and technical disciplines, to help solve complex challenges in diverse fields, including ...

  3. AI and Microsoft Research

    AI and Microsoft Research. As a result of decades of work across the computing research community, AI is ubiquitous in the technologies that we use every day. Accelerating breakthroughs in large-scale AI are driving new waves of discovery and innovation. Overview. Learn more about Microsoft’s approach to AI.

  4. Microsoft Research Blog

    The Microsoft Research blog provides in-depth views and perspectives from our researchers, scientists and engineers, plus announcements about noteworthy events, scholarships, and fellowships designed for academic and scientific communities.

  5. Microsoft Research

    Microsoft Research (MSR) is the research subsidiary of Microsoft. It was created in 1991 by Richard Rashid, Bill Gates and Nathan Myhrvold with the intent to advance state-of-the-art computing and solve difficult world problems through technological innovation in collaboration with academic, government, and industry researchers.

  6. Microsoft Academic

    Microsoft Academic (opens in new tab) is a project exploring how to assist human conducting scientific research by leveraging machine’s cognitive power in memory, computation, sensing, attention, and endurance. The research questions include:

  7. Microsoft Research AI for Science

    AI for Science to empower the fifth paradigm of scientific discovery. “Over the coming decade, deep learning looks set to have a transformational impact on the natural sciences. The consequences are potentially far-reaching and could dramatically improve our ability to model and predict natural phenomena over widely varying scales of space ...

  8. Publications index

    Below is an index of publications written by Microsoft researchers, often in collaboration with the academic community.