FP^2: Fully in-Place Functional Programming (TR) - Microsoft Research
As functional programmers we always face a dilemma: should we write purely functional code, or sacrifice purity for efficiency and resort to in-place updates? This paper identifies precisely when we can have the best of both worlds: a wide class of purely functional programs can be executed safely using in-place updates without requiring allocation. We describe a linear _fully in-place_ (FIP) calc
Cadet Blizzard emerges as a novel and distinct Russian threat actor | Microsoft Security Blog
As Russia’s invasion of Ukraine continues into its second year and Microsoft continues to collaborate with global partners in response, the exposure of destructive cyber capabilities and information operations provide greater clarity into the tools and techniques used by Russian state-sponsored threat actors. Throughout the conflict, Russian threat actors have deployed a variety of destructive cap
Hive ransomware gets upgrades in Rust | Microsoft Security Blog
April 2023 update – Microsoft Threat Intelligence has shifted to a new threat actor naming taxonomy aligned around the theme of weather. DEV-0237 is now tracked as Pistachio Tempest. To learn about how the new taxonomy represents the origin, unique traits, and impact of threat actors, and to get a complete mapping of threat actor names, read this blog: Microsoft shifts to a new threat actor naming
EverParse: Hardening critical attack surfaces with formally proven message parsers - Microsoft Research
Software security exploits often begin with an attacker providing an unexpected input to a program, confusing the program and causing it to misbehave in a way that allows the attacker to gain access to a critical system, leading to crashes and service disruption, information disclosure, or even granting the attacker full control of the system. Most programs are designed to validate their inputs be
Enriching Excel with higher-order functional programming
Ever since it was released in the 1980s, Microsoft Excel has changed how people organize, analyze, and visualize their data, providing a basis for decision-making for the millions of people who use it each day. It’s also the world’s most widely used programming language. Excel formulas are written by an order of magnitude more users than all the C, C++, C#, Java, and Python programmers in the worl
Mimalloc: Free List Sharding in Action - Microsoft Research
Modern memory allocators have to balance many simultaneous demands, including performance, security, the presence of concurrency, and application-specific demands depending on the context of their use. One increasing use-case for allocators is as back-end implementations of languages, such as Swift and Python, that use reference counting to automatically deallocate objects. We present mimalloc, a
Sequent Calculus as a Compiler Intermediate Language
Sequent Calculus as a Compiler Intermediate Language Paul Downen Luke Maurer Zena M. Ariola University of Oregon, USA {pdownen,maurerl,ariola}@cs.uoregon.edu Simon Peyton Jones Microsoft Research Cambridge, UK simonpj@microsoft.com Abstract The λ-calculus is popular as an intermediate language for practical compilers. But in the world of logic it has a lesser-known twin, born at the same time, cal
Build Systems à la Carte
79 Build Systems à la Carte ANDREY MOKHOV, Newcastle University, United Kingdom NEIL MITCHELL, Digital Asset, United Kingdom SIMON PEYTON JONES, Microsoft Research, United Kingdom Build systems are awesome, terrifying ś and unloved. They are used by every developer around the world, but are rarely the object of study. In this paper we offer a systematic, and executable, framework for developing an
Functional Programming Languages and the Pursuit of Laziness with Dr. Simon Peyton Jones
Episode 7, January 10, 2018 Functional Programming Languages and the Pursuit of Laziness with Dr. Simon Peyton Jones (opens in new tab) When we look at a skyscraper or a suspension bridge, a simple search engine box on a screen looks tiny by comparison. But Dr. Simon Peyton Jones would like to remind us that computer programs, with hundreds of millions of lines of code, are actually among the larg
Photo Tourism: Microsoft Research, Interactive Visual Media Group
The key to scalable program synthesis is modular verification, which enables pruning inviable candidates for each component of the target program independently. In this talk I will present Synquid: a synthesizer that takes advantage of the modularity offered by refinement type checking to efficiently generate recursive functional programs that satisfy a given specification in the form of a refinem
GADTs Meet Their Match: Pattern-Matching Warnings That Account for GADTs, Guards, and Laziness
GADTs Meet Their Match: Pattern-Matching Warnings That Account for GADTs, Guards, and Laziness Georgios Karachalias Ghent University, Belgium georgios.karachalias@ugent.be Tom Schrijvers KU Leuven, Belgium tom.schrijvers@cs.kuleuven.be Dimitrios Vytiniotis Simon Peyton Jones Microsoft Research Cambridge, UK {dimitris,simonpj}@microsoft.com Abstract For ML and Haskell, accurate warnings when a func
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Lower Your Guards
Higher-order type-level programming in Haskell - Microsoft Research
Kinds are calling conventions
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/08/algeff-tr-2016-v2.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2017/06/undef-pldi17.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/11/trees-that-grow.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/11/levity-1.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/11/join-points.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/backpack-2016.pdf?from=https://research.microsoft.com/en-us/um/people/simonpj/papers/modules/backpack-2016.pdf&type=exact