This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
ACM SIGPLAN Notices
A conference, workshop or journal: the thing that recurs, across all its years.
ACM SIGPLAN Notices: SIGPLAN's newsletter, which carried its conference proceedings from the 1970s to the 2010s until PACMPL took over.
19 references
A Hardware Design Language for Timing-Sensitive Information-Flow Security
Danfeng Zhang and others (2015) · ACM SIGPLAN Notices · Association for Computing Machinery
NetKAT: Semantic foundations for networks
C. J. Anderson and others (2014) · ACM SIGPLAN Notices
Quasar: Resource-efficient and QoS-aware cluster management
C. Delimitrou and others (2014) · ACM SIGPLAN Notices
30 years of research and development around Coq
Gérard Huet and others (2014) · ACM SIGPLAN Notices · Association for Computing Machinery
A proof system for separation logic with magic wand
Wonyeol Lee and others (2014) · ACM SIGPLAN Notices · Association for Computing Machinery
The sequential semantics of producer effect systems
Ross Tate (2013) · ACM SIGPLAN Notices · Association for Computing Machinery (ACM)
Caisson: A Hardware Description Language for Secure Information Flow
Xun Li and others (2011) · ACM SIGPLAN Notices · Association for Computing Machinery
Decidable logics combining heap structures and data
P. Madhusudan and others (2011) · ACM SIGPLAN Notices · Association for Computing Machinery (ACM)
Complete information flow tracking from the gates up
Mohit Tiwari and others (2009) · ACM SIGPLAN Notices · Association for Computing Machinery
Cyclic proofs of program termination in separation logic
James Brotherston and others (2008) · ACM SIGPLAN Notices
Full functional verification of linked data structures
Karen Zee and others (2008) · ACM SIGPLAN Notices · Association for Computing Machinery
Context logic as modal logic: completeness and parametric inexpressivity
Cristiano Calcagno and others (2007) · ACM SIGPLAN Notices · Association for Computing Machinery
Verifying properties of well-founded linked lists
Shuvendu K. Lahiri and others (2006) · ACM SIGPLAN Notices · Association for Computing Machinery
Separation logic and abstraction
Matthew Parkinson and others (2005) · ACM SIGPLAN Notices · Association for Computing Machinery
Local reasoning about a copying garbage collector
Lars Birkedal and others (2004) · ACM SIGPLAN Notices · Association for Computing Machinery
Secure program execution via dynamic information flow tracking
G. Edward Suh and others (2004) · ACM SIGPLAN Notices · Association for Computing Machinery (ACM)
Automatic verification of pointer programs using monadic second-order logic
Jakob L. Jensen and others (1997) · ACM SIGPLAN Notices · Association for Computing Machinery
Hardware support for fast capability-based addressing
N.P. Carter and others (1994) · ACM SIGPLAN Notices · Association for Computing Machinery
The program dependence web: a representation supporting control-, data-, and demand-driven interpretation of imperative languages
Karl J. Ottenstein and others (1990) · ACM SIGPLAN Notices · Association for Computing Machinery