Checking that finite state concurrent programs satisfy their linear specification

PROCEEDINGS ARTICLE published 1985 in Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '85

Authors: Orna Lichtenstein | Amir Pnueli

Views: a way for pattern matching to cohabit with data abstraction

PROCEEDINGS ARTICLE published 1987 in Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '87

Authors: P. Wadler

Representation independence, confinement and access control [extended abstract]

PROCEEDINGS ARTICLE published January 2002 in Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Anindya Banerjee | David A. Naumann

High-level language facilities for low-level services

PROCEEDINGS ARTICLE published 1985 in Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '85

Authors: Christopher W. Fraser | David R. Hanson

Modular code generation from synchronous block diagrams

PROCEEDINGS ARTICLE published 21 January 2009 in Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Roberto Lublinerman | Christian Szegedy | Stavros Tripakis

Optimal code selection in DAGs

PROCEEDINGS ARTICLE published January 1999 in Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: M. Anton Ertl

A new method for compiler code generation

PROCEEDINGS ARTICLE published 1978 in Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '78

Authors: R. Steven Glanville | Susan L. Graham

Proof-carrying code

PROCEEDINGS ARTICLE published 1997 in Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97

Authors: George C. Necula

A new strategy for code generation

PROCEEDINGS ARTICLE published 1977 in Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '77

Authors: William Harrison

Compositional dynamic test generation

PROCEEDINGS ARTICLE published 17 January 2007 in Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Patrice Godefroid

Certified assembly programming with embedded code pointers

PROCEEDINGS ARTICLE published 11 January 2006 in Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Zhaozhong Ni | Zhong Shao

Expressive and efficient pattern languages for tree-structured data (extended abstract)

PROCEEDINGS ARTICLE published 2000 in Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '00

Authors: Frank Neven | Thomas Schwentick

A typed language for distributed mobile processes (extended abstract)

PROCEEDINGS ARTICLE published 1998 in Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '98

Authors: James Riely | Matthew Hennessy

Space-Efficient Manifest Contracts

PROCEEDINGS ARTICLE published 14 January 2015 in Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Research funded by Defense Advanced Research Projects Agency (CRASH FA8650-10-C-7090) | National Science Foundation (TC 0915671, SHF 1016937)

Authors: Michael Greenberg

A model and temporal proof system for networks of processes

PROCEEDINGS ARTICLE published 1985 in Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '85

Authors: Van Nguyen | David Gries | Susan Owicki

Sparse code motion

PROCEEDINGS ARTICLE published 5 January 2000 in Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Oliver Rüthing | Jens Knoop | Bernhard Steffen

Polymorphic regular tree types and patterns

PROCEEDINGS ARTICLE published 11 January 2006 in Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Jérôme Vouillon

Compiling path expressions into VLSI circuits

PROCEEDINGS ARTICLE published 1985 in Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '85

Authors: T. S. Anantharaman | E. M. Clarke | M. J. Foster | B. Mishra

Defining code-injection attacks

PROCEEDINGS ARTICLE published 25 January 2012 in Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Donald Ray | Jay Ligatti

Session details: Abstract interpretation

PROCEEDINGS ARTICLE published 23 January 2013 in Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Francesco Ranzato