Wed 7 Nov 2018 19:55 - 19:57 at Georgian - Poster & SRC
The execution of an application written in a reactive language involves transfer of data and control flow between imperative and reactive abstractions at well-defined points. In a multi-threaded environment, multiple such interactions may execute concurrently, potentially causing data races and event ordering ambiguities. Existing RP languages either disable multi-threading or handle it at the cost of reducing expressiveness or weakening consistency. This paper proposes a model for thread-safe reactive programming (RP) that ensures abort-free strict serializability under concurrency while sacrificing neither expressiveness nor consistency. We also propose an architecture for integrating a corresponding scheduler into the RP language runtime, such that thread-safety is provided “out-of-the-box” to the applications.
We show the feasibility of our proposal by providing and evaluating a ready-to-use implementation integrated into the REScala programming language. The scheduling algorithm is formally proven correct. A thorough empirical evaluation shows that reactive applications build on top of it scale with multiple threads, while the scheduler incurs acceptable performance overhead in a single-threaded configuration. The scalability enabled by our scheduler is roughly on-par with that of hand-crafted application-specific locking and better than the scalability enabled by a scheduler using an off-the-shelf software transactional memory library.
Mon 5 Nov
17:30 - 17:31 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
17:31 - 17:33 Poster | Mark SantolucitoYale University, USA, Drew GoldmanRoslyn High School, Allyson WeseleyRoslyn High School, Ruzica PiskacYale University, USA Link to publication | |||||||||||||||||||||||||||||||||||||||||
17:33 - 17:34 Poster | Michael CoblenzCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Brad MyersCarnegie Mellon University, Joshua SunshineCarnegie Mellon University | |||||||||||||||||||||||||||||||||||||||||
17:34 - 17:36 Talk | Daniel A. A. PelsmaekerDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology Link to publication | |||||||||||||||||||||||||||||||||||||||||
17:36 - 17:38 Poster | Ankush DesaiUniversity of California, Berkeley, Amar PhanishayeeMicrosoft Research, Shaz QadeerMicrosoft Research, Sanjit SeshiaUC Berkeley Link to publication | |||||||||||||||||||||||||||||||||||||||||
17:38 - 17:39 Poster | Benoît RiesUniversity of Luxembourg, Alfredo CapozuccaUniversity of Luxembourg, Nicolas GuelfiUniversity of Luxembourg Link to publication | |||||||||||||||||||||||||||||||||||||||||
17:39 - 17:41 Poster | Saba AlimadadiNortheastern University, Di ZhongNortheastern University, USA, Magnus MadsenAarhus University, Frank TipNortheastern University Link to publication | |||||||||||||||||||||||||||||||||||||||||
17:41 - 17:43 Talk | Marija SelakovicTU Darmstadt, Germany, Michael PradelTU Darmstadt, Rezwana Karim NawrinSamsung Research America, Frank TipNortheastern University Link to publication | |||||||||||||||||||||||||||||||||||||||||
17:43 - 17:44 Poster | Chenglong WangUniversity of Washington, USA, Alvin CheungUniversity of Washington, Rastislav BodikUniversity of Washington Link to publication | |||||||||||||||||||||||||||||||||||||||||
17:44 - 17:46 Poster | ||||||||||||||||||||||||||||||||||||||||||
17:46 - 17:48 Poster | Jeff ChoUniversity of Alberta, Mark MrozUniversity of Ottawa, Julian DolbyIBM Research, Karim AliUniversity of Alberta Link to publication | |||||||||||||||||||||||||||||||||||||||||
17:48 - 17:49 Poster | Wilson MizutaniUniversity of São Paulo Link to publication | |||||||||||||||||||||||||||||||||||||||||
17:49 - 17:51 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
17:51 - 17:53 Poster | Megha BhushanChitkara University, Punjab, India, Shivani Goel, Arun NegiMinistry of Defence, Government of India, India, Piyush SamantThapar Institute of Engineering, Patiala, Punjab, India | |||||||||||||||||||||||||||||||||||||||||
17:53 - 17:54 Poster | Janwillem SwalensVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium Link to publication Pre-print | |||||||||||||||||||||||||||||||||||||||||
17:54 - 17:56 Poster | Michael NiekeTU Braunschweig, Germany, Christoph SeidlTechnische Universität Braunschweig, Jacopo MauroUniversity of Southern Denmark, Thomas ThümTU Braunschweig, Germany, Ingrid Chieh YuUniversity of Oslo, Felix FranzkeTU Braunschweig Link to publication | |||||||||||||||||||||||||||||||||||||||||
17:56 - 17:57 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
17:57 - 17:59 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
17:59 - 18:01 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:01 - 18:02 Talk | Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Michael J. SteindorferDelft University of Technology, Sebastian ErdwegTU Delft, Eelco VisserDelft University of Technology Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:02 - 18:04 Poster | Gowtham KakiPurdue University, Kapil EarankyPurdue University, KC SivaramakrishnanUniversity of Cambridge, Suresh JagannathanPurdue University Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:04 - 18:06 Poster | Junho LeeKorea University, Dowon SongKorea University, Sunbeom SoKorea University, Hakjoo OhKorea University Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:06 - 18:07 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:07 - 18:09 Poster | Juneyoung LeeSeoul National University, Chung-Kil HurSeoul National University, Ralf JungMPI-SWS, Zhengyang LiuUniversity of Utah, John RegehrUniversity of Utah, Nuno P. LopesMicrosoft Research Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:09 - 18:11 Poster | Adilla SusungiMINES ParisTech, France, Norman A. RinkTU Dresden, Germany, Albert CohenGoogle, Jeronimo CastrillonTU Dresden, Germany, Claude TadonkiMINES ParisTech, France Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:11 - 18:12 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:12 - 18:14 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:14 - 18:16 Poster | Anna-Katharina WickertTU Darmstadt Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:16 - 18:17 Poster | Larissa SoaresUniversidade Federal da Bahia, Jens MeinickeMagdeburg University, Sarah NadiUniversity of Alberta, Christian KästnerCarnegie Mellon University, Eduardo AlmeidaUniversidade Federal da Bahia Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:17 - 18:19 Poster | Yunming Zhang, Mengjiao YangMIT CSAIL, Riyadh BaghdadiMIT, Shoaib KamilAdobe, Julian ShunMIT, Saman AmarasingheMIT Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:19 - 18:20 Poster | Shigeyuki SatoKochi University of Technology | |||||||||||||||||||||||||||||||||||||||||
18:20 - 18:22 Poster | Christian Gram KalhaugeUniversity of California, Los Angeles, Jens PalsbergUniversity of California, Los Angeles Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:22 - 18:24 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:24 - 18:25 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:25 - 18:27 Poster | Benoit DalozeJKU Linz, Austria, Arie TalTechnion, Stefan MarrUniversity of Kent, Hanspeter MössenböckJKU Linz, Austria, Erez PetrankTechnion Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:27 - 18:29 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:29 - 18:30 Poster | Hendrik van AntwerpenTU Delft, Casper Bach PoulsenDelft University of Technology, Arjen RouvoetDelft University of Technology, Eelco VisserDelft University of Technology Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:30 - 18:32 Poster | ||||||||||||||||||||||||||||||||||||||||||
18:32 - 18:34 Poster | Joscha DrechslerTechnische Universität Darmstadt, Ragnar MogkTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt, Mira MeziniTU Darmstadt Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:34 - 18:35 Poster | Filip StrömbäckLinköping University Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:35 - 18:37 Poster | Ben Selwyn-Smith, Craig AnslowVictoria University of Wellington, Michael HomerVictoria University of Wellington | |||||||||||||||||||||||||||||||||||||||||
18:37 - 18:39 Poster | Jasper DenkersTU Delft, Louis van GoolOcé Technologies B.V., Eelco VisserDelft University of Technology Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:39 - 18:40 Poster | Erick OchoaUniversity of Alberta, Andrew CraikIBM Canada, Jose Nelson AmaralUniversity of Alberta, Karim AliUniversity of Alberta | |||||||||||||||||||||||||||||||||||||||||
18:40 - 18:42 Poster | Matthew DoComputer Science, University of British Columbia, Renato MascarenhasComputer Science, University of British Columbia, Finn HacketComputer Science, University of Waterloo, Brandon ZhangComputer Science, University of British Columbia, Yi Fan (Bob) YangFacebook, Adam GellerComputer Science, University of British Columbia, Ivan BeschastnikhComputer Science, University of British Columbia | |||||||||||||||||||||||||||||||||||||||||
18:42 - 18:43 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:43 - 18:45 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:45 - 18:47 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:47 - 18:48 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:48 - 18:50 Poster | Chu-Pan WongCarnegie Mellon University, Jens MeinickeMagdeburg University, Lukas Lazarek, Christian KästnerCarnegie Mellon University Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:50 - 18:52 Poster | Manuel MaarekHeriot-Watt University Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:52 - 18:53 Poster | Laurent ChristopheVUB, Coen De RooverVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:53 - 18:55 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:55 - 18:57 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:57 - 18:58 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:58 - 19:00 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:00 - 19:02 Poster | Yue LiAarhus University, Denmark, Tian TanAarhus University, Denmark, Anders MøllerAarhus University, Yannis SmaragdakisUniversity of Athens Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:02 - 19:03 Poster | Mathijs SaeyVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:03 - 19:05 Poster | Matan I. PeledTechnion—Israel Institute of Technology | |||||||||||||||||||||||||||||||||||||||||
19:05 - 19:06 Poster | Manuel LeducIRISA, University of Rennes 1, Thomas DegueuleCentrum Wiskunde & Informatica, Benoit CombemaleUniversity of Rennes 1 Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:06 - 19:08 Poster | Ragnar MogkTechnische Universität Darmstadt, Pascal WeisenburgerTechnische Universität Darmstadt, Julian HaasTechnische Universität Darmstadt, David RichterTechnische Universität Darmstadt Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:08 - 19:10 Poster | Kalev AlpernasTel Aviv University, Cormac FlanaganUniversity of California, Santa Cruz, Sadjad FouladiStanford University, Leonid RyzhykVMware Research, Mooly SagivTel Aviv University, Thomas Schmitz, Keith WinsteinStanford University Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:10 - 19:11 Poster | Jesse ZamanVrije Universiteit Brussel, Kennedy KambonaVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:11 - 19:13 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:13 - 19:15 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:15 - 19:16 Poster | Zhangxiaowen GongUniversity of Illinois at Urbana-Champaign, Zhi ChenUniversity of California, Irvine, Justin SzadayUniversity of Illinois at Urbana-Champaign, David WongIntel, Zehra SuraIBM Research, Neftali Watkinson, Saeed MalekiMicrosoft Research, David PaduaUniversity of Illinois at Urbana-Champaign, Alexander VeidenbaumUniversity of California, Irvine, Alexandru NicolauUniversity of California, Irvine, Josep TorrellasUniversity of Illinois at Urbana-Champaign Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:16 - 19:18 Poster | Haochen XieNagoya University | |||||||||||||||||||||||||||||||||||||||||
19:18 - 19:20 Poster | Girish Maskeri RamaInfosys Limited, Raghavan KomondoorIndian Institute of Science, Bangalore, Himanshu SharmaIndian Institute of Science, Bangalore Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:20 - 19:21 Poster | Jácome CunhaUniversity of Minho, Mihai DanOregon State University, Martin ErwigOregon State University, Danila FedorinOregon State University, Alex GrejucOregon State University Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:21 - 19:23 Poster | Johannes MeyTechnische Universität Dresden, René SchöneTechnische Universität Dresden, Görel Hedin, Emma SöderbergLund University, Thomas KühnTechnische Universität Dresden, Niklas ForsLund University, Jesper OqvistLund University, Uwe AßmannTU Dresden, Germany Link to publication Pre-print | |||||||||||||||||||||||||||||||||||||||||
19:23 - 19:25 Poster | ||||||||||||||||||||||||||||||||||||||||||
19:25 - 19:26 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:26 - 19:28 Talk | ||||||||||||||||||||||||||||||||||||||||||
19:28 - 19:30 Poster | Daco HarkesDelft University of Technology, Elmer van ChasteletDelft University of Technology, Eelco VisserDelft University of Technology Link to publication |
Wed 7 Nov
18:00 - 18:02 Poster | Chu-Pan WongCarnegie Mellon University, Jens MeinickeMagdeburg University, Lukas Lazarek, Christian KästnerCarnegie Mellon University Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:02 - 18:04 Poster | Erick OchoaUniversity of Alberta, Andrew CraikIBM Canada, Jose Nelson AmaralUniversity of Alberta, Karim AliUniversity of Alberta | |||||||||||||||||||||||||||||||||||||||||
18:04 - 18:06 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:06 - 18:08 Poster | Johannes MeyTechnische Universität Dresden, René SchöneTechnische Universität Dresden, Görel Hedin, Emma SöderbergLund University, Thomas KühnTechnische Universität Dresden, Niklas ForsLund University, Jesper OqvistLund University, Uwe AßmannTU Dresden, Germany Link to publication Pre-print | |||||||||||||||||||||||||||||||||||||||||
18:08 - 18:10 Poster | Manuel LeducIRISA, University of Rennes 1, Thomas DegueuleCentrum Wiskunde & Informatica, Benoit CombemaleUniversity of Rennes 1 Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:10 - 18:12 Poster | ||||||||||||||||||||||||||||||||||||||||||
18:12 - 18:14 Poster | Hendrik van AntwerpenTU Delft, Casper Bach PoulsenDelft University of Technology, Arjen RouvoetDelft University of Technology, Eelco VisserDelft University of Technology Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:14 - 18:16 Poster | Ankush DesaiUniversity of California, Berkeley, Amar PhanishayeeMicrosoft Research, Shaz QadeerMicrosoft Research, Sanjit SeshiaUC Berkeley Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:16 - 18:18 Poster | ||||||||||||||||||||||||||||||||||||||||||
18:18 - 18:20 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:20 - 18:22 Poster | ||||||||||||||||||||||||||||||||||||||||||
18:22 - 18:24 Poster | Chenglong WangUniversity of Washington, USA, Alvin CheungUniversity of Washington, Rastislav BodikUniversity of Washington Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:24 - 18:26 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:26 - 18:28 Poster | Larissa SoaresUniversidade Federal da Bahia, Jens MeinickeMagdeburg University, Sarah NadiUniversity of Alberta, Christian KästnerCarnegie Mellon University, Eduardo AlmeidaUniversidade Federal da Bahia Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:28 - 18:30 Poster | Michael CoblenzCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Brad MyersCarnegie Mellon University, Joshua SunshineCarnegie Mellon University | |||||||||||||||||||||||||||||||||||||||||
18:30 - 18:32 Talk | ||||||||||||||||||||||||||||||||||||||||||
18:32 - 18:34 Talk | Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Michael J. SteindorferDelft University of Technology, Sebastian ErdwegTU Delft, Eelco VisserDelft University of Technology Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:34 - 18:36 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:36 - 18:39 Poster | Jasper DenkersTU Delft, Louis van GoolOcé Technologies B.V., Eelco VisserDelft University of Technology Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:39 - 18:41 Poster | Juneyoung LeeSeoul National University, Chung-Kil HurSeoul National University, Ralf JungMPI-SWS, Zhengyang LiuUniversity of Utah, John RegehrUniversity of Utah, Nuno P. LopesMicrosoft Research Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:41 - 18:43 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:43 - 18:45 Poster | Janwillem SwalensVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium Link to publication Pre-print | |||||||||||||||||||||||||||||||||||||||||
18:45 - 18:47 Poster | Jeff ChoUniversity of Alberta, Mark MrozUniversity of Ottawa, Julian DolbyIBM Research, Karim AliUniversity of Alberta Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:47 - 18:49 Poster | Daco HarkesDelft University of Technology, Elmer van ChasteletDelft University of Technology, Eelco VisserDelft University of Technology Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:49 - 18:51 Poster | Ben Selwyn-Smith, Craig AnslowVictoria University of Wellington, Michael HomerVictoria University of Wellington | |||||||||||||||||||||||||||||||||||||||||
18:51 - 18:53 Poster | Megha BhushanChitkara University, Punjab, India, Shivani Goel, Arun NegiMinistry of Defence, Government of India, India, Piyush SamantThapar Institute of Engineering, Patiala, Punjab, India | |||||||||||||||||||||||||||||||||||||||||
18:53 - 18:55 Poster | Filip StrömbäckLinköping University Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:55 - 18:57 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:57 - 18:59 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
18:59 - 19:01 Poster | Christian Gram KalhaugeUniversity of California, Los Angeles, Jens PalsbergUniversity of California, Los Angeles Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:01 - 19:03 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:03 - 19:05 Poster | Gowtham KakiPurdue University, Kapil EarankyPurdue University, KC SivaramakrishnanUniversity of Cambridge, Suresh JagannathanPurdue University Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:05 - 19:07 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:07 - 19:09 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:09 - 19:11 Poster | Girish Maskeri RamaInfosys Limited, Raghavan KomondoorIndian Institute of Science, Bangalore, Himanshu SharmaIndian Institute of Science, Bangalore Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:11 - 19:13 Poster | Wilson MizutaniUniversity of São Paulo Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:13 - 19:16 Poster | Saba AlimadadiNortheastern University, Di ZhongNortheastern University, USA, Magnus MadsenAarhus University, Frank TipNortheastern University Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:16 - 19:18 Poster | Mark SantolucitoYale University, USA, Drew GoldmanRoslyn High School, Allyson WeseleyRoslyn High School, Ruzica PiskacYale University, USA Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:18 - 19:20 Poster | Benoit DalozeJKU Linz, Austria, Arie TalTechnion, Stefan MarrUniversity of Kent, Hanspeter MössenböckJKU Linz, Austria, Erez PetrankTechnion Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:20 - 19:22 Poster | Shigeyuki SatoKochi University of Technology | |||||||||||||||||||||||||||||||||||||||||
19:22 - 19:24 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:24 - 19:26 Poster | Benoît RiesUniversity of Luxembourg, Alfredo CapozuccaUniversity of Luxembourg, Nicolas GuelfiUniversity of Luxembourg Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:26 - 19:28 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:28 - 19:30 Poster | Michael NiekeTU Braunschweig, Germany, Christoph SeidlTechnische Universität Braunschweig, Jacopo MauroUniversity of Southern Denmark, Thomas ThümTU Braunschweig, Germany, Ingrid Chieh YuUniversity of Oslo, Felix FranzkeTU Braunschweig Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:30 - 19:32 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:32 - 19:34 Poster | Adilla SusungiMINES ParisTech, France, Norman A. RinkTU Dresden, Germany, Albert CohenGoogle, Jeronimo CastrillonTU Dresden, Germany, Claude TadonkiMINES ParisTech, France Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:34 - 19:36 Poster | Junho LeeKorea University, Dowon SongKorea University, Sunbeom SoKorea University, Hakjoo OhKorea University Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:36 - 19:38 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:38 - 19:40 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:40 - 19:42 Poster | Zhangxiaowen GongUniversity of Illinois at Urbana-Champaign, Zhi ChenUniversity of California, Irvine, Justin SzadayUniversity of Illinois at Urbana-Champaign, David WongIntel, Zehra SuraIBM Research, Neftali Watkinson, Saeed MalekiMicrosoft Research, David PaduaUniversity of Illinois at Urbana-Champaign, Alexander VeidenbaumUniversity of California, Irvine, Alexandru NicolauUniversity of California, Irvine, Josep TorrellasUniversity of Illinois at Urbana-Champaign Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:42 - 19:44 Poster | Matan I. PeledTechnion—Israel Institute of Technology | |||||||||||||||||||||||||||||||||||||||||
19:44 - 19:46 Talk | Marija SelakovicTU Darmstadt, Germany, Michael PradelTU Darmstadt, Rezwana Karim NawrinSamsung Research America, Frank TipNortheastern University Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:46 - 19:48 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:48 - 19:50 Poster | Jesse ZamanVrije Universiteit Brussel, Kennedy KambonaVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:50 - 19:53 Poster | Jácome CunhaUniversity of Minho, Mihai DanOregon State University, Martin ErwigOregon State University, Danila FedorinOregon State University, Alex GrejucOregon State University Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:53 - 19:55 Poster | Mathijs SaeyVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:55 - 19:57 Poster | Joscha DrechslerTechnische Universität Darmstadt, Ragnar MogkTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt, Mira MeziniTU Darmstadt Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:57 - 19:59 Poster | Anna-Katharina WickertTU Darmstadt Link to publication | |||||||||||||||||||||||||||||||||||||||||
19:59 - 20:01 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
20:01 - 20:03 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
20:03 - 20:05 Poster | Manuel MaarekHeriot-Watt University Link to publication | |||||||||||||||||||||||||||||||||||||||||
20:05 - 20:07 Poster | Kalev AlpernasTel Aviv University, Cormac FlanaganUniversity of California, Santa Cruz, Sadjad FouladiStanford University, Leonid RyzhykVMware Research, Mooly SagivTel Aviv University, Thomas Schmitz, Keith WinsteinStanford University Link to publication | |||||||||||||||||||||||||||||||||||||||||
20:07 - 20:09 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
20:09 - 20:11 Poster | Matthew DoComputer Science, University of British Columbia, Renato MascarenhasComputer Science, University of British Columbia, Finn HacketComputer Science, University of Waterloo, Brandon ZhangComputer Science, University of British Columbia, Yi Fan (Bob) YangFacebook, Adam GellerComputer Science, University of British Columbia, Ivan BeschastnikhComputer Science, University of British Columbia | |||||||||||||||||||||||||||||||||||||||||
20:11 - 20:13 Poster | Ragnar MogkTechnische Universität Darmstadt, Pascal WeisenburgerTechnische Universität Darmstadt, Julian HaasTechnische Universität Darmstadt, David RichterTechnische Universität Darmstadt Link to publication | |||||||||||||||||||||||||||||||||||||||||
20:13 - 20:15 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
20:15 - 20:17 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
20:17 - 20:19 Poster | Haochen XieNagoya University | |||||||||||||||||||||||||||||||||||||||||
20:19 - 20:21 Poster | Yunming Zhang, Mengjiao YangMIT CSAIL, Riyadh BaghdadiMIT, Shoaib KamilAdobe, Julian ShunMIT, Saman AmarasingheMIT Link to publication | |||||||||||||||||||||||||||||||||||||||||
20:21 - 20:23 Poster | Yue LiAarhus University, Denmark, Tian TanAarhus University, Denmark, Anders MøllerAarhus University, Yannis SmaragdakisUniversity of Athens Link to publication | |||||||||||||||||||||||||||||||||||||||||
20:23 - 20:25 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
20:25 - 20:27 Talk | Daniel A. A. PelsmaekerDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology Link to publication | |||||||||||||||||||||||||||||||||||||||||
20:27 - 20:30 Poster | Laurent ChristopheVUB, Coen De RooverVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel Link to publication |