Wed 17 Jul 2019 18:00 - 19:30 at Mancy - Poster session

Abstract garbage collection is the application of garbage collection to an abstract interpreter. Existing work has shown that abstract garbage collection can improve both the interpreter’s precision and performance. Current approaches rely on heuristics to decide when to apply abstract garbage collection. Garbage will build up and impact precision and performance when the collection is applied infrequently, while too frequent applications will bring about their own performance overhead. A balance between these tradeoffs is often difficult to strike.

We propose a new approach to cope with the buildup of garbage in the results of an abstract interpreter. Our approach is able to eliminate all garbage, therefore obtaining the maximum precision and performance benefits of abstract garbage collection. At the same time, our approach does not require frequent heap traversals, and therefore adds little to the interpreters’s running time. The core of our approach uses reference counting to detect and eliminate garbage as soon as it arises. However, reference counting cannot deal with cycles, and we show that cycles are much more common in an abstract interpreter than in its concrete counterpart. To alleviate this problem, our approach detects cycles and employs reference counting at the level of strongly connected components. While this technique in general works for any system that uses reference counting, we argue that it works particularly well for an abstract interpreter. In fact, we show formally that for the continuation store, where most of the cycles occur, the cycle detection technique only requires O(1) amortized operations per continuation push.

We present our approach formally, and provide a proof-of-concept implementation in the X (name redacted for double-blind review) framework. We empirically show our approach achieves both the optimal precision and significantly better performance compared to existing approaches to abstract garbage collection.

Garbage-Free Abstract Interpretation through Abstract Reference Counting (Poster) (ecoop2019arc-poster.pdf)1.83MiB

Wed 17 Jul

ecoop-2019-Posters
18:00 - 19:30: Posters - Poster session at Mancy
ecoop-2019-Posters18:00 - 19:30
Poster
Linghui LuoPaderborn University, Julian DolbyIBM Research, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
File Attached
ecoop-2019-Posters18:00 - 19:30
Poster
Alexander Asp BockIT University of Copenhagen
ecoop-2019-Posters18:00 - 19:30
Poster
Willem PenninckxKU Leuven, Amin Timanyimec-Distrinet KU-Leuven, Bart JacobsKU Leuven
ecoop-2019-Posters18:00 - 19:30
Poster
Suvam MukherjeeIndian Institute of Science, Nitin John RajInternational Institute of Information Technology, Hyderabad, Krishnan GovindrajMicrosoft Research, Pantazis DeligiannisMicrosoft Research, Chandramouleswaran RavichandranMicrosoft Azure, Akash LalMicrosoft Research India, Aseem RastogiMicrosoft Research, Raja KrishnaswamyMicrosoft Azure
ecoop-2019-Posters18:00 - 19:30
Poster
Luca FranceschiniDIBRIS, University of Genova, Italy
File Attached
ecoop-2019-Posters18:00 - 19:30
Poster
Manas ThakurIIT Madras, V Krishna NandivadaIIT Madras
ecoop-2019-Posters18:00 - 19:30
Poster
Yossi GilTechnion—Israel Institute of Technology, Ori RothTechnion
File Attached
ecoop-2019-Posters18:00 - 19:30
Poster
Juan FumeroUniversity of Manchester, UK, Michail PapadimitriouUniversity of Manchester, UK, Christos KotselidisUniversity of Manchester, UK
File Attached
ecoop-2019-Posters18:00 - 19:30
Poster
Thodoris SotiropoulosAthens University of Economics and Business, Benjamin LivshitsImperial College London, UK
ecoop-2019-Posters18:00 - 19:30
Poster
ecoop-2019-Posters18:00 - 19:30
Poster
Tetsuo KaminaOita University, Tomoyuki AotaniTokyo Institute of Technology
ecoop-2019-Posters18:00 - 19:30
Poster
Kang Hong JinSchool of Information Systems, Singapore Management University, Ferdian Thung, Julia LawallInria/LIP6, Gilles MullerLIP6-INRIA/UPMC, Lingxiao JiangSingapore Management University, David LoSingapore Management University
ecoop-2019-Posters18:00 - 19:30
Poster
Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University
File Attached
ecoop-2019-Posters18:00 - 19:30
Poster
Abhishek TiwariUniversity of Potsdam, Sascha GroßUniversity of Potsdam, Christian HammerUniversity of Potsdam
File Attached
ecoop-2019-Posters18:00 - 19:30
Poster
Daniel PelsmaekerDelft University of Technology, Netherlands, Hendrik van AntwerpenTU Delft, Eelco VisserDelft University of Technology
ecoop-2019-Posters18:00 - 19:30
Poster
Matthias Eichholz, Eric CampbellCornell University, Nate FosterCornell University, Guido SalvaneschiTU Darmstadt, Mira MeziniTU Darmstadt, Germany
ecoop-2019-Posters18:00 - 19:30
Poster
File Attached
ecoop-2019-Posters18:00 - 19:30
Poster
Lisa Nguyen Quang DoPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
File Attached
ecoop-2019-Posters18:00 - 19:30
Poster
Dhruv MakwanaUnaffiliated, Neel KrishnaswamiComputer Laboratory, University of Cambridge
File Attached
ecoop-2019-Posters18:00 - 19:30
Poster
Jonas De BleserSofware Languages Lab, Vrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
ecoop-2019-Posters18:00 - 19:30
Poster
Xiaoli LiangIBM Canada, Daryl MaierIBM Canada
ecoop-2019-Posters18:00 - 19:30
Poster
Jafar Haminimec-DistriNet, Depatrmant of Computer Science, KU Leuven, Belgium, Bart JacobsRadboud University Nijmegen
ecoop-2019-Posters18:00 - 19:30
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
ecoop-2019-Posters18:00 - 19:30
Poster
Noah Van EsSofware Languages Lab, Vrije Universiteit Brussel, Quentin StiévenartVrije Universiteit Brussel, Belgium, Coen De RooverVrije Universiteit Brussel
File Attached
ecoop-2019-Posters18:00 - 19:30
Poster
Amir ShaikhhaUniversity of Oxford, Lionel ParreauxEPFL
ecoop-2019-Posters18:00 - 19:30
Poster
Carmen Torres LopezVrije Universiteit Brussel, Robbert Gurdeep SinghUniversiteit Gent, Belgium, Stefan MarrUniversity of Kent, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium, Christophe ScholliersUniversiteit Gent, Belgium
ecoop-2019-Posters18:00 - 19:30
Poster
Shawn MeierUniversity of Colorado, Boulder, Sergio MoverEcole Polytechnique, Bor-Yuh Evan ChangUniversity of Colorado Boulder
ecoop-2019-Posters18:00 - 19:30
Poster
Pascal WeisenburgerTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt
ecoop-2019-Posters18:00 - 19:30
Poster
Andrew CraikIBM Canada, Rahil ShahIBM Canada, Ben ThomasIBM Canada, Devin PapineauIBM Canada
ecoop-2019-Posters18:00 - 19:30
Poster
Felix PauckPaderborn University, Germany
Media Attached
ecoop-2019-Posters18:00 - 19:30
Poster
Matthias SpringerTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
ecoop-2019-Posters18:00 - 19:30
Poster
Kiko Fernandez-ReyesUppsala University, Dave ClarkeUppsala Univ. Sweden and KU Leuvern, Ludovic HenrioCNRS, Einar Broch JohnsenUniversity of Oslo, Tobias WrigstadUppsala University
File Attached
ecoop-2019-Posters18:00 - 19:30
Poster
George FourtounisUniversity of Athens, Yannis SmaragdakisUniversity of Athens