Mon 5 Nov 2018 18:12 - 18:14 at Terrace - Poster
Wed 7 Nov 2018 18:57 - 18:59 at Georgian - Poster & SRC

The REPL (Read-eval-print loop) is an invaluable tool used by many programmers to great satisfaction. It shines best for programming in the small, but when programming in the large, developers rarely use it, with systems languages such as Go and Rust not even offering a REPL.

We have identified three reasons for why the REPL doesn’t currently suit programming in the large:

  • “Bandwidth”: For each expression evaluated in the REPL, it only produces its final result. The size of REPL’s output bears no resemblance to the size of input program.
  • “Liveness”: When the input program changes, the REPL’s results still reflect its previous states, requiring the programmer to remember when each result was computed, increasing the mental burden and potentially causing confusion. IDEs that solve this with live-reloading risk executing incomplete effectful programs, which may have undesirable, and in some cases even dangerous side-effects.
  • “Availability”: The programmer cannot use incomplete modules in the REPL (modules containing syntax errors, type errors, etc), but these are usually the states when the REPL’s feedback would be most valuable.

Lamdu is a live-programming projectional IDE with a statically typed purely functional programming language, which we are developing. We describe how it embodies these solutions to the problems listed above:

  • Bandwidth is improved with value annotations under all evaluated sub-expressions, both in the REPL line and in the used functions themselves.
  • Liveness is achieved by using a distinction between pure computations and effectful code, and using live-reloading only for the computations, while requiring an explicit user action to execute effectful code.
  • Availabilty is enabled by localizing type errors and by using projectional editing. Instead of the user freely editing text which the compiler then has to interpret, the code always has a valid structure, even when it is incomplete. While traditionally projectional editors had unintuitive user interfaces with steep learning curves, Lamdu’s interface is designed to retain the intuitive interface of text editing according to the WYTIWIS principle: What You Type Is What You See.

Mon 5 Nov

splash-2018-Posters
17:30 - 19:30: Posters - Poster at Terrace
splash-2018-Posters17:30 - 17:31
Poster
Link to publication
splash-2018-Posters17:31 - 17:33
Poster
Mark SantolucitoYale University, USA, Drew GoldmanRoslyn High School, Allyson WeseleyRoslyn High School, Ruzica PiskacYale University, USA
Link to publication
splash-2018-Posters17:33 - 17:34
Poster
Michael CoblenzCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Brad MyersCarnegie Mellon University, Joshua SunshineCarnegie Mellon University
splash-2018-Posters17:34 - 17:36
Talk
Daniel PelsmaekerDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology
Link to publication
splash-2018-Posters17:36 - 17:38
Poster
Ankush DesaiUniversity of California, Berkeley, Amar PhanishayeeMicrosoft Research, Shaz QadeerMicrosoft Research, Sanjit SeshiaUC Berkeley
Link to publication
splash-2018-Posters17:38 - 17:39
Poster
Benoît RiesUniversity of Luxembourg, Alfredo CapozuccaUniversity of Luxembourg, Nicolas GuelfiUniversity of Luxembourg
Link to publication
splash-2018-Posters17:39 - 17:41
Poster
Saba AlimadadiNortheastern University, Di ZhongNortheastern University, USA, Magnus MadsenAarhus University, Frank TipNortheastern University
Link to publication
splash-2018-Posters17:41 - 17:43
Talk
Marija SelakovicTU Darmstadt, Germany, Michael PradelTU Darmstadt, Rezwana Karim NawrinSamsung Research America, Frank TipNortheastern University
Link to publication
splash-2018-Posters17:43 - 17:44
Poster
Chenglong WangUniversity of Washington, USA, Alvin CheungUniversity of Washington, Rastislav BodikUniversity of Washington
Link to publication
splash-2018-Posters17:44 - 17:46
Poster
Revan MacQueenUniversity of Alberta, Julian DolbyIBM Research, Karim AliUniversity of Alberta
splash-2018-Posters17:46 - 17:48
Poster
Jeff ChoUniversity of Alberta, Mark MrozUniversity of Ottawa, Julian DolbyIBM Research, Karim AliUniversity of Alberta
Link to publication
splash-2018-Posters17:48 - 17:49
Poster
Wilson MizutaniUniversity of São Paulo
Link to publication
splash-2018-Posters17:49 - 17:51
Poster
Anna ZengStanford University, Will CrichtonStanford University
Link to publication
splash-2018-Posters17: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
splash-2018-Posters17:53 - 17:54
Poster
Janwillem SwalensVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium
Link to publication Pre-print
splash-2018-Posters17: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
splash-2018-Posters17:56 - 17:57
Poster
Link to publication
splash-2018-Posters17:57 - 17:59
Poster
Minseok JeonKorea University, South Korea, Sehun JeongKorea University, Hakjoo OhKorea University
Link to publication
splash-2018-Posters17:59 - 18:01
Poster
Yipeng HuangPrinceton University, Margaret Martonosi
Link to publication
splash-2018-Posters18: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
splash-2018-Posters18:02 - 18:04
Poster
Gowtham KakiPurdue University, Kapil EarankyPurdue University, KC SivaramakrishnanUniversity of Cambridge, Suresh JagannathanPurdue University
Link to publication
splash-2018-Posters18:04 - 18:06
Poster
Junho LeeKorea University, Dowon SongKorea University, Sunbeom SoKorea University, Hakjoo OhKorea University
Link to publication
splash-2018-Posters18:06 - 18:07
Poster
Xin ZhaoKTH Royal Institute of Technology, Philipp HallerKTH, Sweden
Link to publication
splash-2018-Posters18: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
splash-2018-Posters18: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
splash-2018-Posters18:11 - 18:12
Poster
Link to publication
splash-2018-Posters18:12 - 18:14
Poster
Link to publication
splash-2018-Posters18:14 - 18:16
Poster
Link to publication
splash-2018-Posters18: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
splash-2018-Posters18:17 - 18:19
Poster
Link to publication
splash-2018-Posters18:19 - 18:20
Poster
Shigeyuki SatoKochi University of Technology
splash-2018-Posters18:20 - 18:22
Poster
Christian Gram KalhaugeUniversity of California, Los Angeles, Jens PalsbergUniversity of California, Los Angeles
Link to publication
splash-2018-Posters18:22 - 18:24
Poster
Fengmin Zhu, Fei HeTsinghua University
Link to publication
splash-2018-Posters18:24 - 18:25
Poster
Pavol BielikETH Zürich, Marc FischerETH Zurich, Martin VechevETH Zürich
Link to publication
splash-2018-Posters18: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
splash-2018-Posters18:27 - 18:29
Poster
Yin LiuVirginia Tech, Kijin AnVirginia Tech, Eli TilevichVirginia Tech
Link to publication
splash-2018-Posters18: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
splash-2018-Posters18:30 - 18:32
Poster
Tomoki NakamaruThe University of Tokyo, Shigeru ChibaThe University of Tokyo
splash-2018-Posters18:32 - 18:34
Poster
Joscha DrechslerTechnische Universität Darmstadt, Ragnar MogkTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt, Mira MeziniTU Darmstadt
Link to publication
splash-2018-Posters18:34 - 18:35
Poster
Filip StrömbäckLinköping University
Link to publication
splash-2018-Posters18:35 - 18:37
Poster
Ben Selwyn-Smith, Craig AnslowVictoria University of Wellington, Michael HomerVictoria University of Wellington
splash-2018-Posters18:37 - 18:39
Poster
Jasper DenkersTU Delft, Louis van GoolOcé Technologies B.V., Eelco VisserDelft University of Technology
Link to publication
splash-2018-Posters18:39 - 18:40
Poster
Erick OchoaUniversity of Alberta, Andrew CraikIBM Canada, Jose Nelson AmaralUniversity of Alberta, Karim AliUniversity of Alberta
splash-2018-Posters18: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
splash-2018-Posters18:42 - 18:43
Poster
Peizhao OuUniversity of California, Irvine, Brian DemskyUniversity of California, Irvine
Link to publication
splash-2018-Posters18:43 - 18:45
Poster
Jeff SmitsDelft University of Technology, Eelco VisserDelft University of Technology
Link to publication
splash-2018-Posters18:45 - 18:47
Poster
Juan FumeroThe University of Manchester, Christos KotselidisThe University of Manchester
Link to publication
splash-2018-Posters18:47 - 18:48
Poster
Nachshon CohenEPFL, Switzerland, David T. AksunEPFL, James LarusEPFL
Link to publication
splash-2018-Posters18:48 - 18:50
Poster
Chu-Pan WongCarnegie Mellon University, Jens MeinickeMagdeburg University, Lukas Lazarek, Christian KästnerCarnegie Mellon University
Link to publication
splash-2018-Posters18:50 - 18:52
Poster
Manuel MaarekHeriot-Watt University
Link to publication
splash-2018-Posters18:52 - 18:53
Poster
Laurent ChristopheVUB, Coen De RooverVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel
Link to publication
splash-2018-Posters18:53 - 18:55
Poster
Link to publication
splash-2018-Posters18:55 - 18:57
Poster
Link to publication
splash-2018-Posters18:57 - 18:58
Poster
Link to publication
splash-2018-Posters18:58 - 19:00
Poster
Nicolas StuckiEPFL, Switzerland, Aggelos BiboudisEPFL, Switzerland, Martin OderskyEPFL, Switzerland
Link to publication
splash-2018-Posters19:00 - 19:02
Poster
Yue LiAarhus University, Denmark, Tian TanAarhus University, Denmark, Anders MøllerAarhus University, Yannis SmaragdakisUniversity of Athens
Link to publication
splash-2018-Posters19:02 - 19:03
Poster
Mathijs SaeyVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
Link to publication
splash-2018-Posters19:03 - 19:05
Poster
Matan I. PeledTechnion—Israel Institute of Technology
splash-2018-Posters19:05 - 19:06
Poster
Manuel LeducIRISA, University of Rennes 1, Thomas DegueuleCentrum Wiskunde & Informatica, Benoit CombemaleUniversity of Rennes 1
Link to publication
splash-2018-Posters19: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
splash-2018-Posters19: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
splash-2018-Posters19:10 - 19:11
Poster
Jesse ZamanVrije Universiteit Brussel, Kennedy KambonaVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel
Link to publication
splash-2018-Posters19:11 - 19:13
Poster
Peixuan LiPenn State University, Danfeng ZhangPennsylvania State University
Link to publication
splash-2018-Posters19:13 - 19:15
Poster
Pascal WeisenburgerTechnische Universität Darmstadt, Mirko Köhler, Guido SalvaneschiTU Darmstadt
Link to publication
splash-2018-Posters19: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
splash-2018-Posters19:16 - 19:18
Poster
Haochen XieNagoya University
splash-2018-Posters19:18 - 19:20
Poster
Girish Maskeri RamaInfosys Limited, Raghavan KomondoorIndian Institute of Science, Bangalore, Himanshu SharmaIndian Institute of Science, Bangalore
Link to publication
splash-2018-Posters19: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
splash-2018-Posters19: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
splash-2018-Posters19:23 - 19:25
Poster
Jonathan BellGeorge Mason University, Luís PinaGeorge Mason University
splash-2018-Posters19:25 - 19:26
Poster
Michael PradelTU Darmstadt, Koushik SenUniversity of California, Berkeley
Link to publication
splash-2018-Posters19:26 - 19:28
Talk
Tomomasa Matsunaga, Shigeru ChibaThe University of Tokyo
splash-2018-Posters19: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

splash-2018-Posters
18:00 - 20:30: Posters - Poster & SRC at Georgian
splash-2018-Posters18:00 - 18:02
Poster
Chu-Pan WongCarnegie Mellon University, Jens MeinickeMagdeburg University, Lukas Lazarek, Christian KästnerCarnegie Mellon University
Link to publication
splash-2018-Posters18:02 - 18:04
Poster
Erick OchoaUniversity of Alberta, Andrew CraikIBM Canada, Jose Nelson AmaralUniversity of Alberta, Karim AliUniversity of Alberta
splash-2018-Posters18:04 - 18:06
Poster
Michael PradelTU Darmstadt, Koushik SenUniversity of California, Berkeley
Link to publication
splash-2018-Posters18: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
splash-2018-Posters18:08 - 18:10
Poster
Manuel LeducIRISA, University of Rennes 1, Thomas DegueuleCentrum Wiskunde & Informatica, Benoit CombemaleUniversity of Rennes 1
Link to publication
splash-2018-Posters18:10 - 18:12
Poster
Tomoki NakamaruThe University of Tokyo, Shigeru ChibaThe University of Tokyo
splash-2018-Posters18: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
splash-2018-Posters18:14 - 18:16
Poster
Ankush DesaiUniversity of California, Berkeley, Amar PhanishayeeMicrosoft Research, Shaz QadeerMicrosoft Research, Sanjit SeshiaUC Berkeley
Link to publication
splash-2018-Posters18:16 - 18:18
Poster
Revan MacQueenUniversity of Alberta, Julian DolbyIBM Research, Karim AliUniversity of Alberta
splash-2018-Posters18:18 - 18:20
Poster
Minseok JeonKorea University, South Korea, Sehun JeongKorea University, Hakjoo OhKorea University
Link to publication
splash-2018-Posters18:20 - 18:22
Poster
Jonathan BellGeorge Mason University, Luís PinaGeorge Mason University
splash-2018-Posters18:22 - 18:24
Poster
Chenglong WangUniversity of Washington, USA, Alvin CheungUniversity of Washington, Rastislav BodikUniversity of Washington
Link to publication
splash-2018-Posters18:24 - 18:26
Poster
Peizhao OuUniversity of California, Irvine, Brian DemskyUniversity of California, Irvine
Link to publication
splash-2018-Posters18: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
splash-2018-Posters18:28 - 18:30
Poster
Michael CoblenzCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Brad MyersCarnegie Mellon University, Joshua SunshineCarnegie Mellon University
splash-2018-Posters18:30 - 18:32
Talk
Tomomasa Matsunaga, Shigeru ChibaThe University of Tokyo
splash-2018-Posters18: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
splash-2018-Posters18:34 - 18:36
Poster
Jeff SmitsDelft University of Technology, Eelco VisserDelft University of Technology
Link to publication
splash-2018-Posters18:36 - 18:39
Poster
Jasper DenkersTU Delft, Louis van GoolOcé Technologies B.V., Eelco VisserDelft University of Technology
Link to publication
splash-2018-Posters18: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
splash-2018-Posters18:41 - 18:43
Poster
Anna ZengStanford University, Will CrichtonStanford University
Link to publication
splash-2018-Posters18:43 - 18:45
Poster
Janwillem SwalensVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium
Link to publication Pre-print
splash-2018-Posters18:45 - 18:47
Poster
Jeff ChoUniversity of Alberta, Mark MrozUniversity of Ottawa, Julian DolbyIBM Research, Karim AliUniversity of Alberta
Link to publication
splash-2018-Posters18:47 - 18:49
Poster
Daco HarkesDelft University of Technology, Elmer van ChasteletDelft University of Technology, Eelco VisserDelft University of Technology
Link to publication
splash-2018-Posters18:49 - 18:51
Poster
Ben Selwyn-Smith, Craig AnslowVictoria University of Wellington, Michael HomerVictoria University of Wellington
splash-2018-Posters18: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
splash-2018-Posters18:53 - 18:55
Poster
Filip StrömbäckLinköping University
Link to publication
splash-2018-Posters18:55 - 18:57
Poster
Link to publication
splash-2018-Posters18:57 - 18:59
Poster
Link to publication
splash-2018-Posters18:59 - 19:01
Poster
Christian Gram KalhaugeUniversity of California, Los Angeles, Jens PalsbergUniversity of California, Los Angeles
Link to publication
splash-2018-Posters19:01 - 19:03
Poster
Pascal WeisenburgerTechnische Universität Darmstadt, Mirko Köhler, Guido SalvaneschiTU Darmstadt
Link to publication
splash-2018-Posters19:03 - 19:05
Poster
Gowtham KakiPurdue University, Kapil EarankyPurdue University, KC SivaramakrishnanUniversity of Cambridge, Suresh JagannathanPurdue University
Link to publication
splash-2018-Posters19:05 - 19:07
Poster
Link to publication
splash-2018-Posters19:07 - 19:09
Poster
Link to publication
splash-2018-Posters19:09 - 19:11
Poster
Girish Maskeri RamaInfosys Limited, Raghavan KomondoorIndian Institute of Science, Bangalore, Himanshu SharmaIndian Institute of Science, Bangalore
Link to publication
splash-2018-Posters19:11 - 19:13
Poster
Wilson MizutaniUniversity of São Paulo
Link to publication
splash-2018-Posters19:13 - 19:16
Poster
Saba AlimadadiNortheastern University, Di ZhongNortheastern University, USA, Magnus MadsenAarhus University, Frank TipNortheastern University
Link to publication
splash-2018-Posters19:16 - 19:18
Poster
Mark SantolucitoYale University, USA, Drew GoldmanRoslyn High School, Allyson WeseleyRoslyn High School, Ruzica PiskacYale University, USA
Link to publication
splash-2018-Posters19: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
splash-2018-Posters19:20 - 19:22
Poster
Shigeyuki SatoKochi University of Technology
splash-2018-Posters19:22 - 19:24
Poster
Nicolas StuckiEPFL, Switzerland, Aggelos BiboudisEPFL, Switzerland, Martin OderskyEPFL, Switzerland
Link to publication
splash-2018-Posters19:24 - 19:26
Poster
Benoît RiesUniversity of Luxembourg, Alfredo CapozuccaUniversity of Luxembourg, Nicolas GuelfiUniversity of Luxembourg
Link to publication
splash-2018-Posters19:26 - 19:28
Poster
Link to publication
splash-2018-Posters19: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
splash-2018-Posters19:30 - 19:32
Poster
Yin LiuVirginia Tech, Kijin AnVirginia Tech, Eli TilevichVirginia Tech
Link to publication
splash-2018-Posters19: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
splash-2018-Posters19:34 - 19:36
Poster
Junho LeeKorea University, Dowon SongKorea University, Sunbeom SoKorea University, Hakjoo OhKorea University
Link to publication
splash-2018-Posters19:36 - 19:38
Poster
Pavol BielikETH Zürich, Marc FischerETH Zurich, Martin VechevETH Zürich
Link to publication
splash-2018-Posters19:38 - 19:40
Poster
Peixuan LiPenn State University, Danfeng ZhangPennsylvania State University
Link to publication
splash-2018-Posters19: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
splash-2018-Posters19:42 - 19:44
Poster
Matan I. PeledTechnion—Israel Institute of Technology
splash-2018-Posters19:44 - 19:46
Talk
Marija SelakovicTU Darmstadt, Germany, Michael PradelTU Darmstadt, Rezwana Karim NawrinSamsung Research America, Frank TipNortheastern University
Link to publication
splash-2018-Posters19:46 - 19:48
Poster
Juan FumeroThe University of Manchester, Christos KotselidisThe University of Manchester
Link to publication
splash-2018-Posters19:48 - 19:50
Poster
Jesse ZamanVrije Universiteit Brussel, Kennedy KambonaVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel
Link to publication
splash-2018-Posters19: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
splash-2018-Posters19:53 - 19:55
Poster
Mathijs SaeyVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
Link to publication
splash-2018-Posters19:55 - 19:57
Poster
Joscha DrechslerTechnische Universität Darmstadt, Ragnar MogkTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt, Mira MeziniTU Darmstadt
Link to publication
splash-2018-Posters19:57 - 19:59
Poster
Link to publication
splash-2018-Posters19:59 - 20:01
Poster
Xin ZhaoKTH Royal Institute of Technology, Philipp HallerKTH, Sweden
Link to publication
splash-2018-Posters20:01 - 20:03
Poster
Fengmin Zhu, Fei HeTsinghua University
Link to publication
splash-2018-Posters20:03 - 20:05
Poster
Manuel MaarekHeriot-Watt University
Link to publication
splash-2018-Posters20: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
splash-2018-Posters20:07 - 20:09
Poster
Link to publication
splash-2018-Posters20: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
splash-2018-Posters20: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
splash-2018-Posters20:13 - 20:15
Poster
Link to publication
splash-2018-Posters20:15 - 20:17
Poster
Nachshon CohenEPFL, Switzerland, David T. AksunEPFL, James LarusEPFL
Link to publication
splash-2018-Posters20:17 - 20:19
Poster
Haochen XieNagoya University
splash-2018-Posters20:19 - 20:21
Poster
Link to publication
splash-2018-Posters20:21 - 20:23
Poster
Yue LiAarhus University, Denmark, Tian TanAarhus University, Denmark, Anders MøllerAarhus University, Yannis SmaragdakisUniversity of Athens
Link to publication
splash-2018-Posters20:23 - 20:25
Poster
Yipeng HuangPrinceton University, Margaret Martonosi
Link to publication
splash-2018-Posters20:25 - 20:27
Talk
Daniel PelsmaekerDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology
Link to publication
splash-2018-Posters20:27 - 20:30
Poster
Laurent ChristopheVUB, Coen De RooverVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel
Link to publication