Write in a clean editor, then format for ACM SIGPLAN Notices in one click — DocuGuru applies the official ACM template with numbered references and exports a submission-ready PDF plus the editable LaTeX source. Free to start.
ACM SIGPLAN Notices is a peer-reviewed journal published by ACM, covering Parallel Computing and Optimization Techniques, Logic, programming, and type systems, Distributed systems and fault tolerance.
| Publisher | ACM |
|---|---|
| Reference style | Numbered (ACM) Numbered — [1], [2] in the text [1] Ada Smith, Ben Jones, and Cara Lee. 2023. A representative article title. ACM SIGPLAN Notices 12, 3, Article 45 (2023).
Formats any DOI in ACM SIGPLAN Notices style. No sign-up. |
| Publishes research in | Parallel Computing and Optimization Techniques Logic, programming, and type systems Distributed systems and fault tolerance Software Engineering Research Formal Methods in Verification |
| ISSN | 0362-1340 |
| h-index | 166 |
| i10-index | 3,220 |
| Total citations | 187,777 |
| Top institutions publishing here | Microsoft (United States) |
| You get | A submission-ready PDF and the editable LaTeX source — ready to submit. |
Citations each year’s papers have accumulated so far — the most recent years are still building up.
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we have developed a new instrumentation system called Pin . Our goals are to provide easy-to-use, portable, transparent , and efficient instrumentation. Instrumentation tools (called Pintools ) are written in C/C++…
Technological progress in integrated, low-power, CMOS communication devices and sensors makes a rich design space of networked sensors viable. They can be deeply embedded in the physical world and spread throughout our environment like smart dust. The missing elements are an overall system architecture and a methodology for systematic advance. To this end, we identify…
The book, The Mythical Man-Month, Addison-Wesley, 1975 (excerpted in Datamation, December 1974), gathers some of the published data about software engineering and mixes it with the assertion of a lot of personal opinions. In this presentation, the author will list some of the assertions and invite dispute or support from the audience. This is intended…
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external environment using static source-code parsing; (2) automatic generation of a test driver for this interface that performs random testing to simulate the most general environment the program…
OceanStore is a utility infrastructure designed to span the globe and provide continuous access to persistent information. Since this infrastructure is comprised of untrusted servers, data is protected through redundancy and cryptographic techniques. To improve performance, data is allowed to be cached anywhere, anytime. Additionally, monitoring of usage patterns allows adaptation to regional outages and…
ACM Journal on Autonomous Transportation Systems
ACM Journal on Emerging Technologies in Computing Systems
ACM Transactions on Accessible Computing
ACM Transactions on AI Security and Privacy
ACM Transactions on Applied Perception
ACM Transactions on Asian and Low-Resource Language Information Processing
ACM Transactions on Computation Theory
ACM Transactions on Computer Systems
