Awards given to the departments staff and students

Research awards 2013

• IPSN 2013, Awards to WISENET paper and Demo
  • BEST PAPER RUNNER UP - SPOTS TRACK: SoNIC: Classifying Interference in 802.15.4 Sensor Networks, Frederik Hermans*, Olof Rensfelt*, Thiemo Voigt (SICS), Edith Ngai*, Lars-Åke Nordén*, Per Gunningberg*, *(Uppsala Universitet)
  • BEST DEMO: Skitracker - measuring skiing performance using a Body-Area Network, Tom Homewood (SICS), Christer Norström (SICS), Per Gunningberg (Uppsala Universitet)
    • See picture from demo at SICS here.
  • The International Conference on Information Processing in Sensor Networks (IPSN) is a leading, single-track, annual forum on research in wireless, embedded, and networked sensing systems.

• ETAPS'2013
  • EAPLS Best paper award at ETAPS'2013
    • The paper "Deriving Probability Density Functions from Probabilistic Functional Programs" by Sooraj Bhat, Johannes Borgström, Andrew D Gordon and Claudio Russo received the EAPLS Best paper award at ETAPS'2013. The paper applies techniques from programming languages to machine learning problems in ecology, and is part of the rapidly growing field of probabilistic programming for machine learning.
  • EASST Best paper award at ETAPS'2013
    • The paper "An Integrated Specification and Verification Technique for Highly Concurrent Data Structures" by Parosh Aziz Abdulla, Frederic Haziza, Lukas Holik, Bengt Jonsson, and Ahmed Rezine, received the EASST Best paper award at ETAPS'2013
    • This is the third time (which is also a record) that the algorithmic verification group has received a best paper award at ETAPS. The topic of the paper, verification of concurrent data structures, is a result of being exposed to new and relevant challenges in the areas of computer architecture and programming languages, e.g., through our work within UPMARC.
  • ETAPS (The European Joint Conferences on Theory and Practice of Software) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS is a confederation of six main annual conferences (CC, ESOP, FASE, FOSSACS, POST and TACAS), with a total number of more than 500 submissions each year, accompanied by satellite workshops and other events.
• Best paper award at DATE 2013
  • The paper FIFO Cache Analysis for WCET Estimation: A Quantitative Approach, Nan Guan, Xinping Yang and Wang Yi - Uppsala University, SE and Mingsong Lv - Northeastern University, CN received the Best paper award at DATE 2013.

Education awards 2013

• David Black-Schaffer has been awarded UTN's pedagogic award. He received the prize for his work integrating online and in-class education in the introduction to computer architecture course.

• Bengt Carlsson has received the award "ES-course 2011/2012 (Energisystemprogrammet) for the course Empirisk modellering with the motivation (January 2013) (In Swedish):

"Empirisk modellering är en väldigt omtyckt kurs med höga betyg på kursutvärderingarna år efter år. Kursen är välstrukturerad och kursansvarig Bengt Carlsson är en uppskattad föreläsare. Bengt är väldigt engagerad och hans pedagogiska insats lyfter omdömet ytterligare. I kursen ingår ett projekt vilket upplevs ge god förståelse för vad kunskaperna från kursen senare ska användas till.

Empirisk modellering är en väl genomtänkt kurs med hög relevans för programmet och den tilldelas därför priset för årets ES-kurs 2011/2012."

---

• Earlier Research Awards
• Earlier Education Awards