Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @mathur_umang
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @mathur_umang
-
Umang Mathur proslijedio/la je Tweet
@IllinoisCS 's grad student placement is AMAZING! The department placed 15 faculty members (may be more) in top universities in 2019, incl. MIT, CMU, Cornell, Georgia Tech, and my UCSD (go Triton!) 2020 will be another great year! We have SO MANY strong students on the market!pic.twitter.com/LDHGuAbpyK
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The paper is supposedly a pleasant read. In the words of one of the reviewers - "𝙏𝙝𝙞𝙨 𝙞𝙨 𝙖 𝙗𝙚𝙖𝙪𝙩𝙞𝙛𝙪𝙡𝙡𝙮-𝙬𝙧𝙞𝙩𝙩𝙚𝙣 𝙩𝙝𝙚𝙤𝙧𝙮 𝙥𝙖𝙥𝙚𝙧 𝙩𝙝𝙖𝙩 𝙝𝙖𝙨 𝙖 𝙧𝙚𝙖𝙡 𝙖𝙥𝙥𝙡𝙞𝙘𝙖𝙩𝙞𝙤𝙣 𝙖𝙨 𝙬𝙚𝙡𝙡." So folks out there, do give it a read ! (6/6)
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Flanagan et al proposed Velodrome (https://bit.ly/2KBHdt2 ), a graph-based quadratic time algorithm to dynamically check for violations of conflict serializability. In our paper, we resort to vector clocks to design a 𝗹𝗶𝗻𝗲𝗮𝗿 𝘁𝗶𝗺𝗲 algorithm for the same problem
(5/6)Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Checking conflict serializability then amounts to checking if an observed execution can be "reordered" so that these nominal atomic blocks can indeed be executed serially. (4/6)
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The idea is that programmers can 𝘢𝘴𝘴𝘶𝘮𝘦 that the runtime will execute these "atomic" blocks serially (without context switching when executing such a block). The runtime however is not forced to respect these annotations and can perform arbitrary context switching. (3/6)
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Conflict serializability is a widely adopted notion and is a means to specify an atomicity property in concurrent programs. Blocks of code can be marked "atomic". (2/6)
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
We came up with a scalable algorithm for checking conflict serializability dynamically and it has been selected to appear in ASPLOS'20
@ASPLOSConf ! Preprint: https://bit.ly/32VSQBq . Apparently, "theory"-ish papers do get into ASPLOS
(1/6)Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The kicker: we can now use this class to track other properties such as memory safety (still without invariants!) and apply our technique to verify (or detect violations of) memory safety on a suite of library routines.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
We identify characterizations of heaps for which aliasing relationships can be effectively tracked, giving us our desired decidability result for completely automatic verification.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The challenge this time was to model pointer updates on heaps. Incorporating updatable maps turned out to be surprisingly hard, and arises due to the aliasing problem --- "do variables x and y point to the same memory location?"
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
This work stems from our POPL2019 work (https://bit.ly/2OpkhOI ) where we identified classes of uninterpreted programs which admit decidability for completely automatic verification (without even any loop invariants!).
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Excited to announce that our work on decidable reasoning for memory safety is selected to appear at POPL2020
@poplconf ! Preprint: https://bit.ly/2r2vaOtPrikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Denied my first conference review request. Feels empowering
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Catch a glimpse of some of the exciting extensions of this work at
#MWPLS19 happening now@purdue_plhttps://twitter.com/mathur_umang/status/1084430404289998848 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Exciting work at UIUC on foundational results in program synthesis. Read more here: https://tinyurl.com/coherent-synthesis …https://twitter.com/purdue_pl/status/1176136873242238976 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Umang Mathur proslijedio/la je Tweet
Reflecting our continued commitment to supporting and building relationships with the academic community, we are excited to announce the 2019 class of Google PhD Fellows for North America, Europe, Asia, Australia and the Middle East!https://goo.gle/2kx3U7J
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Umang Mathur proslijedio/la je Tweet
So
@Medium has published documents describing the scientific fraud and abusive lab culture that allegedly lead Huixing Chen to take his own life. Trigger Warning: https://medium.com/@huixiangvoice/the-hidden-story-behind-the-suicide-phd-candidate-huixiang-chen-236cd39f79d3 … (1/n)Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Umang Mathur proslijedio/la je Tweet
Only a week until the June 15 deadline to apply for Rising Stars, the annual academic career workshop for women in EECS! http://go.illinois.edu/risingstars
#WomenInSTEM#WomenInScience#RisingStarsEECSpic.twitter.com/zFoW12Yl2T
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Excited about this news! Chuchu is an amazing researcher, amazing collaborator and an even amazing person!https://twitter.com/Mitrasayn/status/1133846940960079873 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.