-
“Mesh: Compacting Memory Management for C/C++ Applications” https://arxiv.org/abs/1902.04738 ,
#PLDI 2019 pic.twitter.com/6qIAzeesdY
-
All
#PLDI 2016 videos now posted! https://www.youtube.com/channel/UCHAXhSX6SnhYmgtGiYHfueg … -
Advice for grad students from experience in the trenches : tips and habits to help do good research; at PLMW
#pldi pic.twitter.com/W3enmMbeoH
-
So
#PLDI notifications are (the day before) Valentine's day#PCValentines Roses are red Violets are blue We all liked your paper (Except Reviewer 2) (Hat tip to@Simon_JF)Prikaži ovu nit -
Will be presenting a tutorial on the new version of the P language in
#PLDI 2019. Building reliable distributed systems and robotics systems ccompositionally. Looking to it with@pdeligia describing the usage of P# in Azure.https://twitter.com/pdeligia/status/1073409162283966464 … -
periodic reminder for folks serving as reviewers using double-blind submission to maybe turn off your Google Scholar notifications.
#pldi -
TIL: The Windows 7+ USB driver is written in a DSL that generates C code and is verified with model checking http://research.microsoft.com/apps/pubs/default.aspx?id=177118 …
#pldi -
It's about time to start writing that paper.
#PLDI pic.twitter.com/k2mMjBKjY3 – mjesto: UW: Paul G. Allen Center for Computer Science & Engineering
-
#PLDI '19 has posted the list of accepted papers https://pldi19.sigplan.org/track/pldi-2019-papers#event-overview … -
#PLDI submission pizza party at Purdue! Sponsored by@tiarkrompf
pic.twitter.com/2WSWBNE1M5 – mjesto: Lawson Computer Science Building (LWSN)
-
Our paper on "Composable, Sound Transformations of Nested Recursion and Loops" has been conditionally accepted to appear at PLDI 2019. Yay! The related tech report is already out there online. (https://docs.lib.purdue.edu/ecetr/493/ )
#PLDI#PurPLPride -
I have eaten the oreos that were in the office and which you were probably saving for later Forgive me they were delicious so sweet and so nomz
#PLDI -
Very interesting: “The Rust Compilation Model Calamity”, Brian Anderson (https://pingcap.com/blog/rust-compilation-model-calamity/ …). Via HN: https://news.ycombinator.com/item?id=22197082 …
#Rust#Compilers#PLDI#LLVM#Efficiency#Go#GoLang -
I sincerely hope
#PLDI will become a top-tier publication venue by joining PACMPL. -
Skipping
#PLDI for the first time in a while, but there's a cute reason why. Ateesh Peterson Chaudhuri, joint project with the amazing@TL_Peterson, arrived on June 13. Life is good (though full of billions of poopy diapers)! -
Apparently
@yotamfe thought the#pldi abstract for@RanjitJhala's paper is good enough to play three times in a row and it's now stuck in my head. It's brilliant, btw.https://www.youtube.com/watch?v=zm08WsaxOlk … -
Ryu: Fast Float-to-String Conversion https://gist.github.com/zacky1972/02f534e5342d4ee38c03c15a9a80f133 … やばい論文を見つけた。たとえるなら,世界中でありふれた野菜炒めで世界一だと認められたようなもの。一刻も早く全文を読みたい。
#PLDI -
Three papers (conditionally) accepted at
#PLDI! “LoCal: A Language for Programs Operating on Serialized Data,” with Laith Sakka and our great IU collaborators; “Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees” with Laith and@Kirshanthan ...Prikaži ovu nit -
The wait is over! Our paper on what-if and differential performance analyses has been conditionally accepted to appear at PLDI 2019!
#pldi Congrats Adarsh.! He is on the academic job market this year. Hire him!@adarsh_yoga -
#pldi EffectiveSan: Compiler tool to auto-insert dynamic (runtime) type & bounds checking into arbitrary C/C++ programs [combo low-fat pointers, type meta data & type/bounds check instrumentation; talk https://www.youtube.com/watch?v=PsiYUBeEnVg …; git https://github.com/GJDuck/EffectiveSan … ]https://www.comp.nus.edu.sg/~gregory/papers/pldi18types.pdf …pic.twitter.com/QeGuQjRJy3
Č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.