MPI-SWS Ph.D. student Arpan Gujarati has been selected to attend the 2nd annual Heidelberg Laureate Forum in September 2014. An international committee of experts seletecd Arpan for one of only 100 spots reserved for young computer scientists from around the world. In addition to participating in the forum, he will be one…
MPI-SWS faculty member Rupak Majumdar has been selected as the winner of this year's POPL (Principles of Programming Languages) Most Influential Paper Award. The ACM SIGPLAN Most Influential POPL Paper Award is a retrospective award—it is given each year to the paper deemed most influential from the POPL conference 10…
MPI-SWS faculty member Björn Brandenburg and PhD student Alexander Wieder have won the 2013 SIES (IEEE Symposium on Industrial Embedded Systems) Best Paper Award for their paper "Efficient Partitioning of Sporadic Real-Time Tasks with Shared Resources and Spin Locks".
MPI-SWS faculty member Björn Brandenburg and PhD students Arpan Gujarati and Felipe Cerqueira have won a 2013 ECRTS Outstanding Paper Award for their paper "Schedulability Analysis of the Linux Push and Pull Scheduler with Arbitrary Processor Affinities."Originally published at:
A research project proposed by MPI-SWS faculty member Derek Dreyer has been selected for a 2013 Microsoft Research PhD Scholarship. The project is entitled "Compositional Verification of Scalable Joins by Protocol-Based Refinement". Each year Microsoft selects approximately twenty projects to fund, based on proposals from research institutions across Europe, Africa,…
