callback( { "result":{ "query":":facetid:toc:\"db/conf/pldi/soap2017.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"64.62" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"9", "@dc":"9", "@oc":"9", "@id":"43406653", "text":":facetid:toc:db/conf/pldi/soap2017.bht" } }, "hits":{ "@total":"9", "@computed":"9", "@sent":"9", "@first":"0", "hit":[{ "@score":"1", "@id":"3002212", "info":{"authors":{"author":[{"@pid":"143/2610","text":"Esben Sparre Andreasen"},{"@pid":"55/6739","text":"Anders Møller"},{"@pid":"205/6706","text":"Benjamin Barslev Nielsen"}]},"title":"Systematic approaches for increasing soundness and precision of static analyzers.","venue":"SOAP@PLDI","pages":"31-36","year":"2017","type":"Conference and Workshop Papers","access":"closed","key":"conf/pldi/AndreasenMN17","doi":"10.1145/3088515.3088521","ee":"https://doi.org/10.1145/3088515.3088521","url":"https://dblp.org/rec/conf/pldi/AndreasenMN17"}, "url":"URL#3002212" }, { "@score":"1", "@id":"3002213", "info":{"authors":{"author":[{"@pid":"205/6620","text":"Tony Antoniadis"},{"@pid":"205/6558","text":"Konstantinos Triantafyllou"},{"@pid":"s/YSmaragdakis","text":"Yannis Smaragdakis"}]},"title":"Porting doop to Soufflé: a tale of inter-engine portability for Datalog-based analyses.","venue":"SOAP@PLDI","pages":"25-30","year":"2017","type":"Conference and Workshop Papers","access":"closed","key":"conf/pldi/AntoniadisTS17","doi":"10.1145/3088515.3088522","ee":"https://doi.org/10.1145/3088515.3088522","url":"https://dblp.org/rec/conf/pldi/AntoniadisTS17"}, "url":"URL#3002213" }, { "@score":"1", "@id":"3002215", "info":{"authors":{"author":[{"@pid":"136/1051","text":"George Balatsouras"},{"@pid":"202/1679","text":"Kostas Ferles"},{"@pid":"55/11441","text":"George Kastrinis"},{"@pid":"s/YSmaragdakis","text":"Yannis Smaragdakis"}]},"title":"A Datalog model of must-alias analysis.","venue":"SOAP@PLDI","pages":"7-12","year":"2017","type":"Conference and Workshop Papers","access":"closed","key":"conf/pldi/BalatsourasFKS17","doi":"10.1145/3088515.3088517","ee":"https://doi.org/10.1145/3088515.3088517","url":"https://dblp.org/rec/conf/pldi/BalatsourasFKS17"}, "url":"URL#3002215" }, { "@score":"1", "@id":"3002229", "info":{"authors":{"author":[{"@pid":"82/2970","text":"Jens Dietrich 0001"},{"@pid":"93/2145","text":"Li Sui"},{"@pid":"201/7960","text":"Shawn Rasheed"},{"@pid":"29/11095","text":"Amjed Tahir"}]},"title":"On the construction of soundness oracles.","venue":"SOAP@PLDI","pages":"37-42","year":"2017","type":"Conference and Workshop Papers","access":"closed","key":"conf/pldi/DietrichSRT17","doi":"10.1145/3088515.3088520","ee":"https://doi.org/10.1145/3088515.3088520","url":"https://dblp.org/rec/conf/pldi/DietrichSRT17"}, "url":"URL#3002229" }, { "@score":"1", "@id":"3002239", "info":{"authors":{"author":[{"@pid":"133/8740","text":"Behnaz Hassanshahi"},{"@pid":"08/3738","text":"Raghavendra Kagalavadi Ramesh"},{"@pid":"02/2100","text":"Padmanabhan Krishnan"},{"@pid":"35/2834","text":"Bernhard Scholz"},{"@pid":"l/YiLu3","text":"Yi Lu 0003"}]},"title":"An efficient tunable selective points-to analysis for large codebases.","venue":"SOAP@PLDI","pages":"13-18","year":"2017","type":"Conference and Workshop Papers","access":"closed","key":"conf/pldi/HassanshahiRKSL17","doi":"10.1145/3088515.3088519","ee":"https://doi.org/10.1145/3088515.3088519","url":"https://dblp.org/rec/conf/pldi/HassanshahiRKSL17"}, "url":"URL#3002239" }, { "@score":"1", "@id":"3002247", "info":{"authors":{"author":[{"@pid":"200/7258","text":"Florian Kübler"},{"@pid":"116/7925","text":"Patrick Müller"},{"@pid":"147/7971","text":"Ben Hermann 0001"}]},"title":"SootKeeper: runtime reusability for modular static analysis.","venue":"SOAP@PLDI","pages":"19-24","year":"2017","type":"Conference and Workshop Papers","access":"closed","key":"conf/pldi/KublerMH17","doi":"10.1145/3088515.3088518","ee":"https://doi.org/10.1145/3088515.3088518","url":"https://dblp.org/rec/conf/pldi/KublerMH17"}, "url":"URL#3002247" }, { "@score":"1", "@id":"3002259", "info":{"authors":{"author":[{"@pid":"144/4242","text":"Jihyeok Park"},{"@pid":"r/XavierRival","text":"Xavier Rival"},{"@pid":"03/2760","text":"Sukyoung Ryu"}]},"title":"Revisiting recency abstraction for JavaScript: towards an intuitive, compositional, and efficient heap abstraction.","venue":"SOAP@PLDI","pages":"1-6","year":"2017","type":"Conference and Workshop Papers","access":"closed","key":"conf/pldi/ParkRR17","doi":"10.1145/3088515.3088516","ee":"https://doi.org/10.1145/3088515.3088516","url":"https://dblp.org/rec/conf/pldi/ParkRR17"}, "url":"URL#3002259" }, { "@score":"1", "@id":"3002264", "info":{"authors":{"author":[{"@pid":"167/7837","text":"Michael Reif"},{"@pid":"66/3818","text":"Michael Eichberg"},{"@pid":"147/7971","text":"Ben Hermann 0001"},{"@pid":"m/MiraMezini","text":"Mira Mezini"}]},"title":"Hermes: assessment and creation of effective test corpora.","venue":"SOAP@PLDI","pages":"43-48","year":"2017","type":"Conference and Workshop Papers","access":"closed","key":"conf/pldi/ReifEHM17","doi":"10.1145/3088515.3088523","ee":"https://doi.org/10.1145/3088515.3088523","url":"https://dblp.org/rec/conf/pldi/ReifEHM17"}, "url":"URL#3002264" }, { "@score":"1", "@id":"3036057", "info":{"authors":{"author":[{"@pid":"22/7271-1","text":"Karim Ali 0001"},{"@pid":"94/309","text":"Cristina Cifuentes"}]},"title":"Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2017, Barcelona, Spain, June 18, 2017","venue":"SOAP@PLDI","publisher":"ACM","year":"2017","type":"Editorship","key":"conf/pldi/2017soap","doi":"10.1145/3088515","ee":"https://doi.org/10.1145/3088515","url":"https://dblp.org/rec/conf/pldi/2017soap"}, "url":"URL#3036057" } ] } } } )