SPLASH 2019 (series) / Posters /
Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments
Mon 21 Oct
| 17:30 - 17:33 Poster | Daniel A. A. PelsmaekerDelft University of Technology, Netherlands, Hendrik van AntwerpenTU Delft, Eelco VisserDelft University of Technology | |||||||||||||||||||||||||||||||||||||||||
| 17:33 - 17:36 Poster | Alex VillazónUniversidad Privada Boliviana, Bolivia, Haiyang SunUniversità della Svizzera italiana, Andrea RosàUniversity of Lugano, Switzerland, Eduardo RosalesUniversity of Lugano, Switzerland, Daniele BonettaOracle Labs, Isabella DefilippisUniversidad Privada Boliviana (UPB), Sergio OportoUniversidad Privada Boliviana (UPB), Walter BinderUniversity of Lugano, Switzerland | |||||||||||||||||||||||||||||||||||||||||
| 17:36 - 17:39 Poster | Shigeyuki SatoThe University of Tokyo | |||||||||||||||||||||||||||||||||||||||||
| 17:39 - 17:42 Poster | Aleksandar ProkopecOracle Labs, Andrea RosàUniversity of Lugano, Switzerland, David LeopoldsederJohannes Kepler University Linz, Gilles DuboscqOracle Labs, Petr TumaCharles University, Martin StudenerJKU Linz, Austria, Lubomír BulejCharles University, Yudi ZhengOracle Labs, Alex VillazónUniversidad Privada Boliviana, Bolivia, Doug SimonOracle Labs, Thomas WuerthingerOracle Labs, Walter BinderUniversity of Lugano, Switzerland | |||||||||||||||||||||||||||||||||||||||||
| 17:42 - 17:45 Poster | Matúš SulírTechnical University of Košice Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 17:45 - 17:48 Poster | ||||||||||||||||||||||||||||||||||||||||||
| 17:48 - 17:52 Poster | Michael CoblenzCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Joshua SunshineCarnegie Mellon University, Brad MyersCarnegie Mellon University | |||||||||||||||||||||||||||||||||||||||||
| 17:52 - 17:55 Poster | Adam SeewaldUniversity of Southern Denmark, Ulrik SchultzUniversity of Southern Denmark, Julius RoedeUniversity of Amsterdam, Benjamin RouxelUniversity of Amsterdam, Clemens GrelckUniversity of Amsterdam | |||||||||||||||||||||||||||||||||||||||||
| 17:55 - 17:58 Poster | Nafise Eskandani MasouleTechnische Universität Darmstadt, Mirko KöhlerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt | |||||||||||||||||||||||||||||||||||||||||
| 17:58 - 18:01 Poster | Minseok JeonKorea University, South Korea, Sehun JeongKorea University, South Korea, Hakjoo OhKorea University | |||||||||||||||||||||||||||||||||||||||||
| 18:01 - 18:04 Poster | Seongjoon HongKorea University, Junhee LeeKorea University, South Korea, Jeongsoo LeeKorea University, Hakjoo OhKorea University | |||||||||||||||||||||||||||||||||||||||||
| 18:04 - 18:07 Poster | ||||||||||||||||||||||||||||||||||||||||||
| 18:07 - 18:11 Poster | Salim S. SalimUniversity of Manchester, Andy NisbetThe University of Manchester, Mikel LujánUniversity of Manchester | |||||||||||||||||||||||||||||||||||||||||
| 18:11 - 18:14 Poster | ||||||||||||||||||||||||||||||||||||||||||
| 18:14 - 18:17 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 18:17 - 18:20 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 18:20 - 18:23 Poster | Ikuta TanigawaKyusyu University, Harumi WatanabeTokai University, Nobuhiro OheTokai Univ., Mikiko SatoTokai University, Nobuhiko OguraTokyo City University, Takeshi Ohkawa Tokai Univ., Kenji HisazumiKyushu University, Akira FukudaKyushu University Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 18:23 - 18:26 Poster | Tetsuro YamazakiGraduate School of Information Science and Technology, The University of Tokyo, Tomoki NakamaruGraduate School of Information Science and Technology, The University of Tokyo, Shigeru ChibaGraduate School of Information Science and Technology, The University of Tokyo, Kazuhiro IchikawaGraduate School of Information Science and Technology, The University of Tokyo Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 18:26 - 18:30 Poster | Daniel SokolowskiTechnische Universität Darmstadt, Philipp MartensTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 18:30 - 18:33 Poster | Shengyi WangNational University of Singapore, Qinxiang CaoShanghai Jiao Tong University, Anshuman MohanNational University of Singapore, Aquinas HoborNational University of Singapore Link to publication DOI | |||||||||||||||||||||||||||||||||||||||||
| 18:33 - 18:36 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 18:36 - 18:39 Poster | Makoto SakaneJapan Women’s University, Yuka AkinobuJapan Women’s University, Taku TadaYokohama National University, Kimio KuramitsuJapan Women’s University | |||||||||||||||||||||||||||||||||||||||||
| 18:39 - 18:42 Poster | Artur AndrzejakHeidelberg University, Kevin Kiefer, Diego CostaHeidelberg University, Oliver WenzHeidelberg University Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 18:42 - 18:45 Poster | Ragnar MogkTechnische Universität Darmstadt, Joscha DrechslerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt, Mira MeziniTechnische Universität Darmstadt Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 18:45 - 18:48 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 18:48 - 18:52 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 18:52 - 18:55 Poster | Yu-Ping WangTsinghua University, China, Xu-Qiang HuTsinghua Univeraity, China, Zi-Xin ZouTsinghua Univeraity, China, Wende TanTsinghua University, China Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 18:55 - 18:58 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 18:58 - 19:01 Poster | Guido SalvaneschiTechnische Universität Darmstadt, Mirko KöhlerTechnische Universität Darmstadt, Daniel SokolowskiTechnische Universität Darmstadt, Philipp HallerKTH Royal Institute of Technology, Sebastian ErdwegJGU Mainz, Mira MeziniTechnische Universität Darmstadt Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 19:01 - 19:04 Poster | Jacob KreindlJohannes Kepler University Linz, Daniele BonettaOracle Labs, Hanspeter MössenböckJKU Linz, Austria Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 19:04 - 19:07 Poster | Raphael MosanerJohannes Kepler University Linz, David LeopoldsederJohannes Kepler University Linz, Manuel RiggerETH Zurich, Roland SchatzJohannes Kepler University Linz, Hanspeter MössenböckJKU Linz, Austria Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 19:07 - 19:11 Poster | Lucas KramerUniversity of Minnesota, Ted KaminskiUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 19:11 - 19:14 Poster | Muna AltherwiSouthampton University | |||||||||||||||||||||||||||||||||||||||||
| 19:14 - 19:17 Poster | Florian LatifiJohannes Kepler University Linz | |||||||||||||||||||||||||||||||||||||||||
| 19:17 - 19:20 Poster | Dominik AumayrJohannes Kepler University Linz, Austria | |||||||||||||||||||||||||||||||||||||||||
| 19:20 - 19:23 Poster | Samuel EstepLiberty University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile & Inria Paris, Johannes BaderFacebook | |||||||||||||||||||||||||||||||||||||||||
| 19:23 - 19:26 Poster | Maarten P. SijmDelft University of Technology | |||||||||||||||||||||||||||||||||||||||||
| 19:26 - 19:30 Poster | ||||||||||||||||||||||||||||||||||||||||||
Thu 24 Oct
| 17:30 - 17:32 Poster | Mohammadreza AshouriUniversity of Potsdam, Germany | |||||||||||||||||||||||||||||||||||||||||
| 17:32 - 17:35 Poster | Daniel A. A. PelsmaekerDelft University of Technology, Netherlands, Hendrik van AntwerpenTU Delft, Eelco VisserDelft University of Technology | |||||||||||||||||||||||||||||||||||||||||
| 17:35 - 17:38 Poster | Alex VillazónUniversidad Privada Boliviana, Bolivia, Haiyang SunUniversità della Svizzera italiana, Andrea RosàUniversity of Lugano, Switzerland, Eduardo RosalesUniversity of Lugano, Switzerland, Daniele BonettaOracle Labs, Isabella DefilippisUniversidad Privada Boliviana (UPB), Sergio OportoUniversidad Privada Boliviana (UPB), Walter BinderUniversity of Lugano, Switzerland | |||||||||||||||||||||||||||||||||||||||||
| 17:38 - 17:40 Poster | Shigeyuki SatoThe University of Tokyo | |||||||||||||||||||||||||||||||||||||||||
| 17:40 - 17:43 Poster | Aleksandar ProkopecOracle Labs, Andrea RosàUniversity of Lugano, Switzerland, David LeopoldsederJohannes Kepler University Linz, Gilles DuboscqOracle Labs, Petr TumaCharles University, Martin StudenerJKU Linz, Austria, Lubomír BulejCharles University, Yudi ZhengOracle Labs, Alex VillazónUniversidad Privada Boliviana, Bolivia, Doug SimonOracle Labs, Thomas WuerthingerOracle Labs, Walter BinderUniversity of Lugano, Switzerland | |||||||||||||||||||||||||||||||||||||||||
| 17:43 - 17:46 Poster | ||||||||||||||||||||||||||||||||||||||||||
| 17:46 - 17:49 Poster | Michael CoblenzCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Joshua SunshineCarnegie Mellon University, Brad MyersCarnegie Mellon University | |||||||||||||||||||||||||||||||||||||||||
| 17:49 - 17:51 Poster | Adam SeewaldUniversity of Southern Denmark, Ulrik SchultzUniversity of Southern Denmark, Julius RoedeUniversity of Amsterdam, Benjamin RouxelUniversity of Amsterdam, Clemens GrelckUniversity of Amsterdam | |||||||||||||||||||||||||||||||||||||||||
| 17:51 - 17:54 Poster | Nafise Eskandani MasouleTechnische Universität Darmstadt, Mirko KöhlerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt | |||||||||||||||||||||||||||||||||||||||||
| 17:54 - 17:57 Poster | Minseok JeonKorea University, South Korea, Sehun JeongKorea University, South Korea, Hakjoo OhKorea University | |||||||||||||||||||||||||||||||||||||||||
| 17:57 - 18:00 Poster | Seongjoon HongKorea University, Junhee LeeKorea University, South Korea, Jeongsoo LeeKorea University, Hakjoo OhKorea University | |||||||||||||||||||||||||||||||||||||||||
| 18:00 - 18:02 Poster | ||||||||||||||||||||||||||||||||||||||||||
| 18:02 - 18:05 Poster | Salim S. SalimUniversity of Manchester, Andy NisbetThe University of Manchester, Mikel LujánUniversity of Manchester | |||||||||||||||||||||||||||||||||||||||||
| 18:05 - 18:08 Poster | ||||||||||||||||||||||||||||||||||||||||||
| 18:08 - 18:10 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 18:10 - 18:13 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 18:13 - 18:16 Poster | Ikuta TanigawaKyusyu University, Harumi WatanabeTokai University, Nobuhiro OheTokai Univ., Mikiko SatoTokai University, Nobuhiko OguraTokyo City University, Takeshi Ohkawa Tokai Univ., Kenji HisazumiKyushu University, Akira FukudaKyushu University Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 18:16 - 18:19 Poster | Tetsuro YamazakiGraduate School of Information Science and Technology, The University of Tokyo, Tomoki NakamaruGraduate School of Information Science and Technology, The University of Tokyo, Shigeru ChibaGraduate School of Information Science and Technology, The University of Tokyo, Kazuhiro IchikawaGraduate School of Information Science and Technology, The University of Tokyo Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 18:19 - 18:21 Poster | Daniel SokolowskiTechnische Universität Darmstadt, Philipp MartensTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 18:21 - 18:24 Poster | Shengyi WangNational University of Singapore, Qinxiang CaoShanghai Jiao Tong University, Anshuman MohanNational University of Singapore, Aquinas HoborNational University of Singapore Link to publication DOI | |||||||||||||||||||||||||||||||||||||||||
| 18:24 - 18:27 Poster | Sifei LuanFacebook, Inc., Di YangUniversity of California, Irvine, Celeste BarnabyFacebook, Inc., Koushik SenUniversity of California, Berkeley, Satish ChandraFacebook Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 18:27 - 18:30 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 18:30 - 18:32 Poster | Ragnar MogkTechnische Universität Darmstadt, Joscha DrechslerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt, Mira MeziniTechnische Universität Darmstadt Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 18:32 - 18:35 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 18:35 - 18:38 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 18:38 - 18:40 Poster | Ivana VukoticSnT, University of Luxembourg, Vincent RahliUniversity of Birmingham, Paulo Esteves-VeríssimoSnT, University of Luxembourg Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 18:40 - 18:43 Poster | Yu-Ping WangTsinghua University, China, Xu-Qiang HuTsinghua Univeraity, China, Zi-Xin ZouTsinghua Univeraity, China, Wende TanTsinghua University, China Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 18:43 - 18:46 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 18:46 - 18:49 Poster | Igor KonnovInria Nancy - Grand Est, France, Jure KukovecTU Wien, Austria, Thanh-Hai TranTU Wien, Austria Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 18:49 - 18:51 Poster | Johannes BaderFacebook, Andrew ScottFacebook, Michael PradelUniversity of Stuttgart, Satish ChandraFacebook Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 18:51 - 18:54 Poster | Kaan GençOhio State University, Jake RoemerOhio State University, Yufan XuOhio State University, Michael BondOhio State University Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 18:54 - 18:57 Poster | Michalis KokologiannakisMPI-SWS, Germany, Azalea RaadMPI-SWS, Germany, Viktor VafeiadisMPI-SWS, Germany Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 18:57 - 19:00 Poster | Guido SalvaneschiTechnische Universität Darmstadt, Mirko KöhlerTechnische Universität Darmstadt, Daniel SokolowskiTechnische Universität Darmstadt, Philipp HallerKTH Royal Institute of Technology, Sebastian ErdwegJGU Mainz, Mira MeziniTechnische Universität Darmstadt Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 19:00 - 19:02 Poster | Milijana SurbatovichCarnegie Mellon University, Limin JiaCarnegie Mellon University, Brandon LuciaCarnegie Mellon University Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 19:02 - 19:05 Poster | Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 19:05 - 19:08 Poster | Benno SteinUniversity of Colorado Boulder, Benjamin Barslev NielsenAarhus University, Bor-Yuh Evan ChangUniversity of Colorado Boulder | Amazon, Anders MøllerAarhus University Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 19:08 - 19:10 Poster | Yi LiNew Jersey Institute of Technology, USA, Shaohua WangNew Jersey Institute of Technology, USA, Tien N. NguyenUniversity of Texas at Dallas, Son NguyenThe University of Texas at Dallas Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 19:10 - 19:13 Poster | Lucas KramerUniversity of Minnesota, Ted KaminskiUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 19:13 - 19:16 Poster | Vilhelm SjöbergYale University, Yuyang SangYale University, Shu-chun WengYale University, Zhong ShaoYale University Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 19:16 - 19:19 Poster | Florian LatifiJohannes Kepler University Linz | |||||||||||||||||||||||||||||||||||||||||
| 19:19 - 19:21 Poster | Samuel EstepLiberty University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile & Inria Paris, Johannes BaderFacebook | |||||||||||||||||||||||||||||||||||||||||
| 19:21 - 19:24 Poster | Maarten P. SijmDelft University of Technology | |||||||||||||||||||||||||||||||||||||||||
| 19:24 - 19:27 Poster | Junwen Yanguniversity of chicago, Cong YanUniversity of Washington, Chengcheng WanThe University of Chicago, Alvin CheungUniversity of California, Berkeley, Shan LuUniversity of Chicago | |||||||||||||||||||||||||||||||||||||||||
| 19:27 - 19:30 Poster | Anders MiltnerPrinceton University, Sumit GulwaniMicrosoft, Vu LeMicrosoft, Alan LeungMicrosoft, Arjun RadhakrishnaMicrosoft, Gustavo SoaresMicrosoft, Ashish TiwariMicrosoft, Abhishek UdupaMicrosoft Link to publication | |||||||||||||||||||||||||||||||||||||||||