Posts tagged with "science"
- Typed Functional Programming and Software Correctness
- Wadler on Invented Programming Languages
- In the Meantime in Radiology
- Stop the Numbers Game
- Academic Rejection Letter
- Writing Tests and LLVM-interpreting Hundreds of Programs
- On the PC of the JPF Workshop 2016
- Conference Decision Chart
- A Comparative Analysis of Pandas vs. Academics
- Analyzing Debian with KLEE
- When a Draft Says Hello to a PhD Student
- Making Sure Artifact Reviewing Stays Anonymous
- Welcome to the Pirate Bay of Science
- Serving on the Program Committee of WMA 2016
- PhD comics: Possible Reasons
- How Winning Leads to Cheating
- On the Artifact Evaluation Committee for PLDI 2016!
- Two Papers Accepted for Publication in One Day
- JPF-Doop is dead, long live JDoop!
- Accessing Research Publications Off-campus
- Research work done so far
- Video: The War on Science
- Necessity of packaging research artifacts for reuse
- Back from ISSTA and CAV 2015
- Experience with Artifact Evaluation
- Research Paper Artifact Evaluation
- Doing Research Without Doing Research
- The Exploitative Economics of Academic Publishing
- The Dominance of English in Science
- Paper writing: RefTeX to the rescue!
- Once Upon A Time In The West
- Science and Economy
- Market-driven Academic Research
- Internship in NASA!
- Handcuffed Research
- Free Software on the final frontier: GNU Radio controls the ISEE-3 Spacecraft