Conferences in DBLP
James McKinna Why dependent types matter. [Citation Graph (0, 0)][DBLP ] Conf ] Kathleen Fisher , Yitzhak Mandelbaum , David Walker The next 700 data description languages. [Citation Graph (0, 0)][DBLP ] Conf ] Chengliang Zhang , Chen Ding , Mitsunori Ogihara , Yutao Zhong , Youfeng Wu A hierarchical model of data locality. [Citation Graph (0, 0)][DBLP ] Conf ] Gautam Gupta , Sanjay V. Rajopadhye Simplifying reductions. [Citation Graph (0, 0)][DBLP ] Conf ] Xavier Leroy Formal certification of a compiler back-end or: programming a compiler with a proof assistant. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Bishop , Matthew Fairbairn , Michael Norrish , Peter Sewell , Michael Smith , Keith Wansbrough Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations. [Citation Graph (0, 0)][DBLP ] Conf ] Mads Dam Decidability and proof systems for language-based noninterference relations. [Citation Graph (0, 0)][DBLP ] Conf ] Sebastian Hunt , David Sands On flow-sensitive security types. [Citation Graph (0, 0)][DBLP ] Conf ] Torben Amtoft , Sruthi Bandhakavi , Anindya Banerjee A logic for information flow in object-oriented programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jerome Vouillon Polymorphic regular tree types and patterns. [Citation Graph (0, 0)][DBLP ] Conf ] Shuvendu K. Lahiri , Shaz Qadeer Verifying properties of well-founded linked lists. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew Might , Olin Shivers Environment analysis via Delta CFA. [Citation Graph (0, 0)][DBLP ] Conf ] Vasileios Koutavas , Mitchell Wand Small bisimulations for reasoning about higher-order imperative programs. [Citation Graph (0, 0)][DBLP ] Conf ] Rajeev Alur , Swarat Chaudhuri , P. Madhusudan A fixpoint calculus for local and global program flows. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Odersky The Scala experiment: can we provide better language support for component systems? [Citation Graph (0, 0)][DBLP ] Conf ] Norman Danner , James S. Royer Adventures in time and space. [Citation Graph (0, 0)][DBLP ] Conf ] Albert Cohen , Marc Duranton , Christine Eisenbeis , Claire Pagetti , Florence Plateau , Marc Pouzet N -synchronous Kahn networks: a relaxed model of synchrony for real-time systems.Citation Graph (0, 0)][DBLP ] Conf ] Guangyu Chen , Feihui Li , Mahmut T. Kandemir Compiler-directed channel allocation for saving power in on-chip networks. [Citation Graph (0, 0)][DBLP ] Conf ] Nils Anders Danielsson , John Hughes , Patrik Jansson , Jeremy Gibbons Fast and loose reasoning is morally correct. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Meunier , Robert Bruce Findler , Matthias Felleisen Modular set-based analysis from contracts. [Citation Graph (0, 0)][DBLP ] Conf ] François Pottier , Yann Régis-Gianas Stratified type inference for generalized algebraic data types. [Citation Graph (0, 0)][DBLP ] Conf ] Cormac Flanagan Hybrid type checking. [Citation Graph (0, 0)][DBLP ] Conf ] Ik-Soon Kim , Kwangkeun Yi , Cristiano Calcagno A polymorphic modal type system for lisp-like multi-staged languages. [Citation Graph (0, 0)][DBLP ] Conf ] Tim Sweeney The next mainstream programming language: a game developer's perspective. [Citation Graph (0, 0)][DBLP ] Conf ] Erik Ernst , Klaus Ostermann , William R. Cook A virtual class calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Jed Liu , Aaron Kimball , Andrew C. Myers Interruptible iterators. [Citation Graph (0, 0)][DBLP ] Conf ] Gabriel Dos Reis , Bjarne Stroustrup Specifying C++ concepts. [Citation Graph (0, 0)][DBLP ] Conf ] Hayo Thielecke Frame rules from answer types for code pointers. [Citation Graph (0, 0)][DBLP ] Conf ] Zhaozhong Ni , Zhong Shao Certified assembly programming with embedded code pointers. [Citation Graph (0, 0)][DBLP ] Conf ] Mandana Vaziri , Frank Tip , Julian Dolby Associating synchronization constraints with data in an object-oriented language. [Citation Graph (0, 0)][DBLP ] Conf ] Bill McCloskey , Feng Zhou , David Gay , Eric A. Brewer Autolocker: synchronization inference for atomic sections. [Citation Graph (0, 0)][DBLP ] Conf ] Yi Lu 0003 , John Potter Protecting representation with effect encapsulation. [Citation Graph (0, 0)][DBLP ] Conf ] Zhendong Su , Gary Wassermann The essence of command injection attacks in web applications. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel S. Dantas , David Walker Harmless advice. [Citation Graph (0, 0)][DBLP ] Conf ] Vijay Menon , Neal Glew , Brian R. Murphy , Andrew McCreight , Tatiana Shpeisman , Ali-Reza Adl-Tabatabai , Leaf Petersen A verifiable SSA program representation for aggressive compiler optimization. [Citation Graph (0, 0)][DBLP ] Conf ] Reuben Olinsky , Christian Lindig , Norman Ramsey Staged allocation: a compositional technique for specifying and implementing procedure calling conventions. [Citation Graph (0, 0)][DBLP ] Conf ] 