Search results for "POPL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Noam Rinetzky, Jörg Bauer 0001, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm	A semantics for procedure local heaps and its abstractions.	POPL	2005	DBLP DOI BibTeX RDF	3-valued logic, static analysis, abstract interpretation, shape analysis
1	Sorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers	Automated soundness proofs for dataflow analyses and transformations via local rules.	POPL	2005	DBLP DOI BibTeX RDF	automated correctness proofs, compiler optimization
1	Richard Cobbe, Matthias Felleisen	Environmental acquisition revisited.	POPL	2005	DBLP DOI BibTeX RDF	environmental acquisition, object containment, object-oriented languages, object composition
1	Eijiro Sumii, Benjamin C. Pierce	A bisimulation for type abstraction and recursion.	POPL	2005	DBLP DOI BibTeX RDF	bisimulations, lambda-calculus, logical relations, recursive types, existential types, contextual equivalence
1	Brian Hackett, Radu Rugina	Region-based shape analysis with tracked locations.	POPL	2005	DBLP DOI BibTeX RDF	static error detection, memory management, shape analysis, memory leaks
1	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.	POPL	2005	DBLP DOI BibTeX RDF	bi-directional programming, XML, lenses, harmony, view update problem
1	Sumit Gulwani, George C. Necula	Precise interprocedural analysis using random interpretation.	POPL	2005	DBLP DOI BibTeX RDF	interprocedural value numbering, linear relationships, random interpretation, randomized algorithm, interprocedural analysis, uninterpreted functions
1	Peng Li, Steve Zdancewic	Downgrading policies and relaxed noninterference.	POPL	2005	DBLP DOI BibTeX RDF	downgrading policies, relaxed noninterference, information flow, language-based security, program equivalence
1	John Tang Boyland, William Retert	Connecting effects and uniqueness with adoption.	POPL	2005	DBLP DOI BibTeX RDF	adoption, ownership, uniqueness, permissions
1	Simon J. Gay, Rajagopal Nagarajan	Communicating quantum processes.	POPL	2005	DBLP DOI BibTeX RDF	verification, semantics, quantum computing, types, formal language, quantum communication
1	Jeremy Manson, William W. Pugh, Sarita V. Adve	The Java memory model.	POPL	2005	DBLP DOI BibTeX RDF	Java, concurrency, multithreading, memory model
1	Andreas Podelski, Andrey Rybalchenko	Transition predicate abstraction and fair termination.	POPL	2005	DBLP DOI BibTeX RDF	fair termination, transition predicate abstraction, liveness, software model checking
1	Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow	Associated types with class.	POPL	2005	DBLP DOI BibTeX RDF	associated types, self-optimising libraries, type-directed translation, type-indexed types, type classes
1	Yichen Xie 0001, Alexander Aiken	Scalable error detection using boolean satisfiability.	POPL	2005	DBLP DOI BibTeX RDF	program analysis, error detection, boolean satisfiability
1	Orna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald	Proof-guided underapproximation-widening for multi-process systems.	POPL	2005	DBLP DOI BibTeX RDF	SAT proofs, underapproximation-widening, abstraction, software verification, bounded model checking
1	Matthew J. Parkinson, Gavin M. Bierman	Separation logic and abstraction.	POPL	2005	DBLP DOI BibTeX RDF	modularity, abstract data types, classes, resources, separation logic
1	Richard Bornat, Cristiano Calcagno, Peter W. O'Hearn, Matthew J. Parkinson	Permission accounting in separation logic.	POPL	2005	DBLP DOI BibTeX RDF	concurrency, logic, separation, permissions
1	Healfdene Goguen	A syntactic approach to eta equality in type theory.	POPL	2005	DBLP DOI BibTeX RDF	beta-eta equality, decidability, type checking, logical frameworks
1	Roberto Bruni, Hernán C. Melgratti, Ugo Montanari	Theoretical foundations for compensations in flow composition languages.	POPL	2005	DBLP DOI BibTeX RDF	process description languages, transactions, compensations
1	Sungwoo Park, Frank Pfenning, Sebastian Thrun	A probabilistic language based upon sampling functions.	POPL	2005	DBLP DOI BibTeX RDF	probabilistic language, sampling function, robotics, probability distribution
1	Juan Chen, David Tarditi	A simple typed intermediate language for object-oriented languages.	POPL	2005	DBLP DOI BibTeX RDF	class and object encoding, typed intermediate language
1	Denis Gopan, Thomas W. Reps, Shmuel Sagiv	A framework for numeric analysis of array operations.	POPL	2005	DBLP DOI BibTeX RDF	abstract numeric domains, array analysis, canonical abstraction, program analysis, summarization
1	Silvano Dal-Zilio, Denis Lugiez, Charles Meyssonnier	A logic you can count on.	POPL	2004	DBLP DOI BibTeX RDF	semi-structured data, tree automata, substructural logic, Presburger arithmetic, ambient
1	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan	Abstractions from proofs.	POPL	2004	DBLP DOI BibTeX RDF	counterexample analysis, software model checking, predicate abstraction
1	Neil D. Jones, Xavier Leroy (eds.)	Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004	POPL	2004	DBLP DOI BibTeX RDF
1	Cormac Flanagan, Stephen N. Freund	Atomizer: a dynamic atomicity checker for multithreaded programs.	POPL	2004	DBLP DOI BibTeX RDF	dynamic analysis, reduction, atomicity
1	François Pottier, Nadji Gauthier	Polymorphic typed defunctionalization.	POPL	2004	DBLP DOI BibTeX RDF	type preservation, polymorphism, defunctionalization, closure conversion
1	Xavier Rival	Symbolic transfer function-based approaches to certified compilation.	POPL	2004	DBLP DOI BibTeX RDF	compilation, static analysis, abstract interpretation, certification, translation validation
1	Nobuko Yoshida	Channel dependent types for higher-order mobile processes.	POPL	2004	DBLP DOI BibTeX RDF	the higher-order ?-calculus, access control, types, secrecy, mobile processes
1	Hans-Juergen Boehm	The space cost of lazy reference counting.	POPL	2004	DBLP DOI BibTeX RDF	garbage collection, memory allocation, space complexity, reference counting
1	Derek Dreyer	A type system for well-founded recursion.	POPL	2004	DBLP DOI BibTeX RDF	yype systems, recursion, effect systems, recursive modules
1	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon 0001	A semantics for web services authentication.	POPL	2004	DBLP DOI BibTeX RDF	web services, XML security, applied pi calculus
1	Bryan Ford	Parsing expression grammars: a recognition-based syntactic foundation.	POPL	2004	DBLP DOI BibTeX RDF	GTDPL, TDPL, packrat parsing, parsing expression grammars, scannerless parsing, syntactic predicates, unified grammars, regular expressions, context-free grammars, lexical analysis, BNF
1	Roberto Giacobazzi, Isabella Mastroeni	Abstract non-interference: parameterizing non-interference by abstract interpretation.	POPL	2004	DBLP DOI BibTeX RDF	abstract interpretation, language-based security, non-interference, abstract domains
1	Davide Ancona, Elena Zucca	Principal typings for Java-like languages.	POPL	2004	DBLP DOI BibTeX RDF	Java-like languages, selective recompilation, principal typings
1	Sriram Sankaranarayanan 0001, Henny Sipma, Zohar Manna	Non-linear loop invariant generation using Gröbner bases.	POPL	2004	DBLP DOI BibTeX RDF	Gröbner bases, verification, program analysis, constraint programming, symbolic computation, ideals, invariant generation
1	Lars Birkedal, Noah Torp-Smith, John C. Reynolds	Local reasoning about a copying garbage collector.	POPL	2004	DBLP DOI BibTeX RDF	copying garbage collector, separation logic, local reasoning
1	Markus Müller-Olm, Helmut Seidl	Precise interprocedural analysis through linear algebra.	POPL	2004	DBLP DOI BibTeX RDF	affine relation, polynomial relation, linear algebra, interprocedural analysis, weakest precondition
1	Patrick Cousot, Radhia Cousot	An abstract interpretation-based framework for software watermarking.	POPL	2004	DBLP DOI BibTeX RDF	software authorship, stegoanalyst, stegoattacks, stegokey, stegomark, stegosignature, validation watermarking, authentication, static analysis, abstract interpretation, steganography, fingerprinting, identification, copyrights protection, trustworthiness, obfuscation, intellectual property protection, software watermarking, tamper-proofing
1	Patricia Johann, Janis Voigtländer	Free theorems in the presence of seq.	POPL	2004	DBLP DOI BibTeX RDF	controlling strict evaluation, short cut fusion, theorems for free, program transformations, Haskell, denotational semantics, parametricity, correctness proofs, logical relations
1	Jana Dunfield, Frank Pfenning	Tridirectional typechecking.	POPL	2004	DBLP DOI BibTeX RDF	type refinements, dependent types, intersection types, union types
1	Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof	Summarizing procedures in concurrent programs.	POPL	2004	DBLP DOI BibTeX RDF	interprocedural dataflow analysis, procedure summaries, model checking, transactions, concurrent programs, reduction, pushdown systems
1	Ganesh Sittampalam, Oege de Moor, Ken Friis Larsen	Incremental execution of transformation specifications.	POPL	2004	DBLP DOI BibTeX RDF	language factors, residuation operators, transformation specification, logic programming, constraints, program transformation, program analysis, incremental algorithm
1	Marcelo P. Fiore	Isomorphisms of generic recursive polynomial types.	POPL	2004	DBLP DOI BibTeX RDF	Gröbner bases, type isomorphism, data structure, type theory, recursive types, word problem, semigroups, rigs
1	Nick Benton	Simple relational correctness proofs for static analyses and program transformations.	POPL	2004	DBLP DOI BibTeX RDF	partial equivalence relations, security, dependency, program analysis, information flow, types, optimizing compilation, denotational semantics, Hoare logic
1	Jerome Vouillon, Paul-André Melliès	Semantic types: a fresh look at the ideal model for types.	POPL	2004	DBLP DOI BibTeX RDF	ideal model, inductive/coinductive principle, polymorphism, subtyping, realizability, recursive types
1	Eijiro Sumii, Benjamin C. Pierce	A bisimulation for dynamic sealing.	POPL	2004	DBLP DOI BibTeX RDF
1	Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore	Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums.	POPL	2004	DBLP DOI BibTeX RDF	Grothendieck logical relations, strong sums, type-directed partial evaluation, typed lambda calculus, normalisation
1	Peter W. O'Hearn, Hongseok Yang, John C. Reynolds	Separation and information hiding.	POPL	2004	DBLP DOI BibTeX RDF	resource protection, modularity, separation logic
1	Sumit Gulwani, George C. Necula	Global value numbering using random interpretation.	POPL	2004	DBLP DOI BibTeX RDF	global value numbering, herbrand equivalences, random interpretation, randomized algorithm, uninterpreted functions
1	Dachuan Yu, Andrew Kennedy, Don Syme	Formalization of generics for the .NET common language runtime.	POPL	2004	DBLP DOI BibTeX RDF	CLR, run-time types, generics, polymorphism, NET
1	Denis Caromel, Ludovic Henrio, Bernard P. Serpette	Asynchronous and deterministic objects.	POPL	2004	DBLP DOI BibTeX RDF	object calculus, parallelism, concurrency, distribution, object-oriented languages, determinism, futures
1	Sriraman Tallam, Rajiv Gupta 0001	Bitwidth aware global register allocation.	POPL	2003	DBLP DOI BibTeX RDF	minimal bitwidth, packing interfering nodes, subword data, embedded applications
1	Jérôme Siméon, Philip Wadler	The essence of XML.	POPL	2003	DBLP DOI BibTeX RDF	XML, validation, XPath, XQuery, XML schema
1	Larry Carter, Jeanne Ferrante, Clark D. Thomborson	Folklore confirmed: reducible flow graphs are exponentially larger.	POPL	2003	DBLP DOI BibTeX RDF	safety/security in digital systems, computational complexity, compilers, programming languages
1	Walid Taha, Michael Florentin Nielsen	Environment classifiers.	POPL	2003	DBLP DOI BibTeX RDF	type systems, modal logic, type safety, linear temporal logic, multi-stage programming
1	Hans-Juergen Boehm	Destructors, finalizers, and synchronization.	POPL	2003	DBLP DOI BibTeX RDF	destructor, synchronization, garbage collection, deadlock, thread, finalization
1	Leaf Petersen, Robert Harper 0001, Karl Crary, Frank Pfenning	A type theory for memory allocation and data layout.	POPL	2003	DBLP DOI BibTeX RDF	ordered logic, memory management, type theory, data representation
1	Alan Schmitt, Jean-Bernard Stefani	The m-calculus: a higher-order distributed process calculus.	POPL	2003	DBLP DOI BibTeX RDF	mobility, distribution, type systems, process calculi, higher order
1	Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori	Pure patterns type systems.	POPL	2003	DBLP DOI BibTeX RDF	Curry-Howard, pure type systems, patterns, matching, logics, Lambda-calculus, rewriting
1	Hayo Thielecke	From control effects to typed continuation passing.	POPL	2003	DBLP DOI BibTeX RDF	control effects, polymorphism, continuations, type and effect systems
1	Hongwei Xi, Chiyan Chen, Gang Chen	Guarded recursive datatype constructors.	POPL	2003	DBLP DOI BibTeX RDF	guarded recursive datatype constructors
1	Martin Hofmann 0001, Steffen Jost	Static prediction of heap space usage for first-order functional programs.	POPL	2003	DBLP DOI BibTeX RDF	program analysis, functional programming, garbage collection, resources, heap
1	Venkatesan T. Chakaravarthy	New results on the computability and complexity of points - to analysis.	POPL	2003	DBLP DOI BibTeX RDF	flow-insensitive, complexity, pointer analysis, undecidability, flow-sensitive
1	Ahmed Bouajjani, Javier Esparza, Tayssir Touili	A generic approach to the static analysis of concurrent programs with procedures.	POPL	2003	DBLP DOI BibTeX RDF	concurrent programs with procedures, verification, static analysis, abstraction, kleene algebras, pushdown systems
1	David F. Bacon, Perry Cheng, V. T. Rajan	A real-time garbage collector with low overhead and consistent utilization.	POPL	2003	DBLP DOI BibTeX RDF	defragmentation, real-time scheduling, utilization, read barrier
1	Ovidiu Gheorghioiu, Alexandru Salcianu, Martin C. Rinard	Interprocedural compatibility analysis for static object preallocation.	POPL	2003	DBLP DOI BibTeX RDF	memory preallocation, static analysis, interprocedural analysis
1	Gang Chen	Coercive subtyping for the calculus of constructions.	POPL	2003	DBLP DOI BibTeX RDF	calculus of constructions, semantics of coercions, transitivity elimination, subtyping, coercion
1	Ole Høgh Jensen, Robin Milner	Bigraphs and transitions.	POPL	2003	DBLP DOI BibTeX RDF	bigraph, mobile computation, reactive system, transition system, ?-calculus, bisimilarity
1	Yoav Zibin, Joseph Gil	Incremental algorithms for dispatching in dynamically typed languages.	POPL	2003	DBLP DOI BibTeX RDF	hierarchy, CT, message, incremental, dispatch, dynamic-typing
1	Alex Aiken, Greg Morrisett (eds.)	Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003	POPL	2003	DBLP DOI BibTeX RDF
1	Derek Dreyer, Karl Crary, Robert Harper 0001	A type system for higher-order modules.	POPL	2003	DBLP DOI BibTeX RDF	modularity, generativity, abstract data types, type theory, computational effects, singleton types, functors
1	Thomas Ball, Mayur Naik, Sriram K. Rajamani	From symptom to cause: localizing errors in counterexample traces.	POPL	2003	DBLP DOI BibTeX RDF	debugging, software model checking
1	Yoav Zibin, Joseph Gil, Jeffrey Considine	Efficient algorithms for isomorphisms of simple types.	POPL	2003	DBLP DOI BibTeX RDF	first order isomorphism, linear isomorphism, non-recursive types, simple types, type signature
1	Umut A. Acar, Guy E. Blelloch, Robert Harper 0001	Selective memoization.	POPL	2003	DBLP DOI BibTeX RDF	performance, selective, memoization, programmer controlled
1	Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira	Ownership types for object encapsulation.	POPL	2003	DBLP DOI BibTeX RDF	object encapsulation, ownership types, software upgrades
1	Karl Crary	Toward a foundational typed assembly language.	POPL	2003	DBLP DOI BibTeX RDF	proof-carrying code, typed assembly language
1	Sumit Gulwani, George C. Necula	Discovering affine equalities using random interpretation.	POPL	2003	DBLP DOI BibTeX RDF	affine relationships, linear equalities, random interpretation, randomized algorithm
1	Cormac Flanagan, Shaz Qadeer	Predicate abstraction for software verification.	POPL	2002	DBLP DOI BibTeX RDF
1	Cédric Fournet, Andrew D. Gordon 0001	Stack inspection: theory and variants.	POPL	2002	DBLP DOI BibTeX RDF
1	Rajit Manohar	Scalable formal design methods for asynchronous VLSI.	POPL	2002	DBLP DOI BibTeX RDF
1	Erez Petrank, Dror Rawitz	The hardness of cache conscious data placement.	POPL	2002	DBLP DOI BibTeX RDF	Cache conscious data placement, cache conscious code rearrangement, computational complexity, memory management, hardness of approximation
1	Glenn Ammons, Rastislav Bodík, James R. Larus	Mining specifications.	POPL	2002	DBLP DOI BibTeX RDF
1	Zhendong Su 0001, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen	The first-order theory of subtyping constraints.	POPL	2002	DBLP DOI BibTeX RDF
1	Massimo Merro, Matthew Hennessy	Bisimulation congruences in safe ambients.	POPL	2002	DBLP DOI BibTeX RDF
1	Atsushi Igarashi, Naoki Kobayashi 0001	Resource usage analysis.	POPL	2002	DBLP DOI BibTeX RDF
1	Martin Hofmann 0001	The strength of non-size increasing computation.	POPL	2002	DBLP DOI BibTeX RDF	computational complexity, semantics, higher-order functions, finite model
1	Yefim Shuf, Manish Gupta 0002, Rajesh Bordawekar, Jaswinder Pal Singh	Exploiting prolific types for memory management and optimizations.	POPL	2002	DBLP DOI BibTeX RDF
1	Hans-Juergen Boehm	Bounding space usage of conservative garbage collectors.	POPL	2002	DBLP DOI BibTeX RDF
1	David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen	Proving correctness of compiler optimizations by temporal logic.	POPL	2002	DBLP DOI BibTeX RDF
1	Kohei Honda 0001, Nobuko Yoshida	A uniform type structure for secure information flow.	POPL	2002	DBLP DOI BibTeX RDF
1	Anindya Banerjee 0001, David A. Naumann	Representation independence, confinement and access control [extended abstract].	POPL	2002	DBLP DOI BibTeX RDF
1	Sorin Lerner, David Grove, Craig Chambers	Composing dataflow analyses and transformations.	POPL	2002	DBLP DOI BibTeX RDF
1	Matthias Neubauer, Peter Thiemann 0001, Martin Gasbichler, Michael Sperber	Functional logic overloading.	POPL	2002	DBLP DOI BibTeX RDF
1	Martín Abadi, Bruno Blanchet	Analyzing security protocols with secrecy types and logic programs.	POPL	2002	DBLP DOI BibTeX RDF
1	Sagar Chaki, Sriram K. Rajamani, Jakob Rehof	Types as models: model checking message-passing programs.	POPL	2002	DBLP DOI BibTeX RDF
1	François Pottier, Vincent Simonet	Information flow inference for ML.	POPL	2002	DBLP DOI BibTeX RDF
1	Thomas Ball, Sriram K. Rajamani	The SLAM project: debugging system software via static analysis.	POPL	2002	DBLP DOI BibTeX RDF
1	George C. Necula, Scott McPeak, Westley Weimer	CCured: type-safe retrofitting of legacy code.	POPL	2002	DBLP DOI BibTeX RDF
1	Norman Ramsey, Avi Pfeffer	Stochastic lambda calculus and monads of probability distributions.	POPL	2002	DBLP DOI BibTeX RDF

Publications at "POPL"( http://dblp.L3S.de/Venues/POPL )