Conferences in DBLP
Manuel M. T. Chakravarty , Gabriele Keller , Simon L. Peyton Jones , Simon Marlow Associated types with class. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Cobbe , Matthias Felleisen Environmental acquisition revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Davide Ancona , Ferruccio Damiani , Sophia Drossopoulou , Elena Zucca Polymorphic bytecode: compositional compilation for Java-like languages. [Citation Graph (0, 0)][DBLP ] Conf ] Juan Chen , David Tarditi A simple typed intermediate language for object-oriented languages. [Citation Graph (0, 0)][DBLP ] Conf ] Haruo Hosoya , Alain Frisch , Giuseppe Castagna Parametric polymorphism for XML. [Citation Graph (0, 0)][DBLP ] Conf ] Eijiro Sumii , Benjamin C. Pierce A bisimulation for type abstraction and recursion. [Citation Graph (0, 0)][DBLP ] Conf ] Healfdene Goguen A syntactic approach to eta equality in type theory. [Citation Graph (0, 0)][DBLP ] Conf ] Dan R. Ghica Slot games: a quantitative model of computation. [Citation Graph (0, 0)][DBLP ] Conf ] Rajeev Alur , Pavol Cerný , P. Madhusudan , Wonhong Nam Synthesis of interface specifications for Java classes. [Citation Graph (0, 0)][DBLP ] Conf ] Cormac Flanagan , Patrice Godefroid Dynamic partial-order reduction for model checking software. [Citation Graph (0, 0)][DBLP ] Conf ] Orna Grumberg , Flavio Lerda , Ofer Strichman , Michael Theobald Proof-guided underapproximation-widening for multi-process systems. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Podelski , Andrey Rybalchenko Transition predicate abstraction and fair termination. [Citation Graph (0, 0)][DBLP ] Conf ] Simon J. Gay , Rajagopal Nagarajan Communicating quantum processes. [Citation Graph (0, 0)][DBLP ] Conf ] Peng Li , Steve Zdancewic Downgrading policies and relaxed noninterference. [Citation Graph (0, 0)][DBLP ] Conf ] Sungwoo Park , Frank Pfenning , Sebastian Thrun A probabilistic language based upon sampling functions. [Citation Graph (0, 0)][DBLP ] Conf ] Gareth Stoyle , Michael W. Hicks , Gavin M. Bierman , Peter Sewell , Iulian Neamtiu Mutatis mutandis: safe and predictable dynamic software updating. [Citation Graph (0, 0)][DBLP ] Conf ] John Field , Carlos A. Varela Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Bruni , Hernán C. Melgratti , Ugo Montanari Theoretical foundations for compensations in flow composition languages. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Neubauer , Peter Thiemann From sequential programs to multi-tier applications by program transformation. [Citation Graph (0, 0)][DBLP ] Conf ] J. Nathan Foster , Michael B. Greenwald , Jonathan T. Moore , Benjamin C. Pierce , Alan Schmitt Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew J. Parkinson , Gavin M. Bierman Separation logic and abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Bornat , Cristiano Calcagno , Peter W. O'Hearn , Matthew J. Parkinson Permission accounting in separation logic. [Citation Graph (0, 0)][DBLP ] Conf ] Cristiano Calcagno , Philippa Gardner , Uri Zarfaty Context logic and tree update. [Citation Graph (0, 0)][DBLP ] Conf ] John Tang Boyland , William Retert Connecting effects and uniqueness with adoption. [Citation Graph (0, 0)][DBLP ] Conf ] Noam Rinetzky , Jörg Bauer , Thomas W. Reps , Shmuel Sagiv , Reinhard Wilhelm A semantics for procedure local heaps and its abstractions. [Citation Graph (0, 0)][DBLP ] Conf ] Brian Hackett , Radu Rugina Region-based shape analysis with tracked locations. [Citation Graph (0, 0)][DBLP ] Conf ] Sumit Gulwani , George C. Necula Precise interprocedural analysis using random interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Denis Gopan , Thomas W. Reps , Shmuel Sagiv A framework for numeric analysis of array operations. [Citation Graph (0, 0)][DBLP ] Conf ] Yichen Xie , Alexander Aiken Scalable error detection using boolean satisfiability. [Citation Graph (0, 0)][DBLP ] Conf ] Sorin Lerner , Todd D. Millstein , Erika Rice , Craig Chambers Automated soundness proofs for dataflow analyses and transformations via local rules. [Citation Graph (0, 0)][DBLP ] Conf ] Jeremy Manson , William Pugh , Sarita V. Adve The Java memory model. [Citation Graph (0, 0)][DBLP ] Conf ] 