Conferences in DBLP
Audrey Tang Perl 6: reconciling the irreconcilable. [Citation Graph (0, 0)][DBLP ] Conf ] Jacob Matthews , Robert Bruce Findler Operational semantics for multi-language programs. [Citation Graph (0, 0)][DBLP ] Conf ] Pavel Avgustinov , Elnar Hajiyev , Neil Ongkingco , Oege de Moor , Damien Sereni , Julian Tibble , Mathieu Verbaere Semantics of static pointcuts in aspectJ. [Citation Graph (0, 0)][DBLP ] Conf ] Juan Chen A typed intermediate language for compiling multiple inheritance. [Citation Graph (0, 0)][DBLP ] Conf ] Maria Jump , Kathryn S. McKinley Cork: dynamic memory leak detection for garbage-collected languages. [Citation Graph (0, 0)][DBLP ] Conf ] Marina Polishchuk , Ben Liblit , Chloë W. Schulze Dynamic heap type inference for program understanding and debugging. [Citation Graph (0, 0)][DBLP ] Conf ] Patrice Godefroid Compositional dynamic test generation. [Citation Graph (0, 0)][DBLP ] Conf ] Xipeng Shen , Jonathan Shaw , Brian Meeker , Chen Ding Locality approximation using time. [Citation Graph (0, 0)][DBLP ] Conf ] Derek Dreyer , Robert Harper , Manuel M. T. Chakravarty , Gabriele Keller Modular type classes. [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey Mark Siskind , Barak A. Pearlmutter First-class nonstandard interpretations by opening closures. [Citation Graph (0, 0)][DBLP ] Conf ] Yitzhak Mandelbaum , Kathleen Fisher , David Walker , Mary F. Fernández , Artem Gleyzer PADS/ML: a functional data description language. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew M. Pitts , Mark R. Shinwell Generative unbinding of names. [Citation Graph (0, 0)][DBLP ] Conf ] Harvey Tuch , Gerwin Klein , Michael Norrish Types, bytes, and separation logic. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew W. Appel , Paul-André Melliès , Christopher D. Richards , Jérôme Vouillon A very modal model of a modern, major, general type system. [Citation Graph (0, 0)][DBLP ] Conf ] Cristiano Calcagno , Philippa Gardner , Uri Zarfaty Context logic as modal logic: completeness and parametric inexpressivity. [Citation Graph (0, 0)][DBLP ] Conf ] Don S. Batory From implementation to theory in product synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] Ralf Lämmel Scrap your boilerplate with XPath-like combinators. [Citation Graph (0, 0)][DBLP ] Conf ] Atsushi Ohori , Isao Sasano Lightweight fusion by fixed point promotion. [Citation Graph (0, 0)][DBLP ] Conf ] Barak A. Pearlmutter , Jeffrey Mark Siskind Lazy multivariate higher-order forward-mode AD. [Citation Graph (0, 0)][DBLP ] Conf ] Kristian Støvring , Søren B. Lassen A complete, co-inductive syntactic theory of sequential control and state. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel K. Lee , Karl Crary , Robert Harper Towards a mechanized metatheory of standard ML. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew Might Logic-flow analysis of higher-order programs. [Citation Graph (0, 0)][DBLP ] Conf ] Ben Wiedermann , William R. Cook Extracting queries by static analysis of transparent persistence. [Citation Graph (0, 0)][DBLP ] Conf ] Josh Berdine , Aziem Chawdhary , Byron Cook , Dino Distefano , Peter W. O'Hearn Variance analyses from invariance analyses. [Citation Graph (0, 0)][DBLP ] Conf ] Pasquale Malacaria Assessing security threats of looping constructs. [Citation Graph (0, 0)][DBLP ] Conf ] Dachuan Yu , Ajay Chander , Nayeem Islam , Igor Serikov JavaScript instrumentation for browser security. [Citation Graph (0, 0)][DBLP ] Conf ] Michele Bugliesi , Marco Giunti Secure implementations of typed channel abstractions. [Citation Graph (0, 0)][DBLP ] Conf ] Chet Murthy Advanced programming language design in enterprise software: a lambda-calculus theorist wanders into a datacenter. [Citation Graph (0, 0)][DBLP ] Conf ] Byron Cook , Alexey Gotsman , Andreas Podelski , Andrey Rybalchenko , Moshe Y. Vardi Proving that programs eventually do something good. [Citation Graph (0, 0)][DBLP ] Conf ] Sumit Gulwani , Nebojsa Jojic Program verification as probabilistic inference. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Emmi , Jeffrey S. Fischer , Ranjit Jhala , Rupak Majumdar Lock allocation. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew J. Parkinson , Richard Bornat , Peter W. O'Hearn Modular verification of a non-blocking stack. [Citation Graph (0, 0)][DBLP ] Conf ] Vineet Kahlon , Aarti Gupta On the analysis of interacting pushdown systems. [Citation Graph (0, 0)][DBLP ] Conf ] John H. Reppy , Yingqi Xiao Specialization of CML message-passing primitives. [Citation Graph (0, 0)][DBLP ] Conf ] Mayur Naik , Alex Aiken Conditional must not aliasing for static race detection. [Citation Graph (0, 0)][DBLP ] Conf ] Ranjit Jhala , Rupak Majumdar Interprocedural analysis of asynchronous programs. [Citation Graph (0, 0)][DBLP ] Conf ] Kapil Vaswani , Aditya V. Nori , Trishul M. Chilimbi Preferential path profiling: compactly numbering interesting paths. [Citation Graph (0, 0)][DBLP ] Conf ] Dan R. Ghica Geometry of synthesis: a structured approach to VLSI design. [Citation Graph (0, 0)][DBLP ] Conf ] Mila Dalla Preda , Mihai Christodorescu , Somesh Jha , Saumya K. Debray A semantics-based approach to malware detection. [Citation Graph (0, 0)][DBLP ] Conf ] 