callback( { "result":{ "query":":facetid:toc:\"db/conf/esop/esop2010.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"64.31" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"33", "@dc":"33", "@oc":"33", "@id":"43380155", "text":":facetid:toc:db/conf/esop/esop2010.bht" } }, "hits":{ "@total":"33", "@computed":"33", "@sent":"33", "@first":"0", "hit":[{ "@score":"1", "@id":"4901941", "info":{"authors":{"author":[{"@pid":"23/7915","text":"Assalé Adjé"},{"@pid":"92/6330","text":"Stéphane Gaubert"},{"@pid":"90/1132","text":"Eric Goubault"}]},"title":"Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis.","venue":"ESOP","pages":"23-42","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/AdjeGG10","doi":"10.1007/978-3-642-11957-6_3","ee":"https://doi.org/10.1007/978-3-642-11957-6_3","url":"https://dblp.org/rec/conf/esop/AdjeGG10"}, "url":"URL#4901941" }, { "@score":"1", "@id":"4901942", "info":{"authors":{"author":[{"@pid":"a/TorbenAmtoft","text":"Torben Amtoft"},{"@pid":"52/5739","text":"John Hatcliff"},{"@pid":"58/6791","text":"Edwin Rodríguez"}]},"title":"Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays.","venue":"ESOP","pages":"43-63","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/AmtoftHR10","doi":"10.1007/978-3-642-11957-6_4","ee":"https://doi.org/10.1007/978-3-642-11957-6_4","url":"https://dblp.org/rec/conf/esop/AmtoftHR10"}, "url":"URL#4901942" }, { "@score":"1", "@id":"4901943", "info":{"authors":{"author":[{"@pid":"24/2197","text":"Aslan Askarov"},{"@pid":"m/AndrewCMyers","text":"Andrew C. Myers"}]},"title":"A Semantic Framework for Declassification and Endorsement.","venue":"ESOP","pages":"64-84","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/AskarovM10","doi":"10.1007/978-3-642-11957-6_5","ee":"https://doi.org/10.1007/978-3-642-11957-6_5","url":"https://dblp.org/rec/conf/esop/AskarovM10"}, "url":"URL#4901943" }, { "@score":"1", "@id":"4901944", "info":{"authors":{"author":{"@pid":"04/5591","text":"Robert Atkey"}},"title":"Amortised Resource Analysis with Separation Logic.","venue":"ESOP","pages":"85-103","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/Atkey10","doi":"10.1007/978-3-642-11957-6_6","ee":"https://doi.org/10.1007/978-3-642-11957-6_6","url":"https://dblp.org/rec/conf/esop/Atkey10"}, "url":"URL#4901944" }, { "@score":"1", "@id":"4901945", "info":{"authors":{"author":[{"@pid":"57/6862","text":"Patrick Baillot"},{"@pid":"84/3396","text":"Marco Gaboardi"},{"@pid":"10/2060","text":"Virgile Mogbil"}]},"title":"A PolyTime Functional Language from Light Linear Logic.","venue":"ESOP","pages":"104-124","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/BaillotGM10","doi":"10.1007/978-3-642-11957-6_7","ee":"https://doi.org/10.1007/978-3-642-11957-6_7","url":"https://dblp.org/rec/conf/esop/BaillotGM10"}, "url":"URL#4901945" }, { "@score":"1", "@id":"4901946", "info":{"authors":{"author":[{"@pid":"47/929","text":"Jean-Philippe Bernardy"},{"@pid":"98/4178","text":"Patrik Jansson"},{"@pid":"74/2610","text":"Koen Claessen"}]},"title":"Testing Polymorphic Properties.","venue":"ESOP","pages":"125-144","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/BernardyJC10","doi":"10.1007/978-3-642-11957-6_8","ee":"https://doi.org/10.1007/978-3-642-11957-6_8","url":"https://dblp.org/rec/conf/esop/BernardyJC10"}, "url":"URL#4901946" }, { "@score":"1", "@id":"4901947", "info":{"authors":{"author":[{"@pid":"b/SandrineBlazy","text":"Sandrine Blazy"},{"@pid":"96/7125","text":"Benoît Robillard"},{"@pid":"a/AWAppel","text":"Andrew W. Appel"}]},"title":"Formal Verification of Coalescing Graph-Coloring Register Allocation.","venue":"ESOP","pages":"145-164","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/BlazyRA10","doi":"10.1007/978-3-642-11957-6_9","ee":"https://doi.org/10.1007/978-3-642-11957-6_9","url":"https://dblp.org/rec/conf/esop/BlazyRA10"}, "url":"URL#4901947" }, { "@score":"1", "@id":"4901948", "info":{"authors":{"author":[{"@pid":"31/2704","text":"Gérard Boudol"},{"@pid":"11/4177","text":"Gustavo Petri"}]},"title":"A Theory of Speculative Computation.","venue":"ESOP","pages":"165-184","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/BoudolP10","doi":"10.1007/978-3-642-11957-6_10","ee":"https://doi.org/10.1007/978-3-642-11957-6_10","url":"https://dblp.org/rec/conf/esop/BoudolP10"}, "url":"URL#4901948" }, { "@score":"1", "@id":"4901949", "info":{"authors":{"author":{"@pid":"17/4551","text":"Vijay D'Silva"}},"title":"Propositional Interpolation and Abstract Interpretation.","venue":"ESOP","pages":"185-204","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/DSilva10","doi":"10.1007/978-3-642-11957-6_11","ee":"https://doi.org/10.1007/978-3-642-11957-6_11","url":"https://dblp.org/rec/conf/esop/DSilva10"}, "url":"URL#4901949" }, { "@score":"1", "@id":"4901950", "info":{"authors":{"author":[{"@pid":"42/160","text":"Jyotirmoy V. Deshmukh"},{"@pid":"r/GRamalingam","text":"G. Ramalingam"},{"@pid":"01/1872","text":"Venkatesh Prasad Ranganath"},{"@pid":"48/1784","text":"Kapil Vaswani"}]},"title":"Logical Concurrency Control from Sequential Proofs.","venue":"ESOP","pages":"226-245","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/DeshmukhRRV10","doi":"10.1007/978-3-642-11957-6_13","ee":"https://doi.org/10.1007/978-3-642-11957-6_13","url":"https://dblp.org/rec/conf/esop/DeshmukhRRV10"}, "url":"URL#4901950" }, { "@score":"1", "@id":"4901951", "info":{"authors":{"author":[{"@pid":"85/3688","text":"Isil Dillig"},{"@pid":"26/6661","text":"Thomas Dillig"},{"@pid":"a/AAiken","text":"Alex Aiken"}]},"title":"Fluid Updates: Beyond Strong vs. Weak Updates.","venue":"ESOP","pages":"246-266","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/DilligDA10","doi":"10.1007/978-3-642-11957-6_14","ee":"https://doi.org/10.1007/978-3-642-11957-6_14","url":"https://dblp.org/rec/conf/esop/DilligDA10"}, "url":"URL#4901951" }, { "@score":"1", "@id":"4901952", "info":{"authors":{"author":[{"@pid":"00/6711","text":"Rodrigo Ferreira"},{"@pid":"06/3494-1","text":"Xinyu Feng 0001"},{"@pid":"s/ZhongShao","text":"Zhong Shao"}]},"title":"Parameterized Memory Models and Concurrent Separation Logic.","venue":"ESOP","pages":"267-286","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/FerreiraFS10","doi":"10.1007/978-3-642-11957-6_15","ee":"https://doi.org/10.1007/978-3-642-11957-6_15","url":"https://dblp.org/rec/conf/esop/FerreiraFS10"}, "url":"URL#4901952" }, { "@score":"1", "@id":"4901953", "info":{"authors":{"author":[{"@pid":"75/425","text":"Jan Hoffmann 0002"},{"@pid":"h/MartinHofmann","text":"Martin Hofmann 0001"}]},"title":"Amortized Resource Analysis with Polynomial Potential.","venue":"ESOP","pages":"287-306","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/HoffmannH10","doi":"10.1007/978-3-642-11957-6_16","ee":"https://doi.org/10.1007/978-3-642-11957-6_16","url":"https://dblp.org/rec/conf/esop/HoffmannH10"}, "url":"URL#4901953" }, { "@score":"1", "@id":"4901954", "info":{"authors":{"author":[{"@pid":"j/RJagadeesan","text":"Radha Jagadeesan"},{"@pid":"p/CorinPitcher","text":"Corin Pitcher"},{"@pid":"04/522","text":"James Riely"}]},"title":"Generative Operational Semantics for Relaxed Memory Models.","venue":"ESOP","pages":"307-326","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/JagadeesanPR10","doi":"10.1007/978-3-642-11957-6_17","ee":"https://doi.org/10.1007/978-3-642-11957-6_17","url":"https://dblp.org/rec/conf/esop/JagadeesanPR10"}, "url":"URL#4901954" }, { "@score":"1", "@id":"4901955", "info":{"authors":{"author":[{"@pid":"k/DaveKing2","text":"Dave King 0002"},{"@pid":"61/4923","text":"Susmit Jha"},{"@pid":"55/755","text":"Divya Muthukumaran"},{"@pid":"45/576","text":"Trent Jaeger"},{"@pid":"j/SomeshJha","text":"Somesh Jha"},{"@pid":"s/SanjitASeshia","text":"Sanjit A. Seshia"}]},"title":"Automating Security Mediation Placement.","venue":"ESOP","pages":"327-344","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/KingJMJJS10","doi":"10.1007/978-3-642-11957-6_18","ee":"https://doi.org/10.1007/978-3-642-11957-6_18","url":"https://dblp.org/rec/conf/esop/KingJMJJS10"}, "url":"URL#4901955" }, { "@score":"1", "@id":"4901956", "info":{"authors":{"author":[{"@pid":"71/1990","text":"Adam Koprowski"},{"@pid":"81/1227","text":"Henri Binsztok"}]},"title":"TRX: A Formally Verified Parser Interpreter.","venue":"ESOP","pages":"345-365","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/KoprowskiB10","doi":"10.1007/978-3-642-11957-6_19","ee":"https://doi.org/10.1007/978-3-642-11957-6_19","url":"https://dblp.org/rec/conf/esop/KoprowskiB10"}, "url":"URL#4901956" }, { "@score":"1", "@id":"4901957", "info":{"authors":{"author":[{"@pid":"44/3105","text":"Ugo Dal Lago"},{"@pid":"27/2596","text":"Ulrich Schöpp"}]},"title":"Functional Programming in Sublinear Space.","venue":"ESOP","pages":"205-225","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/LagoS10","doi":"10.1007/978-3-642-11957-6_12","ee":"https://doi.org/10.1007/978-3-642-11957-6_12","url":"https://dblp.org/rec/conf/esop/LagoS10"}, "url":"URL#4901957" }, { "@score":"1", "@id":"4901958", "info":{"authors":{"author":[{"@pid":"56/3713","text":"Ivan Lanese"},{"@pid":"57/5795","text":"Cátia Vaz"},{"@pid":"13/5457","text":"Carla Ferreira 0001"}]},"title":"On the Expressive Power of Primitives for Compensation Handling.","venue":"ESOP","pages":"366-386","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/LaneseVF10","doi":"10.1007/978-3-642-11957-6_20","ee":"https://doi.org/10.1007/978-3-642-11957-6_20","url":"https://dblp.org/rec/conf/esop/LaneseVF10"}, "url":"URL#4901958" }, { "@score":"1", "@id":"4901959", "info":{"authors":{"author":[{"@pid":"29/1707","text":"Vincent Laviron"},{"@pid":"68/6029","text":"Bor-Yuh Evan Chang"},{"@pid":"r/XavierRival","text":"Xavier Rival"}]},"title":"Separating Shape Graphs.","venue":"ESOP","pages":"387-406","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/LavironCR10","doi":"10.1007/978-3-642-11957-6_21","ee":"https://doi.org/10.1007/978-3-642-11957-6_21","url":"https://dblp.org/rec/conf/esop/LavironCR10"}, "url":"URL#4901959" }, { "@score":"1", "@id":"4901960", "info":{"authors":{"author":[{"@pid":"l/KRMLeino","text":"K. Rustan M. Leino"},{"@pid":"m/PMuller1","text":"Peter Müller 0001"},{"@pid":"09/6312","text":"Jan Smans"}]},"title":"Deadlock-Free Channels and Locks.","venue":"ESOP","pages":"407-426","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/LeinoMS10","doi":"10.1007/978-3-642-11957-6_22","ee":"https://doi.org/10.1007/978-3-642-11957-6_22","url":"https://dblp.org/rec/conf/esop/LeinoMS10"}, "url":"URL#4901960" }, { "@score":"1", "@id":"4901961", "info":{"authors":{"author":[{"@pid":"97/4946","text":"Sam Lindley"},{"@pid":"w/PhilipWadler","text":"Philip Wadler"}]},"title":"The Audacity of Hope: Thoughts on Reclaiming the Database Dream.","venue":"ESOP","pages":"1","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/LindleyW10","doi":"10.1007/978-3-642-11957-6_1","ee":"https://doi.org/10.1007/978-3-642-11957-6_1","url":"https://dblp.org/rec/conf/esop/LindleyW10"}, "url":"URL#4901961" }, { "@score":"1", "@id":"4901962", "info":{"authors":{"author":{"@pid":"43/1499","text":"Andreas Lochbihler"}},"title":"Verifying a Compiler for Java Threads.","venue":"ESOP","pages":"427-447","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/Lochbihler10","doi":"10.1007/978-3-642-11957-6_23","ee":"https://doi.org/10.1007/978-3-642-11957-6_23","url":"https://dblp.org/rec/conf/esop/Lochbihler10"}, "url":"URL#4901962" }, { "@score":"1", "@id":"4901963", "info":{"authors":{"author":[{"@pid":"28/6926","text":"Kazutaka Matsuda"},{"@pid":"05/4442","text":"Shin-Cheng Mu"},{"@pid":"24/5199","text":"Zhenjiang Hu"},{"@pid":"57/5926","text":"Masato Takeichi"}]},"title":"A Grammar-Based Approach to Invertible Programs.","venue":"ESOP","pages":"448-467","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/MatsudaMHT10","doi":"10.1007/978-3-642-11957-6_24","ee":"https://doi.org/10.1007/978-3-642-11957-6_24","url":"https://dblp.org/rec/conf/esop/MatsudaMHT10"}, "url":"URL#4901963" }, { "@score":"1", "@id":"4901964", "info":{"authors":{"author":[{"@pid":"24/7915","text":"Matthew L. Meola"},{"@pid":"53/5714","text":"David Walker"}]},"title":"Faulty Logic: Reasoning about Fault Tolerant Programs.","venue":"ESOP","pages":"468-487","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/MeolaW10","doi":"10.1007/978-3-642-11957-6_25","ee":"https://doi.org/10.1007/978-3-642-11957-6_25","url":"https://dblp.org/rec/conf/esop/MeolaW10"}, "url":"URL#4901964" }, { "@score":"1", "@id":"4901965", "info":{"authors":{"author":[{"@pid":"22/1423","text":"Keiko Nakata 0001"},{"@pid":"u/TarmoUustalu","text":"Tarmo Uustalu"}]},"title":"A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While.","venue":"ESOP","pages":"488-506","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/NakataU10","doi":"10.1007/978-3-642-11957-6_26","ee":"https://doi.org/10.1007/978-3-642-11957-6_26","url":"https://dblp.org/rec/conf/esop/NakataU10"}, "url":"URL#4901965" }, { "@score":"1", "@id":"4901966", "info":{"authors":{"author":[{"@pid":"39/2319","text":"David A. Naumann"},{"@pid":"65/1920","text":"Anindya Banerjee 0001"}]},"title":"Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions.","venue":"ESOP","pages":"2-22","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/NaumannB10","doi":"10.1007/978-3-642-11957-6_2","ee":"https://doi.org/10.1007/978-3-642-11957-6_2","url":"https://dblp.org/rec/conf/esop/NaumannB10"}, "url":"URL#4901966" }, { "@score":"1", "@id":"4901967", "info":{"authors":{"author":[{"@pid":"49/6828","text":"Robert Soulé"},{"@pid":"34/6431","text":"Martin Hirzel"},{"@pid":"g/RobertGrimm","text":"Robert Grimm 0001"},{"@pid":"87/3826","text":"Bugra Gedik"},{"@pid":"a/HAndrade","text":"Henrique Andrade"},{"@pid":"78/3963","text":"Vibhore Kumar"},{"@pid":"85/3566","text":"Kun-Lung Wu"}]},"title":"A Universal Calculus for Stream Processing Languages.","venue":"ESOP","pages":"507-528","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/SouleHGGAKW10","doi":"10.1007/978-3-642-11957-6_27","ee":"https://doi.org/10.1007/978-3-642-11957-6_27","url":"https://dblp.org/rec/conf/esop/SouleHGGAKW10"}, "url":"URL#4901967" }, { "@score":"1", "@id":"4901968", "info":{"authors":{"author":[{"@pid":"11/5568","text":"Nikhil Swamy"},{"@pid":"54/2717-2","text":"Juan Chen 0002"},{"@pid":"54/4184","text":"Ravi Chugh"}]},"title":"Enforcing Stateful Authorization and Information Flow Policies in Fine.","venue":"ESOP","pages":"529-549","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/SwamyCC10","doi":"10.1007/978-3-642-11957-6_28","ee":"https://doi.org/10.1007/978-3-642-11957-6_28","url":"https://dblp.org/rec/conf/esop/SwamyCC10"}, "url":"URL#4901968" }, { "@score":"1", "@id":"4901969", "info":{"authors":{"author":[{"@pid":"14/3903","text":"Jesse A. Tov"},{"@pid":"p/RPucella","text":"Riccardo Pucella"}]},"title":"Stateful Contracts for Affine Types.","venue":"ESOP","pages":"550-569","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/TovP10","doi":"10.1007/978-3-642-11957-6_29","ee":"https://doi.org/10.1007/978-3-642-11957-6_29","url":"https://dblp.org/rec/conf/esop/TovP10"}, "url":"URL#4901969" }, { "@score":"1", "@id":"4901970", "info":{"authors":{"author":[{"@pid":"26/2103","text":"Dimitrios Vardoulakis"},{"@pid":"s/OlinShivers","text":"Olin Shivers"}]},"title":"CFA2: A Context-Free Approach to Control-Flow Analysis.","venue":"ESOP","pages":"570-589","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/VardoulakisS10","doi":"10.1007/978-3-642-11957-6_30","ee":"https://doi.org/10.1007/978-3-642-11957-6_30","url":"https://dblp.org/rec/conf/esop/VardoulakisS10"}, "url":"URL#4901970" }, { "@score":"1", "@id":"4901971", "info":{"authors":{"author":{"@pid":"34/7085","text":"Alexander Wenner"}},"title":"Weighted Dynamic Pushdown Networks.","venue":"ESOP","pages":"590-609","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/Wenner10","doi":"10.1007/978-3-642-11957-6_31","ee":"https://doi.org/10.1007/978-3-642-11957-6_31","url":"https://dblp.org/rec/conf/esop/Wenner10"}, "url":"URL#4901971" }, { "@score":"1", "@id":"4901972", "info":{"authors":{"author":[{"@pid":"21/7915","text":"John Wickerson"},{"@pid":"77/665","text":"Mike Dodds"},{"@pid":"19/5443","text":"Matthew J. Parkinson"}]},"title":"Explicit Stabilisation for Modular Rely-Guarantee Reasoning.","venue":"ESOP","pages":"610-629","year":"2010","type":"Conference and Workshop Papers","access":"open","key":"conf/esop/WickersonDP10","doi":"10.1007/978-3-642-11957-6_32","ee":"https://doi.org/10.1007/978-3-642-11957-6_32","url":"https://dblp.org/rec/conf/esop/WickersonDP10"}, "url":"URL#4901972" }, { "@score":"1", "@id":"4998106", "info":{"authors":{"author":{"@pid":"g/AndrewDGordon","text":"Andrew D. Gordon 0001"}},"title":"Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings","venue":["ESOP","Lecture Notes in Computer Science"],"volume":"6012","publisher":"Springer","year":"2010","type":"Editorship","key":"conf/esop/2010","doi":"10.1007/978-3-642-11957-6","ee":"https://doi.org/10.1007/978-3-642-11957-6","url":"https://dblp.org/rec/conf/esop/2010"}, "url":"URL#4998106" } ] } } } )