Mark Marron

Member of the RiSE group at Microsoft Research. Lead on Bosque Language ( New Mexico native. Opinions mine.

[BosqueLanguage @BosqueLanguage]

I'm excited to be presenting "Agile and Dependable Service Development with Bosque and Morphir" at the Open Source Summit + Embedded Linux Conference + OSPOCon 2021 https://t.co/6WNqOETTTB @linuxfoundation #ossummit

[Zhendong Su @zhendongsu]

Fantastic and high-impact work by @RiggerManuel! He will be on the academic job market this coming season. Hire him --- he's awesome!!!

[Gaurav Seth @gauravseth]

a great team to work for and @arvindmurching is a great leader.

[Microsoft Research @MSFTResearch]

Don't miss @mrkmarron's session on using the Bosque programming language to write ultra-dependable application code during the FINOS Mini-Summit at #OSSummit: https://t.co/l7inSAXACf

Get an in-depth introduction to the Bosque language in Mark's recent on-demand tutorial.👇

[Oege de Moor @oegerikus]

In GitHub OCTO, we run skunkworks projects to change the way software is built. Come join us! We have two open positions on my team. @githubOCTO (1/4)

[Gaurav Seth @gauravseth]

Come join the @MSEdgeDev and @EdgeDevTools team to help web developers achieve more via a great set of Developer Tools built in collaboration with several internal/external partners. We are looking for a PM Manager to lead the Edge DevTools team. More👇

https://t.co/spbl1bnp5b

[Charles Sutton @RandomlyWalking]

Pssst... Do you like automatic program repair? Empirical software engineering?... Here’s a fun shared challenge. Abstracts due JAN 19... Take a quick look at the data, I think you’ll like it!

[Stefan Marr @smarr]

Hi @csfacultyjobs, we have two positions to advertise:

https://t.co/u2BRzpbTx5

Thanks!

[Arunesh Chandra @AruneshC]

Browser Isolation helps you protect your enterprise network from browser based cyber attacks. Learn about how to use this free capability available in Edge.

[Arunesh Chandra @AruneshC]

Remote work has brought even higher emphasis on DLP technologies to keep data under corporate control. Learn about how doing DLP is better with @MicrosoftEdge #MSIgnite #MSIgnite2020

[Gaurav Seth @gauravseth]

Really looking forward to Edge on Linux https://t.co/WUdLo2D1Go

[Miltos Allamanis 🇪🇺 @miltos1]

Small bugs are a fact of a programmer's life. But do they have to be? We invite you to participate in the Mining Software Repositories Challenge and study these bugs. There are many interesting research questions: Where & why these bugs appear? How can we detect & repair them?

[MPLR @MPLR_Conf]

We're in the final reviewing phase. Notifications should go out as planned, end of today AoE.

We're also going to announce our keynotes soon. 🤓🥰

Watch this space!

[Juan Fumero @snatverk]

Do you have any ideas to share about VMs, optimizations, JIT Compilation, concurrency, tooling, memory management, etc. in the area of VMs and Language Implementations?

Share it! Less than a month for #VMIL20 submission deadline!

Full list of topics:
https://t.co/uM2Wf66382

[Stefan Marr @smarr]

We extended the #MPLR20 deadline by a week.

Some may say it’s unprofessional.
Others say it’s a tradition at MPLR.

I simply hope it helps, if needed.

[Jonathan Carter @LostInTangent]

😍 Like a virtual pair programming buddy, IntelliCode will have your back and detect ways to make your C# code better! Aside from catching bugs, I wonder if this could help make complicated find/replace operations a thing of the past? 🤔

[🇺🇦 Alex Polozov @Skiminok]

Live demo on "RAT-SQL: Relation-Aware Schema Encoding and Linking for Text-to-SQL Parsers" starts in 5 minutes at @Microsoft's virtual booth at #acl2020nlp.
Drop in for a demo, research chat, or any questions about @MSFTResearch!
Link: https://t.co/CWwLYHkzjK
Time: 11:20-12:00 PT

[Microsoft Research @MSFTResearch]

Researchers built the Bosque programming language to allow support for automated reasoning tools & create cloud-centric code. Discover how developers can easily transfer skills from other programming languages to learn Bosque in a webinar with @mrkmarron: https://t.co/N0ECTalAfT

[🇺🇦 Alex Polozov @Skiminok]

The code for RAT-SQL, our relation-aware NL→SQL model, is now public: https://t.co/FecByvq3ag.
Take a look and let us know if we missed any issues!

Happy semantic parsing 🙂

[The Honest Broker @RogerPielkeJr]

“quantitative accountability invites cheating, crowd-following, conformity, lapses in quality & subservience to sponsors whose funds make it possible to compete. Competition—for funding & results... rewards too few & takes a personal toll on too many” https://t.co/bM6h9xhRON