Blogs (61) >>
ECOOP and ISSTA
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
Wed 18 Jul 2018 17:00 - 20:00 at Matterhorn - Poster session Chair(s): Lisa Nguyen Quang Do

Random program generation — fuzzing — is an effective technique for discovering bugs in compilers but successful fuzzers require extensive development effort for every language supported by the compiler, and often leave parts of the language space untested.

We introduce DeepSmith, a novel machine learning approach to accelerating compiler validation through the inference of generative models for compiler inputs. Our approach \emph{infers} a learned model of the structure of real world code based on a large corpus of open source code. Then, it uses the model to automatically generate tens of thousands of realistic programs. Finally, we apply established differential testing methodologies on them to expose bugs in compilers.

We apply our approach to the OpenCL programming language, automatically exposing bugs in OpenCL compilers with little effort on our side. In 1,000 hours of automated testing of commercial and open source compilers, we discover bugs in all of them, submitting 67 bug reports.

Our test cases are on average two orders of magnitude smaller than the state-of-the-art, require 3.03x less time to generate and evaluate, and expose bugs which the state-of-the-art cannot. Our random program generator, comprising only 500 lines of code, took 12 hours to train for OpenCL versus the state-of-the-art taking 9 man months to port from a generator for C and 50,000 lines of code.

Wed 18 Jul

ecoop-issta-2018-posters
17:00 - 20:00: Posters - Poster session at Matterhorn
Chair(s): Lisa Nguyen Quang DoPaderborn University
ecoop-issta-2018-posters17:00 - 20:00
Poster
Xuan BiThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, China
ecoop-issta-2018-posters17:00 - 20:00
Poster
Caroline LemieuxUniversity of California, Berkeley, Rohan PadhyeUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley, Dawn Song
ecoop-issta-2018-posters17:00 - 20:00
Poster
Benoît DuhouxUniversité catholique de Louvain, Belgium, Kim MensUniversité Catholique de Louvain, Belgium, Bruno Dumas
ecoop-issta-2018-posters17:00 - 20:00
Poster
Jaekwon LeeUniversity of Luxembourg, Luxembourg, Dongsun KimUniversity of Luxembourg, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Woosung JungSeoul National University of Education, Yves Le TraonUniversity of Luxembourg
ecoop-issta-2018-posters17:00 - 20:00
Poster
Sihan Li, Farah HaririUniversity of Illinois at Urbana-Champaign, Gul AghaUniversity of Illinois at Urbana-Champaign, USA
ecoop-issta-2018-posters17:00 - 20:00
Poster
Asanka SayakkaraUniversity College Dublin, Nhien-An Le-KhacUniversity College Dublin, Mark ScanlonUniversity College Dublin
ecoop-issta-2018-posters17:00 - 20:00
Poster
Luc BläserHochschule für Technik Rapperswil
ecoop-issta-2018-posters17:00 - 20:00
Poster
Yannis SmaragdakisUniversity of Athens, George KastrinisUniversity of Athens
ecoop-issta-2018-posters17:00 - 20:00
Poster
Jiajun JiangPeking University, Yingfei XiongPeking University, Hongyu ZhangThe University of Newcastle, Qing GaoPeking University, Xiangqun ChenPeking University
ecoop-issta-2018-posters17:00 - 20:00
Poster
Gianluca MezzettiAarhus University, Denmark, Anders MøllerAarhus University, Martin Toldam TorpAarhus University
ecoop-issta-2018-posters17:00 - 20:00
Poster
Seung Yeob ShinSnT Centre/University of Luxembourg, Shiva NejatiSnT Centre/University of Luxembourg, Mehrdad SabetzadehSnT Centre/University of Luxembourg, Lionel BriandSnT Centre/University of Luxembourg, Frank ZimmerSES Techcom
ecoop-issta-2018-posters17:00 - 20:00
Poster
Kareem KhazemUniversity College London, Earl T. Barr, Petr HosekGoogle, Inc.
ecoop-issta-2018-posters17:00 - 20:00
Poster
Jan FiedorBrno University of Technology, Monika MužikovskáBrno University of Technology, Aleš SmrčkaBrno University of Technology, Ondřej VašíčekBrno University of Technology, Tomas VojnarBrno University of Technology
ecoop-issta-2018-posters17:00 - 20:00
Poster
Matteo BiagiolaFondazione Bruno Kessler, Trento, Italy, Paolo TonellaFondazione Bruno Kessler, Filippo RiccaDIBRIS, University of Genova, Italy
ecoop-issta-2018-posters17:00 - 20:00
Poster
Wing LamUniversity of Illinois at Urbana-Champaign, Siwakorn SrisakaokulUniversity of Illinois at Urbana-Champaign, USA, Blake BassettUniversity of Illinois at Urbana-Champaign, USA, Peyman MahdianUniversity of Illinois at Urbana-Champaign, USA, Tao Xie
ecoop-issta-2018-posters17:00 - 20:00
Poster
Neville GrechUniversity of Athens, George FourtounisUniversity of Athens, Adrian FrancalanzaUniversity of Malta, Yannis SmaragdakisUniversity of Athens
ecoop-issta-2018-posters17:00 - 20:00
Poster
Julien Gascon-Samson, Kumseok JungUniversity of British Columbia, Shivanshu GoyalUniversity of British Columbia, Armin Rezaiean-AselUniversity of British Columbia, Karthik PattabiramanUniversity of British Columbia
ecoop-issta-2018-posters17:00 - 20:00
Poster
Fabio NiephausHasso Plattner Institute, University of Potsdam, Robert HirschfeldHPI, University of Potsdam
ecoop-issta-2018-posters17:00 - 20:00
Poster
Gunel JahangirovaFondazione Bruno Kessler & University College London, David ClarkUniversity College London, Mark HarmanFacebook and University College London, Paolo TonellaFondazione Bruno Kessler
ecoop-issta-2018-posters17:00 - 20:00
Poster
Chris CumminsUniversity of Edinburgh, Pavlos PetoumenosUniversity of Edinburgh, Alastair MurrayCodeplay Software, Hugh LeatherUniversity of Edinburgh
ecoop-issta-2018-posters17:00 - 20:00
Poster
Arianna BlasiUniversità della Svizzera italiana (USI) and IMDEA Software Institute, Alberto GoffiUniversità della Svizzera italiana (USI), Konstantin KuznetsovSaarland University, CISPA, Alessandra GorlaIMDEA Software Institute, Michael D. ErnstUniversity of Washington, USA, Mauro PezzeUniversità della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca, Sergio Delgado CastellanosIMDEA Software Institute
ecoop-issta-2018-posters17:00 - 20:00
Poster
Goran PiskachevFraunhofer IEM
ecoop-issta-2018-posters17:00 - 20:00
Poster
Tegan Brennan, Seemanta SahaUniversity of California Santa Barbara, Tevfik BultanUniversity of California, Santa Barbara, Corina S PasareanuNASA Ames Research Center
ecoop-issta-2018-posters17:00 - 20:00
Poster
Yanlin WangUniversity of Hong Kong, Haoyuan Zhang, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Marco ServettoVictoria University of Wellington
ecoop-issta-2018-posters17:00 - 20:00
Poster
ecoop-issta-2018-posters17:00 - 20:00
Poster
Stefan KrügerUniversity of Paderborn, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
ecoop-issta-2018-posters17:00 - 20:00
Poster
Lina QiuUniversity of British Columbia, YINGYING WANG, Julia RubinUniversity of British Columbia
ecoop-issta-2018-posters17:00 - 20:00
Poster
Yannic NollerHumboldt-Universität zu Berlin, Rody KerstenSynopsys, Inc., Corina S PasareanuNASA Ames Research Center
ecoop-issta-2018-posters17:00 - 20:00
Poster
Neville GrechUniversity of Athens, George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
ecoop-issta-2018-posters17:00 - 20:00
Poster
Filip KrikavaCzech Technical University, Jan VitekNortheastern University
ecoop-issta-2018-posters17:00 - 20:00
Poster
Li LiMonash University, Australia, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Haoyu Wang, Jacques KleinUniversity of Luxembourg, SnT
ecoop-issta-2018-posters17:00 - 20:00
Poster
Davide AnconaUniversity of Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Elena ZuccaUniversity of Genova
ecoop-issta-2018-posters17:00 - 20:00
Poster
Andreas SchulerUniversity of Applied Sciences Upper Austria, Gabriele Anderst-KotsisJohannes Kepler University, Linz, Austria
ecoop-issta-2018-posters17:00 - 20:00
Poster
Junjie ChenPeking University, Wenxiang HuPeking University, Lingming Zhang, Dan HaoPeking University, Sarfraz KhurshidUniversity of Texas at Austin, Lu ZhangPeking University
ecoop-issta-2018-posters17:00 - 20:00
Poster
Pascal WeisenburgerTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt
ecoop-issta-2018-posters17:00 - 20:00
Poster
Juliana FrancoMicrosoft Research, Cambridge, Alexandros TasosImperial College London, Sophia DrossopoulouImperial College London, Tobias WrigstadUppsala University, Susan EisenbachImperial College London
ecoop-issta-2018-posters17:00 - 20:00
Poster
Tianxiao Gu, Xiaoxing MaNanjing University, Chang XuNanjing University, Yanyan JiangNanjing University, Chun CaoNanjing University, Jian LuNanjing University
ecoop-issta-2018-posters17:00 - 20:00
Poster
Aleksandar ProkopecOracle Labs, Fengyun LiuEPFL, Switzerland
ecoop-issta-2018-posters17:00 - 20:00
Poster
Ragnar MogkTechnische Universität Darmstadt, Lars BaumgärtnerPhilipps-Universität Marburg, Guido SalvaneschiTU Darmstadt, Bernd FreislebenPhilipps-Universität Marburg, Mira MeziniTU Darmstadt
ecoop-issta-2018-posters17:00 - 20:00
Poster
Dan IorgaImperial College London, UK, Alastair DonaldsonImperial College London
ecoop-issta-2018-posters17:00 - 20:00
Poster
Hannes ThallerInstitute for Software Systems Engineering, Johannes Kepler University, Linz
ecoop-issta-2018-posters17:00 - 20:00
Demonstration
Diego Rodríguez-BaqueroUniversidad de los Andes, Mario Linares-VásquezSystems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia
ecoop-issta-2018-posters17:00 - 20:00
Poster
Jonathan BellGeorge Mason University, Luís PinaGeorge Mason University
Media Attached
ecoop-issta-2018-posters17:00 - 20:00
Poster
ecoop-issta-2018-posters17:00 - 20:00
Poster
Xuan BiThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Tom SchrijversKU Leuven
ecoop-issta-2018-posters17:00 - 20:00
Poster
Nicolás CardozoUniversidad de los Andes, Ivana DusparicTrinity College Dublin, Ireland
ecoop-issta-2018-posters17:00 - 20:00
Poster
Mattia FazziniGeorgia Institute of Technology, Martin PrammerGeorgia Institute of Technology, Marcelo d'AmorimFederal University of Pernambuco, Alessandro OrsoGeorgia Tech
ecoop-issta-2018-posters17:00 - 20:00
Poster
Tukaram MuskeTata Consultancy Services Ltd, Rohith TalluriTata Consultancy Services Ltd, Alexander SerebrenikEindhoven University of Technology