Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | John Launchbury, John C. Mitchell (eds.) |
Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, OR, USA, January 16-18, 2002 |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Umut A. Acar, Guy E. Blelloch, Robert Harper 0001 |
Adaptive functional programming. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou |
A type system for certified binaries. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Felleisen |
From POPL to the classroom and back. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre |
Lazy abstraction. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Shai Rubin, Rastislav Bodík, Trishul M. Chilimbi |
An efficient profile-analysis framework for data-layout optimizations. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Matthai Philipose, Craig Chambers, Susan J. Eggers |
Towards automatic construction of staged compilers. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Kuncak, Patrick Lam 0001, Martin C. Rinard |
Role analysis. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Cousot, Radhia Cousot |
Systematic design of program transformation frameworks by abstract interpretation. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Peter Sewell |
Modules, abstract types, and distributed versioning. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Martin Odersky, Christoph Zenger 0002, Matthias Zenger |
Colored local type inference. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Mahmut T. Kandemir |
A compiler technique for improving whole-program locality. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
static optimizations, optimizing compilers, data reuse, cache locality, memory layouts |
1 | Jerome Vouillon |
Combining subsumption and binary methods: an object calculus with views. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jakob Rehof, Manuel Fähndrich |
Type-base flow analysis: from polymorphic subtyping to CFL-reachability. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Cormac Flanagan, James B. Saxe |
Avoiding exponential explosion: generating compact verification conditions. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | David Monniaux |
An abstract Monte-Carlo method for the analysis of probabilistic programs. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Haruo Hosoya, Benjamin C. Pierce |
Regular expression pattern matching for XML. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
XML |
1 | Chris Hankin, Dave Schmidt (eds.) |
Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, London, UK, January 17-19, 2001 |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Andrew D. Gordon 0001, Don Syme |
Typing a multi-language intermediate code. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Mark Shields, Erik Meijer 0001 |
Type-indexed rows. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
XML, SGML |
1 | Martín Abadi, Cédric Fournet |
Mobile values, new names, and secure communication. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | John C. Mitchell |
Programming language methods in computer security. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Cristiano Calcagno |
Stratified operational semantics for safety and correctness of the region calculus. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Asis Unyapoth, Peter Sewell |
Nomadic pict: correct communication infrastructure for mobile computation. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Gil |
Subtyping arithmetical types. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Michele Bugliesi, Giuseppe Castagna |
Secure safe ambients. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Atsushi Igarashi, Naoki Kobayashi 0001 |
A generic type system for the Pi-calculus. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Robin Milner |
Computational flux. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Davide Sangiorgi |
Extensionality and Intensionality of the Ambient Logics. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Harald Ganzinger |
Efficient deductive methods for program analysis. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram |
The size-change principle for program termination. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
omega automaton, program analysis, termination, partial evaluation, PSPACE-completeness |
1 | Eran Yahav |
Verifying safety properties of concurrent Java programs using 3-valued logic. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
Java |
1 | Samin S. Ishtiaq, Peter W. O'Hearn |
BI as an Assertion Language for Mutable Data Structures. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Karthikeyan Bhargavan, Satish Chandra 0001, Peter J. McCann, Carl A. Gunter |
What packets may come: automata for network monitoring. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
TCP/IP |
1 | George C. Necula, Shree Prakash Rahul |
Oracle-based checking of untrusted software. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
ORACLE |
1 | Daniel C. Wang, Andrew W. Appel |
Type-preserving garbage collectors. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Nevin Heintze, Joxan Jaffar, Razvan Voicu |
A Framework for Combining Analysis and Verification. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
program analysis, abstract interpretation, program verification |
1 | Hanne Riis Nielson, Flemming Nielson |
Shape Analysis for Mobile Ambients. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Martín Abadi, Cédric Fournet, Georges Gonthier |
Authentication Primitives and Their Compilation. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Anders Sandholm 0001, Michael I. Schwartzbach |
A Type System for Dynamic Web Documents. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Todd B. Knoblock, Jakob Rehof |
Type Elaboration and Subtype Completion for Java Bytecode. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Alan Bawden |
First-Class Macros have Types. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Luca Cardelli, Andrew D. Gordon 0001 |
Anytime, Anywhere: Modal Logics for Mobile Ambients. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Craig Chambers, Bill Harrison, John M. Vlissides |
A Debate on Language and Tool Support for Design Patterns. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
programming lnguages, design patterns, software development, tools |
1 | Christopher A. Stone, Robert Harper 0001 |
Deciding Type Equivalence with Singleton Kinds. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Raghavan Komondoor, Susan Horwitz |
Semantics-Preserving Procedure Extraction. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Francesca Levi, Davide Sangiorgi |
Controlling Interference in Ambients. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Timothy J. Hickey |
Analytic Constraint Solving and Interval Arithmetic. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Oliver Rüthing, Jens Knoop, Bernhard Steffen |
Sparse Code Motion. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
busy code motion, compuational optimality, embedded processors and systems, expression motion, lazy code motion, life-time optimality, code motion, partial redundancy elimination, code size, space optimality |
1 | Andrew W. Appel, Amy P. Felty |
A Semantic Model of Types and Machine Instructions for Proof-Carrying Code. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Colcombet, Pascal Fradet |
Enforcing Trace Properties by Program Transformation. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey R. Lewis, John Launchbury, Erik Meijer 0001, Mark Shields |
Implicit Parameters: Dynamic Scoping with Static Types. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Hinze |
A New Approach to Generic Functional Programming. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Radu Grosu |
Modular Refinement of Hierarchic Reactive Machines. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Mark N. Wegman, Thomas W. Reps (eds.) |
POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, January 19-21, 2000 |
POPL |
2000 |
DBLP BibTeX RDF |
|
1 | Carl A. Gunter, Trevor Jim |
Generalized Certificate Revocation. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Dennis M. Volpano, Geoffrey Smith 0001 |
Verifying Secrets and Relative Secrecy. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ben Liblit, Alexander Aiken |
Type Systems for Distributed Data Structures. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Karl Crary, Stephanie Weirich |
Resource Bound Certification. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Witold Charatonik, Andreas Podelski, Jean-Marc Talbot |
Paths vs. Trees in Set-Based Program Analysis. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza, Andreas Podelski |
Efficient Algorithms for pre* and post* on Interprocedural Parallel Flow Graphs. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Yoo C. Chung, Soo-Mook Moon, Kemal Ebcioglu, Dan Sahlin |
Reducing Sweep Time for a Nearly Empty Heap. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | David Walker 0001 |
A Type System for Expressive Security Policies. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Zhendong Su 0001, Manuel Fähndrich, Alexander Aiken |
Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Johan Agat |
Transforming Out Timing Leaks. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Cousot, Radhia Cousot |
Temporal Abstract Interpretation. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Robert Muth, Saumya K. Debray |
On the Complexity of Flow-Sensitive Dataflow Analyses. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Asperti, Paolo Coppola 0001, Simone Martini 0001 |
(Optimal) Duplication is not Elementary Recursive. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Karl Crary, David Walker 0001, J. Gregory Morrisett |
Typed Memory Management in a Calculus of Capabilities. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | James Riely, Matthew Hennessy |
Trust and Partial Typing in Open Systems of Mobile Agents. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Moran, David Sands 0001 |
Improvement in a Lazy Context: An Operational Theory for Call-by-Need. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Luca Cardelli, Andrew D. Gordon 0001 |
Types for Mobile Ambients. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
Java |
1 | Martin Ruckert |
Continuous Grammars. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte |
AnnoDomini: From Type Theory to Year 2000 Conversion Tool. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
COBOL |
1 | Robert O'Callahn |
A Simple, Comprehensive Type System for Java Bytecode Subroutines. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
polymorphic recursion, Java, Java, types, continuations, subroutines, bytecode |
1 | Vineet Gupta 0001, Radha Jagadeesan, Prakash Panangaden |
Stochastic Processes as Concurrent Constraint Programs. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Neal Glew, J. Gregory Morrisett |
Type-Safe Linking and Modular Assembly Language. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Keith Wansbrough, Simon L. Peyton Jones |
Once Upon a Polymorphic Type. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Martín Abadi, Anindya Banerjee 0001, Nevin Heintze, Jon G. Riecke |
A Core Calculus of Dependency. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm |
Parametric Shape Analysis via 3-Valued Logic. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Kobayashi 0001 |
Quasi-Linear Types. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Mitchell Wand, Igor Siveroni |
Constraint Systems for Useless Variable Elimination. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | A. J. Kfoury, J. B. Wells |
Principality and Decidable Type Inference for Finite-Rank Intersection Types. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Hongwei Xi, Frank Pfenning |
Dependent Types in Practical Programming. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
ML |
1 | M. Anton Ertl |
Optimal Code Selection in DAGs. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | G. Ramalingam, John Field, Frank Tip |
Aggregate Structure Identification and Its Application to Program Analysis. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Ramkrishna Chatterjee, Barbara G. Ryder, William Landi |
Relevant Context Inference. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Andrew W. Appel, Alex Aiken (eds.) |
POPL '99, Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, TX, USA, January 20-22, 1999 |
POPL |
1999 |
DBLP BibTeX RDF |
|
1 | François Pessaux, Xavier Leroy |
Type-Based Analysis of Uncaught Exceptions. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
ML |
1 | Andrew C. Myers |
JFlow: Practical Mostly-Static Information Flow Control. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
Java |
1 | Christian S. Collberg, Clark D. Thomborson |
Software Watermarking: Models and Dynamic Embeddings. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Filinski |
Representing Layered Monads. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Oscar Waddell, R. Kent Dybvig |
Extending the Scope of Syntactic Abstraction. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Phillip M. Yelland |
A Compositional Account of the Java Virtual Machine. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
Java, verification, Haskell, Haskell, Java virtual machine, Java bytecode |
1 | Susumu Nishimura |
Static Typing for Dynamic Messages. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Zhenjiang Hu, Masato Takeichi, Wei-Ngan Chin |
Parallelization in Calculational Forms. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Blanchet |
Escape Analysis: Correctness Proof, Implementation and Experimental Results. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
Application Builder |
1 | Alexander Aiken, David Gay |
Barrier Inference. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Mark Shields, Tim Sheard, Simon L. Peyton Jones |
Dynamic Typing as Staged Type Inference. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
Application Builder |
1 | Kathleen Knobe, Vivek Sarkar |
Array SSA Form and Its Use in Parallelization. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
|