Conferences in DBLP
Haruo Hosoya Type Systems for XML. [Citation Graph (0, 0)][DBLP ] Conf ] Tarmo Uustalu , Varmo Vene The Essence of Dataflow Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Ivana Mijajlovic , Hongseok Yang Data Refinement with Low-Level Pointer Operations. [Citation Graph (0, 0)][DBLP ] Conf ] William L. Harrison A Simple Semantics for Polymorphic Recursion. [Citation Graph (0, 0)][DBLP ] Conf ] Josh Berdine , Cristiano Calcagno , Peter W. O'Hearn Symbolic Execution with Separation Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco Ranzato , Francesco Tapparo An Abstract Interpretation Perspective on Linear vs. Branching Time. [Citation Graph (0, 0)][DBLP ] Conf ] David Monniaux The Parallel Implementation of the Astrée Static Analyzer. [Citation Graph (0, 0)][DBLP ] Conf ] John Whaley , Dzintars Avots , Michael Carbin , Monica S. Lam Using Datalog with Binary Decision Diagrams for Program Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] K. Rustan M. Leino , Francesco Logozzo Loop Invariants on Demand. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Cousot Integrating Physical Systems in the Static Analysis of Embedded Control Software. [Citation Graph (0, 0)][DBLP ] Conf ] V. Benjamin Livshits , John Whaley , Monica S. Lam Reflection Analysis for Java. [Citation Graph (0, 0)][DBLP ] Conf ] Atsushi Igarashi , Chieri Saito , Mirko Viroli Lightweight Family Polymorphism. [Citation Graph (0, 0)][DBLP ] Conf ] Walter Binder A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting. [Citation Graph (0, 0)][DBLP ] Conf ] Chien-An Chen , Sara Kalvala , Jane Sinclair Race Conditions in Message Sequence Charts. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas W. Reps , Gogul Balakrishnan , Junghee Lim , Tim Teitelbaum A Next-Generation Platform for Analyzing Executables. [Citation Graph (0, 0)][DBLP ] Conf ] Hugh Anderson , Siau-Cheng Khoo , Stefan Andrei , Beatrice Luca Calculating Polynomial Runtime Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Silvano Dal-Zilio , Régis Gascon Resource Bound Certification for a Tail-Recursive Virtual Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Hyun-Goo Kang , Youil Kim , Taisook Han , Hwansoo Han A Path Sensitive Type System for Resource Usage Verification of C Like Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Damien Sereni , Neil D. Jones Termination Analysis of Higher-Order Functional Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Aditya Kanade , Uday P. Khedker , Amitabha Sanyal Heterogeneous Fixed Points with Application to Points-To Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Fernando Magno Quintão Pereira , Jens Palsberg Register Allocation Via Coloring of Chordal Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Vanbroekhoven , Gerda Janssens , Maurice Bruynooghe , Francky Catthoor Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Xavier Rival Abstract Dependences for Alarm Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Nick Benton A Typed, Compositional Logic for a Stack-Based Abstract Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Roberta Gori , Francesca Levi A New Occurrence Counting Analysis for BioAmbients. [Citation Graph (0, 0)][DBLP ] Conf ] Dino Distefano A Parametric Model for the Analysis of Mobile Ambients. [Citation Graph (0, 0)][DBLP ] Conf ] Isabella Mastroeni On the Rôle of Abstract Non-interference in Language-Based Security. [Citation Graph (0, 0)][DBLP ] Conf ] 