Explore >> Select a destination
|
You are here 
|
grigory.github.io | ||
| | | | |
bentnib.org
|
|
| | | | | ||
| | | | |
togelius.blogspot.com
|
|
| | | | | Computer science differs from most other academic fields in that conference papers are counted as real, citable publications. While journals... | |
| | | | |
windowsontheory.org
|
|
| | | | | Michael Mitzenmacher pointsto two posts ofSuresh Venkatasubramanian on the issue of so called "double blind reviews" (i.e., anonymous submissions) in theory conferences. In short, both Michael and Suresh think they are a good idea. I agree with much of their motivations, but, based on my experience in both non-blinded (e.g., STOC/FOCS) and blinded (e.g., CRYPTO) | |
| | | | |
popl18.sigplan.org
|
|
| | | POPL 2018 TutorialFest will be on Monday, 8 January 2018. This year POPL TutorialFest will consist of 8 tutorials (4 in the morning and 4 in the afternoon) of 3 hours each. Morning Session Message-Passing Concurrency and Substructural Logics. Slides - Live-coded examples - as a zip file. Frank Pfenning, Carnegie Mellon University. Code Obfuscation - a Hacking view on program analysis and understanding. Slides. Roberto Giacobazzi, University of Verona and IMDEA SW Institute. Equational reasoning for probabilistic programming. Handout. Chung-chieh Shan, Indiana University. Programming and ... | ||
