Rezultati pretraživanja
  1. 16. velj 2019.

    “Mesh: Compacting Memory Management for C/C++ Applications” , 2019

  2. 28. lip 2016.
  3. 18. lip 2017.

    Advice for grad students from experience in the trenches : tips and habits to help do good research; at PLMW

  4. 1. velj 2018.

    So notifications are (the day before) Valentine's day Roses are red Violets are blue We all liked your paper (Except Reviewer 2) (Hat tip to )

    Prikaži ovu nit
  5. 13. pro 2018.

    Will be presenting a tutorial on the new version of the P language in 2019. Building reliable distributed systems and robotics systems ccompositionally. Looking to it with describing the usage of P# in Azure.

  6. 23. stu 2019.

    periodic reminder for folks serving as reviewers using double-blind submission to maybe turn off your Google Scholar notifications.

  7. 19. lip 2013.

    TIL: The Windows 7+ USB driver is written in a DSL that generates C code and is verified with model checking

  8. 14. stu 2016.

    It's about time to start writing that paper. – mjesto: UW: Paul G. Allen Center for Computer Science & Engineering

  9. 22. tra 2019.
  10. 16. stu 2018.

    submission pizza party at Purdue! Sponsored by 🍕 – mjesto: Lawson Computer Science Building (LWSN)

  11. 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. ()

  12. 22. stu 2019.

    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

  13. 31. sij
  14. 26. lip 2019.

    I sincerely hope will become a top-tier publication venue by joining PACMPL.

  15. 24. lip 2019.

    Skipping for the first time in a while, but there's a cute reason why. Ateesh Peterson Chaudhuri, joint project with the amazing , arrived on June 13. Life is good (though full of billions of poopy diapers)!

  16. 23. lip 2019.

    Apparently thought the abstract for 's paper is good enough to play three times in a row and it's now stuck in my head. It's brilliant, btw.

  17. 2. lip 2019.

    Ryu: Fast Float-to-String Conversion やばい論文を見つけた。たとえるなら,世界中でありふれた野菜炒めで世界一だと認められたようなもの。一刻も早く全文を読みたい。

  18. 16. velj 2019.

    Three papers (conditionally) accepted at ! “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 ...

    Prikaži ovu nit
  19. 15. velj 2019.

    The wait is over! Our paper on what-if and differential performance analyses has been conditionally accepted to appear at PLDI 2019! Congrats Adarsh.! He is on the academic job market this year. Hire him!

  20. 14. sij 2019.

    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 ; git ]

Č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.