Search Results: SIGACT
Redirect to:
- From an abbreviation: This is a redirect from an abbreviation to a related topic, such as the expansion of the abbreviation. Use this template for any length reduction other than the following.
- Instead of this template:
- use {{R from acronym}} for abbreviations that are pronounced as words, such as NATO and RADAR;
- use {{R from initialism}} for those abbreviations that are pronounced as letters, such as CIA and HIV;
- use {{R from short name}} for the initials of a person's name or for any other length reduction that is not typically classed as an abbreviation.
- Instead of this template:
ACM SIGACT
Sabtu, 2023-11-25 20:15:51Fischer. SIGACT publishes a quarterly print newsletter, SIGACT News. Its online version, SIGACT News Online, is available since 1996 for SIGACT members...
Click to read more »Symposium on Principles of Programming Languages
Senin, 2025-12-22 10:26:05The annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) is an academic conference in the field of computer science, with...
Click to read more »Symposium on Principles of Distributed Computing
Rabu, 2025-07-02 16:19:46annually by the Association for Computing Machinery (special interest groups SIGACT and SIGOPS). Work presented at PODC typically studies theoretical aspects...
Click to read more »Theoretical computer science
Sabtu, 2026-05-09 07:45:25The ACM's Special Interest Group on Algorithms and Computation Theory (SIGACT) provides the following description: TCS covers a wide variety of topics...
Click to read more »Gödel Prize
Rabu, 2026-04-15 23:25:51Machinery Special Interest Group on Algorithms and Computational Theory (ACM SIGACT). The award is named in honor of Kurt Gödel. Gödel's connection to theoretical...
Click to read more »Symposium on Discrete Algorithms
Jumat, 2026-05-15 12:57:21by the ACM Special Interest Group on Algorithms and Computation Theory (SIGACT) and the SIAM Activity Group on Discrete Mathematics, and in format is more...
Click to read more »William Gasarch
Selasa, 2026-05-12 12:37:38complexity with Lance Fortnow since 2007. He was book review editor for ACM SIGACT NEWS from 1997 to 2015. Gasarch received his doctorate in computer science...
Click to read more »NP-completeness
Sabtu, 2026-03-28 03:58:54(1980). Hemaspaandra, L. A.; Williams, R. (2012). "SIGACT News Complexity Theory Column 76". ACM SIGACT News. 43 (4): 70. doi:10.1145/2421119.2421135. S2CID 13367514...
Click to read more »Time complexity
Minggu, 2026-04-12 14:44:40parity games in quasipolynomial time". Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery. pp...
Click to read more »Daniel Abadi
Minggu, 2026-03-15 06:00:47PACELC, a response to the CAP theorem, was proved formally in 2018 in a SIGACT News article. Abadi obtained a Bachelor of Science degree in Computer Science...
Click to read more »Scott Aaronson
Jumat, 2026-05-29 23:19:22in 2026. Inaugural 2026 Luca Trevisan Award for Expository Work from ACM SIGACT Aaronson is married to computer scientist Dana Moshkovitz. Aaronson is Jewish...
Click to read more »F* (programming language)
Minggu, 2026-04-26 16:59:20Aseem; Swamy, Nikhil (2017). "Dijkstra Monads for Free". 44nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Swamy, Nikhil; Hriţcu...
Click to read more »Knuth Prize
Minggu, 2026-05-31 01:53:31since 1996 and includes an award of US$5,000. The prize is awarded by ACM SIGACT and by IEEE Computer Society's Technical Committee on the Mathematical Foundations...
Click to read more »Symposium on Parallelism in Algorithms and Architectures
Jumat, 2026-01-30 05:40:28sponsored by the Association for Computing Machinery special interest groups SIGACT and SIGARCH, and it is organized in cooperation with the European Association...
Click to read more »Funda Ergun
Minggu, 2025-12-28 22:41:43computer science at Indiana University Bloomington, and the chair of ACM SIGACT, the Association for Computing Machinery Special Interest Group on Algorithms...
Click to read more »CAP theorem
Sabtu, 2026-06-06 13:18:21feasibility of consistent, available, partition-tolerant web services". ACM SIGACT News. 33 (2). Association for Computing Machinery (ACM): 51–59. doi:10.1145/564585...
Click to read more »Peter Shor
Minggu, 2026-06-07 20:25:48February 12, 2007. Parberry, Ian (May 10, 1999). "1999 Gödel Prize". ACM SIGACT. Retrieved February 12, 2007. "2002 King Faisal International Prizes for...
Click to read more »Game theory
Rabu, 2026-05-27 04:06:40authority for provable rational behavior". Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing. pp. 289–290. doi:10...
Click to read more »SIGMOD
Selasa, 2026-06-09 16:36:47for which he received the ACM Turing Award in 2014. In association with SIGACT and SIGAI, SIGMOD also sponsors the annual ACM Symposium on Principles of...
Click to read more »Rust (programming language)
Selasa, 2026-06-09 23:15:10for compile-time enforcement of security". Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83. pp...
Click to read more »Ravindran Kannan
Senin, 2026-03-16 14:10:42MIT. The ACM Special Interest Group on Algorithms and Computation Theory (SIGACT) presented its 2011 Knuth Prize to Ravi Kannan for developing influential...
Click to read more »Programming language
Sabtu, 2026-05-23 00:36:29Sebesta 2012, p. 211. Leivant, Daniel (1983). Polymorphic type inference. ACM SIGACT-SIGPLAN symposium on Principles of programming languages. Austin, Texas:...
Click to read more »Chelsea Manning
Jumat, 2026-05-29 03:31:16historic significance of two wars Iraq and Afghanistan Significant Activity, Sigacts, between 0001 January 2004 and 2359 31 December 2009 extracts from CSV...
Click to read more »Paris Kanellakis Award
Rabu, 2025-08-20 16:35:37additional financial support provided by four ACM Special Interest Groups (SIGACT, SIGDA, SIGMOD, and SIGPLAN), the ACM SIG Projects Fund, and individual...
Click to read more »Victor S. Miller
Jumat, 2025-10-24 13:39:15Scientist at Nexus Laboratories. From 1984 through 1987 he was the editor of SIGACT news. His main areas of interest are in computational number theory, combinatorics...
Click to read more »NP-hardness
Rabu, 2026-04-29 22:58:55OCLC 247934368. Knuth, Donald (1974). "Postscript about NP-hard problems". ACM SIGACT News. 6 (2): 15–16. doi:10.1145/1008304.1008305. S2CID 46480926. Daniel...
Click to read more »Quantum computing
Senin, 2026-06-08 10:53:24arXiv:quant-ph/9605043. Ambainis, Ambainis (June 2004). "Quantum search algorithms". ACM SIGACT News. 35 (2): 22–35. arXiv:quant-ph/0504012. Bibcode:2005quant.ph..4012A...
Click to read more »Rutgers University
Rabu, 2026-06-10 03:02:21Academy of Science and Letters. Retrieved July 21, 2022. "ACM SIGACT - Gödel Prize". sigact.org. Archived from the original on July 16, 2010. Rutgers, The...
Click to read more »Symposium on Computational Geometry
Kamis, 2024-07-25 00:41:03was the conference chair. The symposium was originally sponsored by the SIGACT and SIGGRAPH Special Interest Groups of the Association for Computing Machinery...
Click to read more »LessWrong
Rabu, 2026-05-20 12:14:12Map that Reflects the Territory: Essays by the LessWrong Community"". ACM SIGACT News. 53 (1): 13–24. doi:10.1145/3532737.3532741. Users wrote reviews of...
Click to read more »Erdős number
Minggu, 2026-05-24 18:14:28merit". ACM SIGACT News. 20 (1): 62–71. doi:10.1145/65780.65782. S2CID 34277380. Tompa, Martin (1990). "Figures of merit: the sequel". ACM SIGACT News. 21...
Click to read more »Symposium on Theory of Computing
Minggu, 2024-09-15 12:39:41sponsored by the Association for Computing Machinery special interest group SIGACT. Acceptance rate of STOC, averaged from 1970 to 2012, is 31%, with the rate...
Click to read more »Jennifer L. Welch
Sabtu, 2026-02-14 15:12:59Maurice (March 2000), "Review of Distributed Computing by Attiya and Welch", SIGACT News, 31 (1): 3, doi:10.1145/346048.568464, S2CID 36206165 Che, Haoyang...
Click to read more »Maurice Herlihy
Sabtu, 2026-01-24 11:59:17Proceedings on Distributed Computing. Retrieved 27 June 2012. "Gödel Prize". ACM SIGACT. Archived from the original on 22 April 2018. Retrieved 20 August 2011....
Click to read more »Geometry of interaction
Rabu, 2025-08-20 03:10:03geometry of optimal lambda reduction". Proceedings of the 19th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '92. p. 15. doi:10...
Click to read more »Steven Skiena
Senin, 2026-03-09 01:37:03(2014), ACM SIGACT News 45 (2): 40–42, doi:10.1145/2636805.2636817. Review of The Algorithm Design Manual: Neelakantan Kartha (2011), ACM SIGACT News 42 (4):...
Click to read more »Tal Rabin
Minggu, 2026-04-19 04:44:34Research. "CCC Council". Computing Community Consortium. "ACM SIGACT: People". www.sigact.org. Archived from the original on 27 July 2014. Retrieved 8...
Click to read more »PACELC design principle
Minggu, 2025-12-14 16:56:09rare case of a network partition." PACELC was proved formally in 2018 in a SIGACT News article. Original database PACELC ratings are from. Subsequent updates...
Click to read more »Static single-assignment form
Minggu, 2026-05-17 08:31:34control structures in high-level languages". Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '86. pp...
Click to read more »Millennium Prize Problems
Senin, 2026-05-25 20:21:06Technical report. William Gasarch (June 2002). "The P=?NP poll" (PDF). SIGACT News. 33 (2): 34–47. doi:10.1145/1052796.1052804. S2CID 18759797. Cook,...
Click to read more »Gábor Tardos
Rabu, 2026-03-04 12:11:41Academy of Sciences. June 2019. Retrieved 14 February 2020. "ACM SIGACT - Gödel Prize". sigact.org. Retrieved 2020-04-20. Gábor Tardos at the Mathematics Genealogy...
Click to read more »Cristian Calude
Minggu, 2026-06-07 16:39:07March 2015). "Guest Column: Adiabatic Quantum Computing Challenges". ACM SIGACT News. 46 (1): 40–61. doi:10.1145/2744447.2744459. ISSN 0163-5700. Abbott...
Click to read more »Ewin Tang
Minggu, 2026-05-17 18:38:37algorithm for recommendation systems". Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing - STOC 2019. pp. 217–228. arXiv:1807.04271...
Click to read more »Hermes (programming language)
Minggu, 2026-05-17 05:17:05for compile-time enforcement of security". Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83. pp...
Click to read more »Lazy evaluation
Selasa, 2026-05-12 08:26:07computation as concurrent computation" (PDF). Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96 (PDF). pp. 333–343...
Click to read more »Data-flow analysis
Minggu, 2026-05-24 20:16:54to global program optimization" (PDF). Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73. pp...
Click to read more »NP (complexity)
Rabu, 2026-04-15 23:32:19Analysis, p. 283. William Gasarch (June 2002). "The P=?NP poll" (PDF). SIGACT News. 33 (2): 34–47. doi:10.1145/1052796.1052804. S2CID 18759797. Retrieved...
Click to read more »Region-based memory management
Minggu, 2026-04-19 08:43:39dynamically allocated objects". POPL '88: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY, USA: ACM...
Click to read more »Graph isomorphism problem
Selasa, 2026-04-21 04:14:41Charikar, Moses; Cohen, Edith (eds.), Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, STOC 2019, Phoenix, AZ, USA, June 23-26...
Click to read more »Distributed computing
Kamis, 2026-03-19 13:47:29Idit (2008), "Distributed computing column 32 – The year in review", ACM SIGACT News, 39 (4): 53–54, CiteSeerX 10.1.1.116.1285, doi:10.1145/1466390.1466402...
Click to read more »Packrat parser
Sabtu, 2026-03-14 02:29:23(2004-01-01). "Parsing expression grammars". Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages. POPL '04. New York, NY...
Click to read more »Christofides algorithm
Rabu, 2025-09-24 21:00:51Record", Quanta Magazine, retrieved 2020-10-10 "ACM SIGACT - STOC Best Paper Award", www.sigact.org, retrieved 2022-04-20 Sanjeev Arora, Polynomial-time...
Click to read more »Omicron
Jumat, 2026-05-08 03:41:54Donald (April–June 1976). "Big Omicron and big Omega and big Theta" (PDF). SIGACT News. 8 (2): 18–24. doi:10.1145/1008328.1008329. S2CID 5230246. Archived...
Click to read more »Alice and Bob
Selasa, 2026-06-02 16:47:40Flipping by Telephone a Protocol for Solving Impossible Problems". ACM SIGACT News. 15 (1): 23–27. doi:10.1145/1008908.1008911. S2CID 19928725. Blum,...
Click to read more »Relational transducer
Senin, 2024-01-15 21:14:29transducers for declarative networking". Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. ACM. pp. 283–292. arXiv:1012...
Click to read more »Grover's algorithm
Senin, 2026-06-01 22:29:54ISBN 0-89791-962-9. Ambainis, A. (2004-06-01). "Quantum search algorithms". ACM SIGACT News. 35 (2): 22–35. arXiv:quant-ph/0504012. doi:10.1145/992287.992296....
Click to read more »Jelani Nelson
Minggu, 2026-05-03 20:46:30distinct elements problem". Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. pp. 41–52. doi:10.1145/1807085...
Click to read more »Boomerang (programming language)
Kamis, 2025-04-03 10:22:28Schmitt. Boomerang: Resourceful Lenses for String Data. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), San Francisco,...
Click to read more »Péter Frankl
Rabu, 2026-04-15 10:28:46international film & video festival "Theoretical Computer Science Genealogy". ACM SIGACT. Archived from the original on 29 April 2005. Retrieved 27 November 2007...
Click to read more »Symposium on Foundations of Computer Science
Rabu, 2026-03-18 18:12:58"The genealogy of theoretical computer science: a preliminary report", ACM SIGACT News, 16 (2): 36–49, doi:10.1145/1008959.1008960, S2CID 26789249 "Best paper...
Click to read more »Vertex cover
Sabtu, 2026-04-11 14:57:43Kempe, David; Henzinger, Monika (eds.). Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2018, Los Angeles, CA, USA, June...
Click to read more »Algorithm engineering
Minggu, 2026-05-17 14:48:32Computer Science (at Rutgers University), with additional support from SIGACT, the ACM Special Interest Group on Algorithms and Computation Theory, and...
Click to read more »Hilary Priestley
Kamis, 2026-03-05 08:14:40Lattices and Order: T. S. Blyth, MR 1058437, MR 1902334; Jonathan Cohen, ACM SIGACT News, doi:10.1145/1233481.1233488; Amy Davidow, Amer. Math. Monthly, JSTOR 2323967;...
Click to read more »Obfuscation (software)
Sabtu, 2026-04-04 03:59:12resilient, and stealthy opaque constructs". Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '98. New York, NY...
Click to read more »Branches of science
Rabu, 2026-05-13 08:39:17Computing Theory) Special Interest Group on Algorithms and Computation Theory (SIGACT) provides the following description: TCS covers a wide variety of topics...
Click to read more »Ivan Damgård
Kamis, 2026-02-19 02:16:31"PKC Test-of-Time Award". Retrieved 2023-07-26. "ACM SIGACT - STOC Test of Time Award". sigact.org. Retrieved 2021-10-10. Home page of Ivan Damgård Ivan...
Click to read more »Immanant
Sabtu, 2026-04-25 04:21:06complexity dichotomy for immanant families". Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing (STOC '21). ACM. doi:10.1145/3406325.3451124...
Click to read more »Belief merging
Senin, 2026-01-19 11:36:56Arbitration between old and new information". Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '93. New...
Click to read more »Vinod Vaikuntanathan
Jumat, 2026-04-17 22:11:13from the original on 2022-11-24. Retrieved 2022-11-24. "ACM SIGACT - Gödel Prize". sigact.org. Archived from the original on 2022-11-24. Retrieved 2022-11-24...
Click to read more »List of computer science conferences
Rabu, 2026-06-03 07:42:01Object-Oriented Programming, Systems, Languages, and Applications POPL – ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages PLDI – ACM SIGPLAN Conference...
Click to read more »Robert W. Floyd
Sabtu, 2026-01-24 11:48:32Wordpress. Knuth, Donald E. (December 2003). "Robert W Floyd, In Memoriam". ACM SIGACT News. 34 (4): 3–13. doi:10.1145/954092.954488. S2CID 35605565. Knuth, Donald...
Click to read more »Parametric polymorphism
Jumat, 2025-09-19 08:54:37(1988-01-13). "The essence of ML". Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88. New York, NY...
Click to read more »List of academic awards
Minggu, 2026-01-04 03:11:35December 2017. Call for Nominations for the Prize (2013) Idit Keidar, ACM-SIGACT News Distributed Computing Column, December 2009 [1] "Dan David Prize Relaunches...
Click to read more »Volker Strassen
Selasa, 2026-04-21 04:16:08to efficient algorithms Archived 2016-05-14 at the Wayback Machine, ACM SIGACT. Volker Strassen at the Mathematics Genealogy Project Konrad-Zuse-Medaille...
Click to read more »Constraint programming
Senin, 2026-03-16 20:32:29"Constraint logic programming". POPL87: Fourteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing...
Click to read more »Travelling salesman problem
Rabu, 2026-05-27 20:48:37Samir; Williams, Virginia Vassilevska (eds.), STOC '21: 53rd Annual ACM SIGACT Symposium on Theory of Computing, Virtual Event, Italy, June 21-25, 2021...
Click to read more »Zvika Brakerski
Sabtu, 2026-02-07 14:07:51one of the most well-known second-generation FHE schema. "ACM SIGACT - Gödel Prize". sigact.org. Archived from the original on 2022-11-24. Retrieved 2022-11-24...
Click to read more »Cynthia Dwork
Selasa, 2026-05-12 01:41:11Dijkstra Prize 2007. Bortnikov, Edward (2007). "Review of DISC '07". ACM SIGACT News. 38 (4): 49–53. doi:10.1145/1345189. ISSN 0163-5700.. "PET Award"....
Click to read more »Dependent type
Selasa, 2026-06-09 03:54:56"Why dependent types matter" (PDF). Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston...
Click to read more »Big O notation
Selasa, 2026-06-02 14:23:31Knuth, Donald (April–June 1976). "Big Omicron and big Omega and big Theta". SIGACT News. 8 (2): 18–24. doi:10.1145/1008328.1008329. S2CID 5230246. Bois-Reymond...
Click to read more »Hagit Attiya
Sabtu, 2026-02-14 15:12:08Maurice (March 2000), "Review of Distributed Computing by Attiya and Welch", SIGACT News, 31 (1): 3, doi:10.1145/346048.568464, S2CID 36206165 Che, Haoyang...
Click to read more »Search game
Selasa, 2026-04-07 14:19:05Chrobak, A princess swimming in the fog looking for a monster cow, ACM Sigact news, 35(2), 74–78 (2004). MY Kao, JH Reif and SR Tate, Searching in an...
Click to read more »Operator-precedence parser
Jumat, 2026-05-01 21:35:49Vaughan. "Top Down Operator Precedence." Proceedings of the 1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (1973). Norvell...
Click to read more »PSPACE
Senin, 2026-06-08 14:32:42S. Aaronson (March 2005). "NP-complete problems and physical reality". SIGACT News. arXiv:quant-ph/0502072. Bibcode:2005quant.ph..2072A. doi:10.1145/1052796...
Click to read more »Machtey Award
Jumat, 2025-11-21 03:51:07awards Kleene award List of publications by Michael Machtey at DBLP ACM SIGACT. "Danny Lewin Best Student Paper Award" Archived June 20, 2008, at the Wayback...
Click to read more »Monomorphization
Sabtu, 2025-09-06 17:23:35datatype-generic programming". Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL '16. St. Petersburg...
Click to read more »Universally unique identifier
Senin, 2026-06-01 14:51:19internal names in a distributed file system". Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing - PODC '82. pp. 34–41...
Click to read more »Graph isomorphism
Selasa, 2025-12-30 01:42:44quasipolynomial time [extended abstract]", STOC'16—Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing, ACM, New York, pp. 684–697, doi:10.1145/2897518...
Click to read more »Certain answer
Minggu, 2024-12-08 21:42:06and certain answers in general data models (PDF). Proocedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. pp. 59–70. doi:10...
Click to read more »Alan Selman
Sabtu, 2026-01-24 11:54:38Eowyn W. Čenek (2002, 1st ed.), ACM SIGACT News, doi:10.1145/582475.582480 Jeffrey Shallit (2013, 2nd ed.), ACM SIGACT News, doi:10.1145/2556663.2556672...
Click to read more »In Pursuit of the Traveling Salesman
Rabu, 2026-01-28 07:54:23Haris (August 2012), "Review of In Pursuit of the Traveling Salesman", ACM SIGACT News, 43 (3): 51, doi:10.1145/2421096.2421108 McGonigal, Francis (January...
Click to read more »Datalog
Sabtu, 2026-05-16 05:14:53"Bottom-up beats top-down for datalog". Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '89. New...
Click to read more »Negation
Jumat, 2026-01-16 10:57:13(January 1975). "The circuit value problem is log space complete for P". ACM SIGACT News. 7 (101): 18–20. doi:10.1145/990518.990519. O'Donnell, John; Hall,...
Click to read more »Conflict-free replicated data type
Selasa, 2026-06-02 10:31:52Specification, Verification, Optimality". Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (PDF). pp. 271–284. doi:10...
Click to read more »Basis (universal algebra)
Sabtu, 2025-10-04 01:24:05definitions of words. See G. Ricci, An observation on a Formal Language notation, SIGACT News, 17 (1972), 18–23. Gould, V. Independence algebras, Algebra Universalis...
Click to read more »Haskell
Senin, 2026-04-13 12:13:22make ad-hoc polymorphism less ad hoc". Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '89. ACM. pp. 60–76...
Click to read more »Quantum Computing Since Democritus
Sabtu, 2026-04-25 07:37:04makes things more interesting". Frederic Green's enthusiastic review for SIGACT News also judged the book poorly suited for a classroom text, except possibly...
Click to read more »Source-to-source compiler
Selasa, 2026-05-12 04:55:02to global program optimization" (PDF). Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73. Boston...
Click to read more »Concurrent Haskell
Selasa, 2026-04-21 07:29:38Written at Petersburg Beach, Florida. Concurrent Haskell. ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (PoPL). New York, New York:...
Click to read more »Relational model
Selasa, 2026-05-12 09:14:19Universality of data retrieval languages. In Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (pp. 110-119)....
Click to read more »Radhia Cousot
Senin, 2026-06-08 03:17:28"Systematic design of program analysis frameworks". Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '79. ACM...
Click to read more »Turing machine
Selasa, 2026-06-02 00:07:572005). "A note on Turing machine computability of rule driven systems". SIGACT News. 36 (4): 109–110. doi:10.1145/1107523.1107525. S2CID 31117713. Kirner...
Click to read more »Manindra Agrawal
Minggu, 2026-05-31 10:25:50"2006 Gödel Prize: Manindra Agrawal, Neeraj Kayal, Nitin Saxena". ACM SIGACT. Retrieved 9 February 2026. "Manindra Agrawal – Laureate (2008)". Infosys...
Click to read more »Paxos (computer science)
Jumat, 2026-05-01 09:07:12Malkhi, Dahlia; Zhou, Lidong (March 2010). "Reconfiguring a State Machine". SIGACT News. 41 (1): 63–73. CiteSeerX 10.1.1.212.2168. doi:10.1145/1753171.1753191...
Click to read more »Greek letters used in mathematics, science, and engineering
Senin, 2026-05-18 14:23:22Knuth, Donald (April–June 1976). "Big Omicron and big Omega and big Theta". SIGACT News. 8 (2): 18–24. doi:10.1145/1008328.1008329. S2CID 5230246. Weisstein...
Click to read more »Jewels of Stringology
Sabtu, 2025-12-27 17:14:10Shoshana (September 2015), "Review of Jewels of Stringology" (PDF), ACM SIGACT News, 46 (3): 11–14, doi:10.1145/2818936.2818940, S2CID 29751366 Klein,...
Click to read more »Surface tension
Rabu, 2026-04-15 21:06:59Problems and Physical Reality Archived 2018-02-23 at the Wayback Machine. ACM SIGACT News Gibbs, J.W. (2002) [1876–1878], "On the Equilibrium of Heterogeneous...
Click to read more »Partial evaluation
Rabu, 2026-02-11 00:15:15Notes on Partial Evaluation". POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing...
Click to read more »Solomon Feferman
Kamis, 2026-05-14 21:35:57CS1 maint: untitled periodical (link) Lescanne, Pierre (March 2006), ACM SIGACT News, 37 (1): 27, doi:10.1145/1122480.1122489, S2CID 9529607{{citation}}:...
Click to read more »Effect system
Senin, 2026-01-12 18:51:45(1988). "Polymorphic effect systems". Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88. ACM. pp. 47–57...
Click to read more »Frontotemporal dementia
Senin, 2026-06-08 08:13:072016-10-29. Knuth, Donald E. (December 2003). "Robert W Floyd, In Memoriam". ACM SIGACT News. 34 (4): 3–13. doi:10.1145/954092.954488. Kenneally, Tim (September...
Click to read more »Automatic bug fixing
Minggu, 2026-06-07 02:15:08generation by learning correct code". Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM. pp. 298–312. doi:10...
Click to read more »Katharina T. Huber
Sabtu, 2025-12-27 15:08:48Phylogenetic Combinatorics: Fletez-Brant, Kipper (September 2014), "Review" (PDF), SIGACT News, 45 (3): 26–28, doi:10.1145/2670418.2670427, MR 3266629, S2CID 17544618...
Click to read more »Luca Trevisan
Kamis, 2026-03-05 21:59:05Student Paper Award Archived 25 December 2015 at the Wayback Machine, ACM SIGACT, retrieved 8 July 2015. Proceedings of ICM 2006 Archived 7 March 2015 at...
Click to read more »Consensus (computer science)
Sabtu, 2026-05-16 21:32:46multiplicative power of consensus numbers" (PDF). Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing. Association for...
Click to read more »Just-in-time compilation
Jumat, 2026-04-03 11:59:30implementation of the smalltalk-80 system" (PDF). Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '84. pp...
Click to read more »Envy-free cake-cutting
Rabu, 2026-02-25 04:34:59cake cutting protocol for four agents". Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing – STOC 2016. p. 454. arXiv:1508.05143....
Click to read more »Lambda-mu calculus
Selasa, 2026-06-09 16:14:27functional computation with control". Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97. New York, NY...
Click to read more »Roger Wattenhofer
Sabtu, 2026-05-09 05:04:59$600 Million in Bitcoins". "Roger Wattenhofer". IMDb. Idit Keidar, ACM-SIGACT News Distributed Computing Column, June 2013 Dijkstra Prize Award Committee...
Click to read more »Journal of Graph Theory
Kamis, 2024-05-02 02:17:55impact factor of 0.857. Frank Harary, a biographical sketch at the ACM SIGACT site "Journal of Graph Theory". 2020 Journal Citation Reports. Web of Science...
Click to read more »Bloom filter
Rabu, 2026-05-27 07:56:19time/Space tradeoff for hash tables". Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing. New York, NY, USA: ACM. pp. 1284–1297...
Click to read more »Commitment scheme
Kamis, 2026-03-05 19:21:56by Telephone, Proceedings of CRYPTO 1981, pp. 11–15, 1981, reprinted in SIGACT News vol. 15, pp. 23–27, 1983, Carnegie Mellon School of Computer Science...
Click to read more »Master theorem (analysis of algorithms)
Jumat, 2025-02-28 01:28:051980), "A general method for solving divide-and-conquer recurrences", ACM SIGACT News, 12 (3): 36–44, doi:10.1145/1008861.1008865, S2CID 40642274, archived...
Click to read more »Association for Computing Machinery
Kamis, 2026-05-28 03:50:24exist ACM student chapters in 41 countries. SIGACCESS: Accessible Computing SIGACT: Algorithms and Computation Theory SIGAda: Ada Programming Language SIGAI:...
Click to read more »Dataflow programming
Selasa, 2026-06-02 06:12:23scale file processing: POGOL". POPL '73: Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages. ACM. pp. 226–234...
Click to read more »Joseph O'Rourke (professor)
Jumat, 2026-05-08 04:55:02How To Fold It: Fasy, Brittany Terese; Millman, David L. (March 2011), SIGACT News, 42 (1), Association for Computing Machinery: 43–46, doi:10.1145/1959045...
Click to read more »P versus NP problem
Minggu, 2026-05-24 05:52:43Theorem 7.20. Gasarch, William I. (June 2002). "The P=?NP poll" (PDF). SIGACT News. 33 (2): 34–47. CiteSeerX 10.1.1.172.1005. doi:10.1145/564585.564599...
Click to read more »Ronald Graham
Rabu, 2026-04-29 23:22:06untitled periodical (link) Gasarch, William (June 1999). "Review" (PDF). ACM SIGACT News. 30 (2): 7. doi:10.1145/568547.568551. S2CID 3200815. Reviews of The...
Click to read more »Knapsack problem
Sabtu, 2026-05-30 12:21:31Algorithms and Why? Lessons from the Stony Brook Algorithm Repository". ACM SIGACT News. 30 (3): 65–74. CiteSeerX 10.1.1.41.8357. doi:10.1145/333623.333627...
Click to read more ȃva Tardos
Jumat, 2026-03-13 11:05:48Retrieved July 15, 2013. "ACM SIGACT Presents Gödel Prize for Research that Illuminated Effects of Selfish Internet Use". ACM SIGACT. May 16, 2012. Archived...
Click to read more »Slowsort
Minggu, 2026-02-01 12:08:09Stolfi (1984). "Pessimal Algorithms and Simplexity Analysis" (PDF). ACM SIGACT News. 16 (3): 49–53. CiteSeerX 10.1.1.116.9158. doi:10.1145/990534.990536...
Click to read more »Reconstruction attack
Minggu, 2026-05-31 03:11:31while preserving privacy. In Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (PODS '03). ACM, New...
Click to read more »Seinosuke Toda
Senin, 2026-01-12 13:28:23Seinosuke Toda at the Mathematics Genealogy Project "1998 Gödel Prize". www.sigact.org. Archived from the original on 2014-01-08. Retrieved 2010-12-05. v t...
Click to read more »Structural type system
Senin, 2025-09-01 09:26:371990). "Inheritance is not subtyping". Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90. San Francisco...
Click to read more »Rate of convergence
Rabu, 2026-04-29 23:06:55Knuth, Donald (April–June 1976). "Big Omicron and big Omega and big Theta". SIGACT News. 8 (2): 18–24. doi:10.1145/1008328.1008329. S2CID 5230246. Apostol...
Click to read more »Parallel computing
Senin, 2026-06-08 23:30:59Idit (2008). "Distributed computing column 32 – The year in review". ACM SIGACT News. 39 (4): 53–54. CiteSeerX 10.1.1.116.1285. doi:10.1145/1466390.1466402...
Click to read more »Gradual typing
Selasa, 2026-03-03 12:25:33Satish (1990). "Quasi-static typing". Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90. ACM. pp. 367–381...
Click to read more »Stephen Cook
Kamis, 2026-04-30 02:20:22The Complexity of Theorem Proving Procedures, presented at the 1971 ACM SIGACT Symposium on the Theory of Computing, laid the foundations for the theory...
Click to read more »Type class
Sabtu, 2026-06-06 23:27:42make ad-hoc polymorphism less ad hoc". Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '89). Association...
Click to read more »Kakeya set
Rabu, 2026-02-25 05:53:18Dvir, Zeev (2009). "From Randomness Extraction to Rotating Needles". ACM SIGACT News. ECCC TR09-077.. Besicovitch, Abram (1963). "The Kakeya Problem". American...
Click to read more »Type system
Senin, 2026-04-27 04:45:27"Dependent Types in Practical Programming". Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM. pp. 214–227. CiteSeerX 10...
Click to read more »Logic programming
Minggu, 2026-06-07 17:08:47Universality of data retrieval languages. In Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (pp. 110-119)....
Click to read more »EXPTIME
Senin, 2025-08-25 22:00:42(2011-10-14). "Guest column: a casual tour around a circuit complexity bound". ACM SIGACT News. 42 (3): 54–76. doi:10.1145/2034575.2034591. ISSN 0163-5700....
Click to read more »Twin-width
Rabu, 2025-11-26 04:46:39in Leonardi, Stefano; Gupta, Anupam (eds.), STOC '22: 54th Annual ACM SIGACT Symposium on Theory of Computing, Rome, Italy, June 20–24, 2022, Association...
Click to read more »Minimax theorem
Senin, 2026-06-08 11:02:03of constrained min-max optimization". Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing. STOC 2021. New York, NY, USA: Association...
Click to read more »Fred S. Roberts
Minggu, 2026-01-18 06:14:56is also the editor of nearly 20 edited volumes. Roberts received the ACM SIGACT Distinguished Service Prize in 1999. In 2001, he won the National Science...
Click to read more »Yaron Singer
Senin, 2026-06-01 11:53:17of Maximizing a Submodular Function". Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. STOC '18. pp. 1138–1151. doi:10.1145/3188745...
Click to read more »Postage stamp problem
Kamis, 2026-06-04 07:14:13(2001), The computational complexity of the local postage stamp problem. SIGACT News 33 (1) (March 2002), 90-94. Accessed on 2009-12-30. Lunnon, W. F. (1969)...
Click to read more »ACM Computing Surveys
Minggu, 2026-01-18 16:39:59e Association for Computing Machinery Special Interest Groups SIGACCESS SIGACT SIGAda SIGAI SIGAPP SIGARCH SIGBED SIGBio SIGCAS SIGCHI SIGCOMM SIGCSE SIGDA...
Click to read more »K-anonymity
Sabtu, 2026-05-30 16:52:59complexity of optimal K-anonymity". Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (PDF). New York, NY:...
Click to read more »Separation logic
Senin, 2026-04-06 04:34:20language for mutable data structures". Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM. pp. 14–26. doi:10...
Click to read more »Dijkstra's algorithm
Selasa, 2026-06-02 18:28:00Rajeev (1997). "Recent results on the single-source shortest paths problem". SIGACT News. 28 (2): 81–87. doi:10.1145/261342.261352. S2CID 18031586. Thorup,...
Click to read more »Frank Harary
Selasa, 2026-01-27 08:33:20Sciences), Cambridge University Press. [1], a biographical sketch at the ACM SIGACT site Frank Harary 1921-2005 - Columbia University Archived November 5, 2013...
Click to read more »Exception handling
Selasa, 2026-05-19 23:44:24John B. (1975a). Structured exception handling. Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '75. pp...
Click to read more »Database theory
Senin, 2025-06-30 17:09:33Universality of data retrieval languages. In Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (pp. 110-119)....
Click to read more »Well-founded semantics
Rabu, 2025-10-29 17:09:03well-founded semantics for general logic programs". Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems. New York, New...
Click to read more »In Pursuit of the Unknown
Rabu, 2026-03-18 14:22:11and deeply researched book." The Association for Computing Machinery's SIGACT News review called the book, the "latest spell" by the "master storyteller"...
Click to read more »Natural proof
Selasa, 2025-11-25 23:58:13involve, such as properties hard or complete for exponential space. "ACM-SIGACT 2007 Gödel Prize". Archived from the original on 2016-03-03. Retrieved 2014-08-11...
Click to read more »Harry R. Lewis
Jumat, 2026-05-29 06:19:25William (2009). "Review of Blown to Bits" (PDF). The Book Review Column. ACM SIGACT News. 40 (1): 10–13. doi:10.1145/1515698.1515701. S2CID 8505768. Tanaka...
Click to read more »Domenico Saccà
Senin, 2026-03-09 02:07:37in logic programs with negation. PODS '90: Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems. Association for...
Click to read more »Streaming algorithm
Senin, 2026-05-04 21:14:58issues in data stream systems". Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. PODS '02. New York,...
Click to read more »The Complexity of Songs
Senin, 2026-05-18 01:01:41Cumulative song Knuth, Donald (Summer 1977). "The Complexity of Songs". ACM SIGACT News. 9 (2): 17–24. doi:10.1145/1008354.1008355. S2CID 17533775. Reprinted...
Click to read more »Language-based system
Rabu, 2026-05-27 16:11:43non-interference by abstract interpretation Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages pp 186–97 (2004) Algis...
Click to read more »Amy Dahan
Selasa, 2026-04-14 03:49:52CS1 maint: untitled periodical (link) Nagaraj, S. V. (December 2013), ACM SIGACT News, 44 (4): 27–28, doi:10.1145/2556663.2556667, S2CID 8163160{{citation}}:...
Click to read more »Tamal Dey
Sabtu, 2026-01-24 12:11:04and Surface Reconstruction: Algorithms with Mathematical Analysis", ACM SIGACT News, 41 (1): 24, doi:10.1145/1753171.1753178, S2CID 22437904 Bihlo, Alexander...
Click to read more »Eleanor Rieffel
Jumat, 2025-12-26 13:49:272020-03-23, retrieved 2018-11-19 Sgarbas, Kyriakos N. (June 2013), ACM SIGACT News, 44 (2): 31–35, doi:10.1145/2491533.2491543, MR 3095941, S2CID 17668642{{citation}}:...
Click to read more »The Erdős Distance Problem
Sabtu, 2025-12-27 19:48:07William (September 2014), "Review of The Erdős Distance Problem" (PDF), ACM SIGACT News, 45 (3): 13–14, doi:10.1145/2670418.2670422, MR 3266624 Weiss, Michael...
Click to read more »Dov Gabbay
Selasa, 2026-01-27 08:01:12temporal analysis of fairness. POPL'80: Proceedings of the 7th SIGPLAN-SIGACT ACM Annual Symposium on Principles of Programming Languages, January, 1980...
Click to read more »Harold N. Gabow
Kamis, 2026-03-05 21:23:02paper of the year in Networks: An International Journal. He was awarded the SIGACT Distinguished Service Prize in 2010. Gabow is married to physician and healthcare...
Click to read more »Circuit value problem
Kamis, 2025-06-19 20:32:50Richard E. Ladner (Jan 1975). "The circuit value problem is log space complete for P". ACM SIGACT News. 7 (101): 18–20. doi:10.1145/990518.990519. v t e...
Click to read more »List of computer science awards
Minggu, 2026-05-10 00:28:15field of human-computer interaction Danny Lewin Best Student Paper Award SIGACT Best student-authored paper in Symposium on Theory of Computing Dijkstra...
Click to read more »Recovery effect
Jumat, 2026-04-17 19:26:07"Battery transition systems" (PDF). Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14. p. 595. doi:10...
Click to read more »James Aspnes
Minggu, 2025-12-07 01:19:48James Aspnes at the Mathematics Genealogy Project "James Aspnes". ACM SIGACT Theoretical Computer Science genealogy database. Archived from the original...
Click to read more »Quantum cryptography
Kamis, 2026-04-23 06:55:04IEEE Information Theory Society but was eventually published in 1983 in SIGACT News. In this paper he showed how to store or transmit two messages by encoding...
Click to read more »Church–Turing thesis
Senin, 2026-04-13 15:44:39Ben-Amram, A. M. (2005). "The Church-Turing Thesis and its Look-Alikes". SIGACT News. 36 (3): 113–116. CiteSeerX 10.1.1.74.7308. doi:10.1145/1086649.1086651...
Click to read more »Scheme (programming language)
Sabtu, 2026-05-09 14:42:07"Binding as sets of scopes". Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pp. 705–717. doi:10.1145/2837614...
Click to read more »Quantum money
Sabtu, 2026-05-23 20:06:14Hidden Matching Problem Wiesner, Stephen (1983-01-01). "Conjugate Coding". SIGACT News. 15 (1): 78–88. doi:10.1145/1008908.1008920. ISSN 0163-5700. S2CID 207155055...
Click to read more »Geometric Folding Algorithms
Kamis, 2026-04-30 05:50:05Millman, David L. (March 2011), "Review of Geometric Folding Algorithms", SIGACT News, 42 (1), Association for Computing Machinery: 43–46, doi:10.1145/1959045...
Click to read more »Read–modify–write
Minggu, 2025-03-23 13:55:14multiplicative power of consensus numbers" (PDF). Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing. Association for...
Click to read more »Evaluation strategy
Jumat, 2026-05-01 04:09:52"Parameter-passing and the lambda calculus". Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '91. p. 2. CiteSeerX 10...
Click to read more »Steensgaard's algorithm
Sabtu, 2025-05-10 20:37:20almost linear time" (PDF). POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY, USA: ACM...
Click to read more »Not-all-equal 3-satisfiability
Sabtu, 2025-12-27 21:46:391007/s00493-005-0032-4, MR 2176423 Moret, B. M. E. (June 1988), "Planar NAE3SAT is in P", ACM SIGACT News, 19 (2): 51–54, doi:10.1145/49097.49099, S2CID 17219595...
Click to read more »Rebecca N. Wright
Kamis, 2026-02-12 08:09:31research and education". In 2019, she won the Distinguished Service Award of SIGACT, part of the Association for Computing Machinery, "for her 11-year leadership...
Click to read more »Computational geometry
Selasa, 2026-02-10 18:42:14Pattern Recognition Pattern Recognition Letters SIAM Journal on Computing SIGACT News; featured the "Computational Geometry Column" by Joseph O'Rourke Theoretical...
Click to read more »Asynchrony (game theory)
Selasa, 2026-04-21 06:53:10Distributed computing meets game theory: combining insights from two fields. Acm Sigact News, 42(2), 69–76. Ben-Or, M. (1983). Another Advantage of Free Choice:...
Click to read more »Query evaluation
Rabu, 2026-02-04 11:10:37Structural and hybrid tractability". Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. PODS '14. New York,...
Click to read more »Acta Informatica
Minggu, 2025-12-21 21:00:222021 impact factor of 0.871. Acta Informatica, DBLP. "1995 Gödel Prize". Sigact.org. 1999-03-25. Archived from the original on 2016-03-03. Retrieved 2012-07-26...
Click to read more »Differential privacy
Sabtu, 2026-05-16 04:50:31while preserving privacy. In Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (PODS '03). ACM, New...
Click to read more »Generalized algebraic data type
Sabtu, 2026-02-14 12:35:01"Guarded recursive datatype constructors". Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM Press. pp. 224–235...
Click to read more »History of compiler construction
Sabtu, 2026-05-09 23:04:38to global program optimization" (PDF). Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73. pp...
Click to read more »Janson inequality
Rabu, 2026-03-04 03:19:45theorem for AC0[⊕] via the coin problem". Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing. pp. 442–453. arXiv:1809.04092. doi:10...
Click to read more »Quantum key distribution
Minggu, 2026-05-24 05:12:45rejected by IEEE Information Theory but was eventually published in 1983 in SIGACT News (15:1 pp. 78–88, 1983). In this paper he showed how to store or transmit...
Click to read more »Lance Fortnow
Selasa, 2026-05-12 12:37:37ACM Transactions on Computation Theory in 2009. He was the chair of ACM SIGACT and succeeded by Paul Beame. He was the chair of the IEEE Conference on...
Click to read more »Unit fraction
Minggu, 2026-02-22 23:08:21S2CID 2461059 van Stee, Rob (June 2012), "SIGACT news online algorithms column 20: The power of harmony" (PDF), ACM SIGACT News, 43 (2): 127–136, doi:10.1145/2261417...
Click to read more »Stephen Wiesner
Kamis, 2026-04-23 07:04:12behind IBM's Quantum Computer". Forbes. S.J. Wiesner, "Conjugate Coding", SIGACT News 15:1, pp. 78–88, 1983. Bennett, C.; Wiesner, S. J. (1992). "Communication...
Click to read more »IBM Research
Selasa, 2026-05-26 08:48:03algebra of non first normal form relations". Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems - PODS '82. ACM Press...
Click to read more »The Twelve Days of Christmas (song)
Jumat, 2026-06-05 08:55:25December 2011. Knuth, Donald (Summer 1977). "The Complexity of Songs". SIGACT News. 27 (4): 17–24. doi:10.1145/358027.358042. S2CID 207711569. Mike Markowski...
Click to read more »Zvi Galil
Senin, 2026-06-01 10:48:58Area Theory Day. From 1983 to 1987, Galil served as the chairman of ACM SIGACT, an organization that promotes research in theoretical computer science...
Click to read more »Hindley–Milner type system
Minggu, 2026-03-22 09:41:29for deterministic exponential time". Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90. ACM. pp. 382–401...
Click to read more »David F. Bacon
Minggu, 2026-04-19 07:44:50overhead and consistent utilization". Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '03. pp. 285–298...
Click to read more »Quantum logic
Sabtu, 2026-02-07 16:04:36Papanikolaou, "Reasoning Formally About Quantum Systems: An Overview", ACM SIGACT News, 36(3), 2005. pp. 51–66. arXiv cs/0508005. D. Cohen, An Introduction...
Click to read more »Linear temporal logic
Selasa, 2026-05-05 23:40:51synthesis of a reactive module" In Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of programming languages (POPL '89). Association...
Click to read more »Ackermann function
Selasa, 2026-04-14 06:30:44Armando B. (1 September 1980). "Ackermann and the superpowers" (PDF). ACM SIGACT News. 12 (3): 90–95. doi:10.1145/1008861.1008872. S2CID 29780652. Archived...
Click to read more »Shlomo Moran
Senin, 2025-03-17 17:05:49Mathematics Genealogy Project. 1993 Gödel Prize Archived 2015-12-08 at the Wayback Machine, ACM SIGACT, retrieved 2010-12-02. Home page at the Technion...
Click to read more »Actor model
Rabu, 2026-05-20 22:38:18Russ Atkinson. Synchronization in Actor Systems Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages. 1977 Carl Hewitt...
Click to read more »Hinged dissection
Selasa, 2025-08-19 18:15:05O'Rourke, Joseph (March 2008). "Computational Geometry Column 50" (PDF). ACM SIGACT News. 39 (1). Retrieved 20 December 2013. Frederickson 2002, p.6 Frederickson...
Click to read more »Shmuel Zaks
Senin, 2025-06-02 09:07:22"The genealogy of theoretical computer science: a preliminary report". SIGACT News. 16 (2): 36–49. doi:10.1145/1008959.1008960. S2CID 26789249.. "Shmuel...
Click to read more »Martin Aigner
Minggu, 2026-03-01 19:08:29from THE BOOK (4th edition) by Martin Aigner and Günter M. Ziegler". ACM SIGACT News. 42 (4): 32–37. doi:10.1145/2078162.2078171. ISSN 0163-5700. S2CID 11364231...
Click to read more »Memoization
Sabtu, 2026-03-07 06:49:37et al. (2003). "Selective Memoization". Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 15–17 January 2003. Vol...
Click to read more »Jin-Yi Cai
Rabu, 2026-03-04 19:41:00the original on 2021-02-14. Retrieved 2021-08-19. "The 2021 Gödel Prize". sigact.org. "Delbert Ray Fulkerson Prize (AMS-MOS)". Archived from the original...
Click to read more »Quantum Computing: A Gentle Introduction
Jumat, 2025-12-26 16:57:19(June 2013), "Review of Quantum Computing: A Gentle Introduction", ACM SIGACT News, 44 (2): 31–35, doi:10.1145/2491533.2491543, MR 3095941, S2CID 17668642...
Click to read more »Control dependency
Selasa, 2024-12-31 06:43:30computing static single assignment form". Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '89. New York, NY...
Click to read more »Ferran Hurtado
Sabtu, 2025-12-27 03:32:20Silvia; Tóth, Csaba D. (June 2015). "Computational geometry column 61". SIGACT News. 46 (2): 65–77. arXiv:cs/0001025. doi:10.1145/2789149.2789162. S2CID 52838691...
Click to read more »Subtyping
Jumat, 2025-10-17 03:27:50Peter S. (1990). Inheritance is not subtyping. Proc. 17th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL). pp. 125–135. CiteSeerX 10...
Click to read more »Inheritance (object-oriented programming)
Kamis, 2026-06-04 10:48:30(1990). Inheritance is not subtyping. Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). pp. 125–135. CiteSeerX 10...
Click to read more »Busy beaver
Sabtu, 2026-06-06 00:15:10Aaronson, Scott (29 September 2020). "The Busy Beaver Frontier" (PDF). SIGACT News. 51 (3): 32–54. doi:10.1145/3427361.3427369. ISSN 0163-5700. Archived...
Click to read more »Nearest neighbor search
Rabu, 2026-05-06 04:19:31Neighbor Queries in Fixed Dimensions". Proceedings of the Fourth Annual {ACM/SIGACT-SIAM} Symposium on Discrete Algorithms, 25–27 January 1993, Austin, Texas...
Click to read more »Graph coloring
Rabu, 2026-04-29 22:57:48to promise constraint satisfaction", Proceedings of the 51st Annual ACM SIGACT Symposium on the Theory of Computing, pp. 602–613, arXiv:1811.00970, doi:10...
Click to read more »Noam Nisan
Minggu, 2026-03-08 06:42:19retrieved 2012-03-01. ACM SIGACT Presents Gödel Prize for Research that Illuminated Effects of Selfish Internet Use, ACM SIGACT, May 16, 2012, archived...
Click to read more »Amy Langville
Jumat, 2025-09-19 20:48:11Societies and Social Simulation, 16 (4) Mattei, Nicholas (March 2014), ACM SIGACT News, 45 (1): 38–40, doi:10.1145/2596583.2596594, S2CID 23586037{{citation}}:...
Click to read more »David Eppstein
Selasa, 2026-05-12 12:37:38"Review of Forbidden Configurations in Discrete Geometry by David Eppstein". SIGACT News. 51 (4): 15–17. doi:10.1145/3444815.3444820. ISSN 0163-5700. Retrieved...
Click to read more »Amir Ronen
Sabtu, 2026-02-07 05:26:50Auctions are Hard, (April 29, 2002) On Approximating Optimal Auctions "ACM SIGACT Presents Gödel Prize for Research that Illuminated Effects of Selfish Internet...
Click to read more »History of the Actor model
Sabtu, 2025-06-07 20:34:07"Actor induction and meta-evaluation". Proceedings of the 1st annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages – POPL '73. pp...
Click to read more »Scribe (markup language)
Jumat, 2026-05-29 14:30:30formatting", Proceedings of the POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p. 24-31 doi:10.1145/567446...
Click to read more »Lovász local lemma
Senin, 2025-04-14 13:34:36Gödel Prize". ethz.ch. 6 April 2020. Retrieved 2020-04-20. "ACM SIGACT - Gödel Prize". sigact.org. Retrieved 2020-04-20. Spencer, J. (1977). "Asymptotic lower...
Click to read more »Real computation
Jumat, 2025-12-19 00:29:511/1011. Scott Aaronson, NP-complete Problems and Physical Reality, ACM SIGACT News, Vol. 36, No. 1. (March 2005), pp. 30–52. Lenore Blum, Felipe Cucker...
Click to read more »Relational algebra
Rabu, 2026-05-06 13:08:56"Universality of data retrieval languages". Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '79. pp...
Click to read more »Graph reduction
Minggu, 2026-05-17 01:39:46James H. (1976). A lazy evaluator. POPL '76: Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages. ACM Press. pp...
Click to read more »FP (programming language)
Minggu, 2026-02-15 07:18:46Wimmers, IBM Almaden Research Center, Proceedings of the Fifteenth Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, San Diego, CA...
Click to read more »David P. Woodruff
Rabu, 2026-01-21 09:36:07distinct elements problem". Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. pp. 41–52. doi:10.1145/1807085...
Click to read more »Toda's theorem
Senin, 2026-04-13 10:37:39Parberry, Ian (25 March 1999). "1998 Gödel Prize. Seinosuke Toda". ACM SIGACT. Archived from the original on 17 May 2007. Basu, Saugata; Zell, Thierry...
Click to read more »Principal type
Selasa, 2025-09-02 14:40:07typings and what are they good for?". Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96. pp. 42–53....
Click to read more »Expander graph
Jumat, 2026-04-17 19:51:34S2CID 207168478 Yehudayoff, Amir (2012), "Proving expansion in three steps", ACM SIGACT News, 43 (3): 67–84, doi:10.1145/2421096.2421115, S2CID 18098370 Hartnett...
Click to read more »Type safety
Rabu, 2026-04-15 10:50:44type-schemes for functional programs". Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82. Association...
Click to read more »Dekker's algorithm
Rabu, 2026-03-04 22:33:59Alagarsamy, K. (2003). "Some Myths About Famous Mutual Exclusion Algorithms". ACM SIGACT News. 34 (3): 94–103. doi:10.1145/945526.945527. S2CID 7545330....
Click to read more »Timeline of quantum computing and communication
Rabu, 2026-05-06 15:05:471007/s11047-014-9464-3. Wiesner, Stephen (January 1, 1983). "Conjugate coding". ACM SIGACT News. 15 (1): 78–88. doi:10.1145/1008908.1008920. Wiesner, Stephen. Written...
Click to read more »Self-complementary graph
Kamis, 2026-04-30 03:05:26Charles J. (1978), "Graph isomorphism and self-complementary graphs", SIGACT News, 10 (1): 25–29, doi:10.1145/1008605.1008608. Weisstein, Eric W., "Self-Complementary...
Click to read more »January 2005 Tal Afar shootings
Rabu, 2026-04-15 21:05:08Citadel were also reported. To January 18, 2005, the American military SIGACT administration database lists 156 enemy actions of which 103 were "direct...
Click to read more »Type inference
Senin, 2026-05-18 01:27:56for functional programs", POPL '82: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on principles of programming languages (PDF), ACM, pp. 207–212...
Click to read more »Algorithmic Combinatorics on Partial Words
Sabtu, 2026-01-31 06:36:032009), "Review of Algorithmic Combinatorics on Partial Words" (PDF), ACM SIGACT News, 40 (3): 39–41, doi:10.1145/1620491.1620497 Kratochvíl, Jan (June 2011)...
Click to read more »Structure editor
Senin, 2026-05-11 18:53:13device for incremental semantic analysis". Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (POPL). New York...
Click to read more »Luca Cardelli
Sabtu, 2026-01-24 11:58:35(1990). "Explicit substitutions". Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) '90. pp. 31–46....
Click to read more »Verbal arithmetic
Senin, 2025-12-22 13:24:32David Eppstein (1987). "On the NP-completeness of cryptarithms" (PDF). SIGACT News. 18 (3): 38–40. doi:10.1145/24658.24662. S2CID 2814715. Pavlis, Anton...
Click to read more »Dominator (graph theory)
Rabu, 2026-02-11 02:07:00computing static single assignment form". Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '89. pp. 25–35....
Click to read more »Minimum spanning tree-based segmentation
Kamis, 2023-11-30 09:53:04"A potential-based amortized analysis of the union-find data structure", SIGACT News, 31 (3): 86–95, doi:10.1145/356458.356463, S2CID 14779624 Wassenberg...
Click to read more »Eric Bach
Senin, 2024-05-06 13:55:18Bach's algorithm for generating random factored numbers. "Eric Bach". ACM SIGACT Theoretical Computer Science genealogy database. Archived from the original...
Click to read more »Martin Dyer
Minggu, 2026-05-24 13:53:47jointly by the European Association of Theoretical Computer Science and ACM SIGACT. (Other contemporaneous recipients were Andrei Bulatov, Jin-Yi Cai, Xi Chen...
Click to read more »Additive noise differential privacy mechanisms
Sabtu, 2025-08-09 06:08:27mechanisms for minimax agents". Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. pp. 135–146. arXiv:1001...
Click to read more »Pointer analysis
Minggu, 2026-05-24 20:02:47"Pick your contexts well". Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. POPL '11. Austin, Texas...
Click to read more »The Mathematical Coloring Book
Minggu, 2026-02-08 13:41:22William (September 2009), "Review of The Mathematical Coloring Book", ACM SIGACT News, 40 (3): 24, doi:10.1145/1620491.1620494, S2CID 20432321 Ziegler, Günter...
Click to read more »Satyan Devadoss
Kamis, 2026-04-30 05:50:21and Computational Geometry by Satyan L. Devadoss and Joseph O'Rourke", SIGACT News, 45 (1), New York, NY, USA: ACM: 27–30, doi:10.1145/2596583.2596591...
Click to read more »Tim Chartier
Rabu, 2024-04-03 06:24:57America, retrieved 2021-10-15 Reviews of Math Bytes: John Tucker Bane , SIGACT News, doi:10.1145/2852040.2852045; Alexander Bogomolny, Cut the knot, [1];...
Click to read more »Gossip protocol
Kamis, 2026-03-12 14:44:32based membership protocol". Proceedings of the twenty-fourth annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing - PODC '05. p. 292...
Click to read more »Continuation-passing style
Sabtu, 2025-09-20 18:09:35formulae-as-type notion of control". Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90. Vol. 17. pp...
Click to read more »Maximum flow problem
Sabtu, 2026-05-02 22:53:10algorithm". In Frederickson, Greg N. (ed.). Proceedings of the Third Annual ACM/SIGACT-SIAM Symposium on Discrete Algorithms, 27-29 January 1992, Orlando, Florida...
Click to read more »Clyde Kruskal
Sabtu, 2026-03-07 14:52:33journal}}: CS1 maint: untitled periodical (link) MacCormick, John (March 2020). SIGACT News. 51 (1): 12–14. doi:10.1145/3388392.3388396. S2CID 212676334.{{cite...
Click to read more »Conjugate coding
Selasa, 2025-10-14 14:35:45also based on this concept. Wiesner, Stephen (1983). "Conjugate Coding". SIGACT News. 15 (1): 78–88. doi:10.1145/1008908.1008920. ISSN 0163-5700. S2CID 207155055...
Click to read more »International Colloquium on Automata, Languages and Programming
Senin, 2024-09-09 18:21:44theoretical computer science and awarded jointly by the EATCS and the ACM SIGACT, is presented every second year at ICALP. Presentation of the prize, which...
Click to read more »Empty type
Senin, 2025-12-08 03:02:29"Empty types in polymorphic lambda calculus". Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '87. Vol...
Click to read more »Exception handling (programming)
Jumat, 2026-05-29 11:23:46John B. (1975a). Structured exception handling. Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '75. pp...
Click to read more »Flajolet–Martin algorithm
Rabu, 2026-04-01 14:26:12distinct elements problem" (PDF). Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems of data - PODS '10. p...
Click to read more »Yuval Peres
Senin, 2026-03-09 03:12:59(June 2017). "Review". MAA Reviews. Aazami, Amir Babak (December 2018). ACM SIGACT News. 49 (4): 11–12. doi:10.1145/3300150.3300154. S2CID 56176729.{{cite...
Click to read more »Inline caching
Senin, 2025-09-29 09:30:17implementation of the smalltalk-80 system", POPL '84: Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, January 1984 Hölzle...
Click to read more »Alexander Razborov
Kamis, 2026-01-29 04:41:49Russian). Archived from the original on 2007-12-21. Retrieved 2008-01-15. "ACM-SIGACT Awards and Prizes: 2007 Gödel Prize". "EATCS: Gödel Prize - 2007". Archived...
Click to read more »Dominic Welsh
Senin, 2025-12-22 18:03:41Dominic Welsh (PDF) Review of Complexity and Cryptography by J. Rothe (2007), SIGACT News 38 (2): 16–20, doi:10.1145/1272729.1272735. "Oxford University Press...
Click to read more »Pointer machine
Sabtu, 2026-03-07 20:42:39particular to this article: Amir Ben-Amram (1995), What is a "Pointer machine"?, SIGACT News (ACM Special Interest Group on Automata and Computability Theory)"...
Click to read more »Algorithmic Puzzles
Sabtu, 2026-01-31 06:36:13Gasarch, William (December 2013), "Review of Algorithmic Puzzles" (PDF), ACM SIGACT News, 44 (4): 47–48, doi:10.1145/2556663.2556674 Rosebrock, Stephan, "Review...
Click to read more »Faith Ellen
Senin, 2026-02-09 03:24:29moved to Toronto in 1986. From 1997 to 2001, she was the vice chair of SIGACT, the leading international society for theory of computation. From 2006...
Click to read more »Algorithmic game theory
Sabtu, 2025-12-27 18:19:45129–140, doi:10.1145/301250.301287, ISBN 978-1581130676, S2CID 8316937 "ACM SIGACT Presents Gödel Prize for Research that Illuminated Effects of Selfish Internet...
Click to read more »Succinct data structure
Senin, 2026-06-01 11:32:30time/Space tradeoff for hash tables". Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing. New York, NY, USA: ACM. pp. 1284–1297...
Click to read more »Underwood Dudley
Selasa, 2025-07-29 20:59:0211001; Perla Myers, The Mathematics Teacher, JSTOR 20876870; Song Yan, ACM SIGACT News, doi:10.1145/1998037.1998048; Mehdi Hassani, MAA Reviews. Readings...
Click to read more »Value numbering
Sabtu, 2026-04-18 19:01:15approach to global program optimization". Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73. pp...
Click to read more »Michael Langston
Sabtu, 2026-06-06 10:12:16"Biographical data". University of Tennessee. Retrieved September 24, 2021. "SIGACT Distinguished Service Prize". Association for Computing Machinery. Retrieved...
Click to read more »History of Programming Languages (conference)
Senin, 2026-03-30 01:28:15e Association for Computing Machinery Special Interest Groups SIGACCESS SIGACT SIGAda SIGAI SIGAPP SIGARCH SIGBED SIGBio SIGCAS SIGCHI SIGCOMM SIGCSE SIGDA...
Click to read more »Ryan Williams (computer scientist)
Minggu, 2026-05-03 22:49:58complexity of optimal k-anonymity", Proceedings of the Twenty-Third ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS '04), New York...
Click to read more »Larry Stockmeyer
Rabu, 2026-04-01 03:43:37Stockmeyer (1976). Bortnikov, Edward (2007), "Review of DISC '07", ACM SIGACT News, 38 (4): 49–53, doi:10.1145/1345189.1386170, ISSN 0163-5700. Chandra...
Click to read more »Association rule learning
Rabu, 2026-03-18 12:25:50new framework for itemset generation". Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '98. pp...
Click to read more »William Cook (computer scientist)
Minggu, 2025-12-07 01:22:42of 57. Inheritance is not subtyping, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990) AppleScript. Proceedings...
Click to read more »Oded Regev (computer scientist)
Minggu, 2026-03-29 19:49:01Stephens-Davidowitz, Noah (2017), A reverse Minkowski theorem, Annual ACM SIGACT Symposium on Theory of Computing, Montreal, Quebec, Canada, pp. 941–953...
Click to read more »Dasgupta's objective
Jumat, 2025-12-26 16:34:54similarity-based hierarchical clustering", Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing (STOC 2016), New York, New York: ACM, pp...
Click to read more »Xi Chen
Kamis, 2025-12-04 11:18:21Columbia University". www.cs.columbia.edu. Retrieved 2024-02-23. "2021 SIGACT Knuth and Gödel Prizes Recipient". www.acm.org. Retrieved 2022-05-13. "Delbert...
Click to read more »Transitive closure
Jumat, 2026-01-16 04:57:24"Universality of data retrieval languages". Proceedings of the 6th ACM SIGACT-SIGPLAN Symposium on Principles of programming languages - POPL '79. pp...
Click to read more »Program structure tree
Rabu, 2025-10-15 20:49:12"Prime subprogram parsing of a program", Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '80, pp. 95–105...
Click to read more »Mark Overmars
Senin, 2026-06-08 08:56:47Mark De Berg, Marc Van Kreveld, Mark Overmars, and Otfried Schwarzkopf", SIGACT News, 31 (4), New York, NY, USA: ACM: 10–12, doi:10.1145/369836.571192,...
Click to read more »Centrum Wiskunde & Informatica
Sabtu, 2026-02-14 22:49:37Lanchester Prize (awarded yearly by INFORMS), the Gödel Prize (awarded by ACM SIGACT) and the Spinoza Prize. Most of its senior researchers hold part-time professorships...
Click to read more »PCP theorem
Minggu, 2026-03-15 18:22:52complexity of the shortest vector problem" (PDF). Open problems column. SIGACT News. 54 (1): 37–61. doi:10.1145/3586165.3586172. Kozen, Dexter C. (2006)...
Click to read more »De Bruijn index
Kamis, 2026-05-14 16:31:31"Engineering formal metatheory" (PDF). Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, New York, USA:...
Click to read more »Primality Testing for Beginners
Sabtu, 2025-12-27 17:26:15Green, Frederic (June 2016), "Review of Primality Testing for Beginners" (PDF), ACM SIGACT News, 47 (2): 6–9, doi:10.1145/2951860.2951863, S2CID 26146309...
Click to read more »List of distributed computing conferences
Kamis, 2025-11-27 06:34:14Principles of Distributed Computing sponsored by the ACM special interest groups SIGACT and SIGOPS organized annually since 1982 HPDC — ACM Symposium on High-Performance...
Click to read more »Robert Harper (computer scientist)
Minggu, 2026-03-08 00:03:40polymorphism with intensional type analysis". POPL '95: Proc 22nd ACM SIGPLAN-SIGACT Symp on Principles of Programming Languages. San Francisco, Cal, USA: ACM...
Click to read more »Holyhedron
Kamis, 2026-04-02 17:28:46Erik D.; O'Rourke, Joseph (1999). "Computational geometry column 37". ACM SIGACT News. 30 (3): 39–42. doi:10.1145/333623.333625. S2CID 9358750. Peterson...
Click to read more »Victor Pan
Kamis, 2025-12-25 01:29:49maint: work parameter with ISBN (link) Tate, Stephen R. (June 1995), ACM SIGACT News, 26 (2): 26–27, doi:10.1145/202840.606473, S2CID 4740448{{citation}}:...
Click to read more »Dorothea Blostein
Jumat, 2026-01-30 23:07:47B. (1980), "A general method for solving divide-and-conquer recurrences", ACM SIGACT News, 12 (3): 36–44, doi:10.1145/1008861.1008865, S2CID 40642274...
Click to read more »Bonnie Gold
Jumat, 2024-04-12 18:53:36CS1 maint: untitled periodical (link) Pincock, Christopher (June 2010), SIGACT News, 41 (2), New York, NY, USA: ACM: 28–33, doi:10.1145/1814370.1814379...
Click to read more »Philip Wadler
Senin, 2026-01-26 02:57:53"Imperative functional programming". Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages – POPL '93. p. 71. CiteSeerX 10...
Click to read more »Parsing expression grammar
Kamis, 2026-05-07 08:16:50Based Syntactic Foundation" (PDF). Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM. pp. 111–122. doi:10...
Click to read more »Ping Zhang (graph theorist)
Rabu, 2025-12-24 23:07:21maint: untitled periodical (link) Green, Frederic (December 2016), ACM SIGACT News, 47 (4): 18–21, doi:10.1145/3023855.3023862, S2CID 31121135{{citation}}:...
Click to read more »Neil Immerman
Sabtu, 2026-01-24 11:57:4068031{{citation}}: CS1 maint: untitled periodical (link) 1995 Gödel Prize, ACM SIGACT, retrieved 2010-01-23. ACM Fellows Award / Neil Immerman, Association for...
Click to read more »Separating words problem
Senin, 2025-04-14 13:31:23"Separating words and trace reconstruction". Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing. STOC 2021. New York, NY, USA: Association...
Click to read more »Interaction nets
Rabu, 2026-05-13 23:23:31Lafont, Yves (1989). "Interaction nets". Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90. ACM. pp. 95–108...
Click to read more »Choreographic programming
Kamis, 2025-11-27 12:16:06"Deadlock-freedom-by-design". Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13. p. 263. doi:10...
Click to read more »Arithmetic combinatorics
Minggu, 2026-04-26 21:59:06Computer Science Archived 2016-03-04 at the Wayback Machine, Luca Trevisan, SIGACT News, June 2009 Bibak, Khodakhast (2013). "Additive combinatorics with a...
Click to read more »Combinatorial Games: Tic-Tac-Toe Theory
Minggu, 2026-02-01 01:53:07Gasarch, William (August 2012), "Review of Combinatorial Games" (PDF), ACM SIGACT News, 43 (3): 19, doi:10.1145/2421096.2421099 tval (June 2011), "Review...
Click to read more »Schaefer's dichotomy theorem
Senin, 2025-09-08 10:39:55(December 2006). "A Rendezvous of Logic, Complexity, and Algebra". ACM SIGACT News. 37 (4): 85–114. arXiv:cs/0611018. doi:10.1145/1189056.1189076. S2CID 14130916...
Click to read more »Ryan O'Donnell (computer scientist)
Senin, 2026-05-25 13:15:30"Efficient quantum tomography II". Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing. ACM. pp. 962–974. doi:10.1145/3055399...
Click to read more »The Princeton Companion to Mathematics
Selasa, 2026-04-14 03:01:53Haris (2010), "Review of The Princeton Companion to Mathematics" (PDF), ACM SIGACT News, 41 (1): 31–33, doi:10.1145/1753171.1753183. Fraser, Craig G. (2010)...
Click to read more »Tomasz Imieliński
Senin, 2026-03-09 02:22:10Karvounarakis, G.; Tannen, Val (2007). "Provenance Semiring". Proc. ACM SIGMOD-SIGACT-SIGART, PODS: 31–40. T.J. Green (2009). Models for Incomplete and Probabilistic...
Click to read more »Regular path query
Senin, 2025-09-01 13:01:47expressions and regular path queries". Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. PODS '99. New York,...
Click to read more »Linearizability
Rabu, 2026-03-11 00:39:38M. (1987). "Axioms for concurrent objects". Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '87. pp...
Click to read more »Imieliński–Lipski algebra
Selasa, 2026-01-13 19:28:56answering queries using materialized views". Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems. pp. 254–263....
Click to read more »James H. Morris
Kamis, 2026-03-05 10:41:16184-201. Henderson, P., & Morris, J. H. (1976). A lazy evaluator. ACM Sigact-Sigplan Symposium on Principles of Programming Languages (pp. 95–103). DBLP...
Click to read more »Moni Naor
Minggu, 2026-03-29 19:47:18Naor, 2008 IACR Fellow". iacr.org. Retrieved 2023-08-27. "EATCS and ACM SIGACT present the Gödel Prize 2014 for designing innovative algorithms". EATCS...
Click to read more »Vector clock
Minggu, 2026-06-07 04:15:08availability of data in an unreliable network". Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems - PODS '82. p. 70. doi:10...
Click to read more »Anita Burdman Feferman
Selasa, 2026-04-07 01:41:07CS1 maint: untitled periodical (link) Lescanne, Pierre (March 2006), ACM SIGACT News, 37 (1): 27, doi:10.1145/1122480.1122489, S2CID 9529607{{citation}}:...
Click to read more »Parameterized approximation algorithm
Rabu, 2026-01-28 19:14:21complexity of approximating dominating set". Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. STOC 2018. New York, NY, USA: Association...
Click to read more »Sardinas–Patterson algorithm
Kamis, 2026-05-07 20:09:0868007. Knuth, Donald E. (December 2003). "Robert W Floyd, In Memoriam". SIGACT News. 34 (4): 3–13. doi:10.1145/954092.954488. S2CID 35605565. Rodeh, M...
Click to read more »Princess and monster game
Jumat, 2024-11-22 21:23:40(2004). "A princess swimming in the fog looking for a monster cow". ACM SIGACT News. 35 (2): 74–78. doi:10.1145/992287.992304. S2CID 8687739. S. Alpern...
Click to read more »International Symposium on Distributed Computing
Minggu, 2025-03-09 00:11:41(December 2012). "Distributed Computing Column 48: Annual Review 2012". ACM SIGACT News. 43 (4): 98–100. doi:10.1145/2421119.2421137. EATCS web site: Awards:...
Click to read more »Dale Skeen
Sabtu, 2025-07-26 12:19:51protocol for replicated data management". Proceedings of the fourth ACM SIGACT-SIGMOD symposium on Principles of database systems - PODS '85. Dl.acm.org...
Click to read more »Carsten Lund
Kamis, 2026-05-28 18:21:18doi:10.1109/SFCS.1992.267823. Parberry, Ian (2001), 2001 Gödel Prize, ACM SIGACT. Feldmann, A.; Greenberg, A.; Lund, C.; Reingold, N.; Rexford, J. (2000)...
Click to read more »László Babai
Senin, 2025-09-29 03:06:43at 9:43 1993 Gödel Prize Archived 2015-12-08 at the Wayback Machine, ACM SIGACT, retrieved 2010-08-14. "Llewellyn John and Harriet Manchester Quantrell...
Click to read more »Sunflower (mathematics)
Kamis, 2026-05-07 11:18:58"Improved bounds for the sunflower lemma". Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery. pp...
Click to read more »2-EXPTIME
Senin, 2026-03-30 11:45:12the synthesis of a reactive module". Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '89. New York, NY...
Click to read more »K-independent hashing
Kamis, 2026-05-21 15:27:14distinct elements problem". Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. 2010. Indyk, Piotr....
Click to read more »Session type
Minggu, 2025-09-07 13:20:57asynchronous session types". Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. pp. 273–284. doi:10.1145/1328438...
Click to read more »Patrick C. Fischer
Rabu, 2026-04-01 03:28:58from mathematics and electrical engineering. He was the first chair of SIGACT, the Special Interest Group on Algorithms and Computation Theory of the...
Click to read more »Richard Johnsonbaugh
Selasa, 2023-02-07 06:13:36doi:10.1002/bimj.4710280112 Review of Algorithms: Dean Kelley (2009), SIGACT News, doi:10.1145/1556154.1556159 Richard Johnsonbaugh's webpage at De Paul...
Click to read more »Analytic Combinatorics (book)
Sabtu, 2026-01-31 09:53:05Bóna, Miklós (June 2010), "Review of Analytic Combinatorics" (PDF), ACM SIGACT News, 41 (2): 11, doi:10.1145/1814370.1814373, S2CID 16443540 Mansour, Toufik...
Click to read more »CTL*
Jumat, 2025-06-06 01:48:40""Sometimes" and "Not Never" revisited". Proceedings of the 10th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '83. pp. 127–140...
Click to read more »Log-space reduction
Minggu, 2025-12-28 20:43:18(1973-07-01). "A characterization of log-space computable functions". SIGACT News. 5 (3): 26–29. doi:10.1145/1008293.1008295. ISSN 0163-5700. Papadimitriou...
Click to read more »Martin Fürer
Jumat, 2025-08-08 19:49:34and Applied Mathematics (SIAM), pp. 979–1005, doi:10.1137/070711761 "ACM SIGACT - STOC Best Paper Award". Fürer, Martin. "Martin Furer's Home Page". Penn...
Click to read more »Steiner tree problem
Kamis, 2026-04-30 23:30:58(19 June 2017). "Lossy kernelization". Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing (PDF). STOC 2017. New York, NY: Association...
Click to read more »Matthew Flatt
Senin, 2026-03-16 22:15:23(1998-01-21). "Classes and mixins". Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '98. New York, NY...
Click to read more »Universal point set
Senin, 2026-03-30 15:10:26(1989), "A lower bound on the size of universal sets for planar graphs", SIGACT News, 20 (4): 83–86, doi:10.1145/74074.74088, S2CID 7188305. de Fraysseix...
Click to read more »Uri Zwick
Rabu, 2025-12-24 23:14:46list (link) Williams, Ryan (November 2008), "Applying Practice to Theory", SIGACT News, 39 (4): 37–52, arXiv:0811.1305, doi:10.1145/1466390.1466401, S2CID 291154...
Click to read more »Typestate analysis
Minggu, 2026-01-18 05:24:27for compile-time enforcement of security". Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83. pp...
Click to read more »Shortest common supersequence
Selasa, 2026-05-19 09:56:42classification by overlap to length ratios". Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing (PDF). pp. 317–330. doi:10.1145/3519935...
Click to read more »Belief propagation
Jumat, 2026-04-24 23:50:26Algorithms by David J. C. MacKay", Cambridge University Press, 2003". ACM SIGACT News. 37 (4): 34–36. doi:10.1145/1189056.1189063. ISSN 0163-5700. S2CID 10570465...
Click to read more »Catherine Yan
Rabu, 2026-04-01 03:47:06Reviews, Mathematical Association of America Mount, John (June 2010), ACM SIGACT News, 41 (2): 14, doi:10.1145/1814370.1814374, S2CID 33869826{{citation}}:...
Click to read more »Bakhadyr Khoussainov
Minggu, 2026-03-22 13:49:041007/3-540-60178-3_93. ISBN 978-3-540-44720-7. "ACM SIGACT - STOC Best Paper Award". www.sigact.org. Retrieved 2021-02-06. "IPEC Nerode Prize". "View...
Click to read more »Rebecca Waldecker
Sabtu, 2025-12-27 01:45:57Mathematical Society Newsletter, no. 438, p. 49 Green, Frederic (June 2016), ACM SIGACT News, 47 (2): 6–9, doi:10.1145/2951860.2951863, S2CID 26146309{{citation}}:...
Click to read more »Portable C Compiler
Jumat, 2026-05-22 16:10:36"A portable compiler: Theory and practice". Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '78. pp...
Click to read more »Yossi Matias
Rabu, 2026-03-25 13:33:26Developers Blog. 2017-07-26. Retrieved 2017-11-06. "2005 Godel Prize". Sigact.org. Archived from the original on 2016-08-09. Retrieved 2013-10-22. "Yossi...
Click to read more »Nonelementary problem
Selasa, 2026-05-12 13:36:14Logic Programs with Complex Values", Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS '98), New...
Click to read more »FIXP
Minggu, 2025-10-26 12:52:11under exact and approximate equilibria". Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing. STOC 2017. New York, NY, USA: Association...
Click to read more »Aspect weaver
Selasa, 2026-01-13 12:48:26static pointcuts in aspectJ". Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM. pp. 11–23. CiteSeerX 10...
Click to read more »Belief revision
Kamis, 2026-01-15 02:49:41the semantics of updates in databases. In Proceedings of the Second ACM SIGACT SIGMOD Symposium on Principles of Database Systems (PODS'83), pages 352–365...
Click to read more »Paris Kanellakis
Rabu, 2026-02-11 01:34:42(PODC'96). ACM. Dwork, Cynthia (1996). "Distributed computing column". ACM SIGACT News. 27 (3): 50–54. doi:10.1145/235666.235671. S2CID 7482415. Freuder,...
Click to read more »Steven Rudich
Jumat, 2025-08-15 19:06:03Fortnow, Lance. "Steven Rudich (1961-2024)". Retrieved 2024-11-14. "ACM-SIGACT Awards and Prizes: 2007 Gödel Prize". Archived from the original on 2016-03-03...
Click to read more »Topic model
Kamis, 2026-03-19 01:44:09(1998). "Latent semantic indexing". Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '98. pp...
Click to read more »Alan R. Lynn
Senin, 2026-05-25 05:41:37disparate communities to share data. Still used in CENTCOM as a primary SIGACT and Counter-IED tool. Recognized by Congress for creating the largest tactical...
Click to read more »Small set expansion hypothesis
Minggu, 2025-12-28 20:47:19Samir; Williams, Virginia Vassilevska (eds.), STOC '21: 53rd Annual ACM SIGACT Symposium on Theory of Computing, Virtual Event, Italy, June 21–25, 2021...
Click to read more »Yannakakis algorithm
Kamis, 2026-04-16 12:51:25"FAQ: Questions Asked Frequently". Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. PODS '16. New York, NY...
Click to read more »Uwe Schöning
Sabtu, 2026-01-31 00:15:38ed.) Review of Logic for Computer Scientists by Riccardo Pucella (2005), SIGACT News 36 (3): 17–19, doi:10.1145/1086649.1086657 Review of The Graph Isomorphism...
Click to read more »Marko Petkovšek
Rabu, 2024-11-20 13:18:05of A=B 5 by Marko Petkovsek, Herbert S. Wilf, and Doron Zeilberger". ACM SIGACT News. 31 (4). Association for Computing Machinery (ACM): 18–24. doi:10.1145/369836...
Click to read more »Handshaking lemma
Sabtu, 2025-12-27 18:07:11Kempe, David; Henzinger, Monika (eds.), Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2018, Los Angeles, CA, USA, June...
Click to read more »Meta-circular evaluator
Kamis, 2026-05-21 01:36:23self-interpreter for f-omega" (PDF). Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pp. 5–17. doi:10.1145/2837614...
Click to read more »Mike Paterson
Minggu, 2026-03-08 06:02:50Processing Letters 12(1), 23–29 (2002). Paterson's worms Sprouts (game) SIGACT genealogy datase Mike Paterson at the Mathematics Genealogy Project Paterson...
Click to read more »Count-distinct problem
Selasa, 2025-11-25 18:50:14distinct elements problem". Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. pp. 41–52. doi:10.1145/1807085...
Click to read more »Low and high hierarchies
Rabu, 2023-08-16 06:00:34Jörg Rothe p. 232 Lane A. Hemaspaandra, "Lowness: a yardstick for NP-P", ACM SIGACT News, 1993, vol. 24, no.2, pp. 11-14. doi:10.1145/156063.156064 v t e...
Click to read more »Local differential privacy
Sabtu, 2026-05-02 01:11:12privacy preserving data mining". Proceedings of the Twenty-Second ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems. pp. 211–222. doi:10...
Click to read more »Binary recompiler
Selasa, 2025-11-04 04:06:08to global program optimization" (PDF). Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73. pp...
Click to read more »List of statements independent of ZFC
Selasa, 2026-04-21 12:15:42JSTOR 1999225. Aaronson, Scott (2020-09-29). "The Busy Beaver Frontier" (PDF). SIGACT News. 51 (3): 32–54. doi:10.1145/3427361.3427369. ISSN 0163-5700. Archived...
Click to read more »Excellence Without a Soul
Jumat, 2026-05-29 05:16:44University Forgot Education by Harry Lewis, Public Affairs, 290 pages". ACM SIGACT News. 38 (1): 9–13. doi:10.1145/1233481.1233486. Sleeper, Jim (May 28, 2006)...
Click to read more »Harold Edwards (mathematician)
Kamis, 2026-01-29 03:30:43(2005), Mathematical Reviews, MR 2104015. Review by S. C. Coutinho (2010), SIGACT News 41 (2): 33–36, doi:10.1145/1814370.1814372. Edwards, Harold M. (2022)...
Click to read more »Smoothed analysis
Selasa, 2026-01-13 13:14:21smoothed analysis of the simplex method", Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing, pp. 390–403, arXiv:1711.05667, doi:10...
Click to read more »Even-hole-free graph
Jumat, 2025-07-18 00:32:44Kamath, Gautam; Chuzhoy, Julia (eds.), Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, STOC 2020, Chicago, IL, USA, June 22–26...
Click to read more »Witold Lipski
Senin, 2026-05-04 10:21:33(2007). "Provenance semirings". Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. pp. 31–40. doi:10.1145/1265530...
Click to read more »White-box cryptography
Rabu, 2026-04-08 06:51:06obfuscation from well-founded assumptions". Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing. pp. 60–73. arXiv:2008.09317. doi:10.1145/3406325...
Click to read more »Géraud Sénizergues
Rabu, 2026-03-04 12:35:011109/LICS.1996.561469. ISBN 9780818674631. S2CID 14296200. "2002 Gödel Prize". sigact.org. Retrieved 2019-05-10. Sénizergues, Géraud (1997). Degano, Pierpaolo;...
Click to read more »Slicing the Truth
Rabu, 2026-03-25 01:33:31Gasarch, William (March 2016), "Review of Slicing the Truth" (PDF), ACM SIGACT News, 47 (1): 21–24, doi:10.1145/2902945.2902952, S2CID 19457072 Dorais...
Click to read more »Roberto Tamassia
Sabtu, 2026-01-24 12:06:12vitae from Tamassia's web site, retrieved 2009-07-16. TCS Genealogy, ACM SIGACT. Profs. Preparata and Tamassia Among Most Highly Cited Computer Scientists...
Click to read more »Martin Vechev
Senin, 2026-05-18 17:11:53Properties from "Big Code"". Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL '15. New York, NY...
Click to read more »Erdős–Szemerédi theorem
Senin, 2026-06-08 02:44:11ISSN 0895-4801. S2CID 207065775. Trevisan, Luca (2009-06-20). "Guest column". ACM SIGACT News. 40 (2): 50–66. doi:10.1145/1556154.1556170. ISSN 0163-5700. S2CID 12566158...
Click to read more »Georg Gottlob
Rabu, 2026-03-04 12:21:34revision, updates, and counterfactuals". Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '92. p...
Click to read more »Richard Lipton
Selasa, 2026-05-12 12:37:49Estimation By Adaptive Sampling", "PODS '90: Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems" Richard J. Lipton...
Click to read more »Uncertain database
Selasa, 2025-05-27 06:00:04(2007-06-11). "Provenance semirings". Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. PODS '07. New York,...
Click to read more »Selection algorithm
Sabtu, 2026-05-09 05:15:18largest of n {\displaystyle n} for small i , n {\displaystyle i,n} ". ACM SIGACT News. 27 (2): 88–96. doi:10.1145/235767.235772. S2CID 3133332. "Primitive...
Click to read more »Constance Reid
Minggu, 2026-04-26 08:44:58Reviews of From Zero to Infinity: Belle, Vaishak (June 2011). "Review". ACM SIGACT News. 42 (2): 10–11. doi:10.1145/1998037.1998040. S2CID 36802636. Gibb,...
Click to read more »Introduction to Lattices and Order
Senin, 2025-12-22 18:54:162007), "Review of Introduction to Lattices and Order (2nd ed.)" (PDF), ACM SIGACT News, 38 (1): 17–23, doi:10.1145/1233481.1233488, S2CID 15496160 Slavík...
Click to read more »Lenore Blum
Rabu, 2026-04-01 03:24:14CS1 maint: untitled periodical (link) McNicholl, Timothy H. (June 2001), SIGACT News, 32 (2): 14–15, doi:10.1145/504192.1005765, S2CID 3122000{{citation}}:...
Click to read more »From Zero to Infinity
Sabtu, 2026-01-17 04:39:46Vaishak (June 2011), "Review of From Zero to Infinity, 5th ed." (PDF), ACM SIGACT News, 42 (2): 10–11, doi:10.1145/1998037.1998040 Godshall, Lynn (July 2007)...
Click to read more »Flix (programming language)
Rabu, 2026-04-29 07:47:17(1988). "Polymorphic effect systems". Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88. pp. 47–57....
Click to read more »Ran Canetti
Minggu, 2026-03-08 12:27:29"Security and Composition of Cryptographic Protocols: A Tutorial (Part I)". SIGACT News. 37 (3): 67–92. doi:10.1145/1165555.1165570. ISSN 0163-5700. S2CID 1898931...
Click to read more »Oblivious transfer
Selasa, 2026-04-14 06:27:372011-04-01 at the Wayback Machine Stephen Wiesner, "Conjugate coding", Sigact News, vol. 15, no. 1, 1983, pp. 78–88; original manuscript written circa...
Click to read more »Anna Karlin
Sabtu, 2026-04-18 05:22:43(June 2017), "Review", MAA Reviews Aazami, Amir Babak (December 2018), ACM SIGACT News, 49 (4): 11–12, doi:10.1145/3300150.3300154{{citation}}: CS1 maint:...
Click to read more »Finite model theory
Selasa, 2026-04-28 23:41:36database theoretician". PODS 2009: Proceedings of the twenty-eighth ACM SIGACT–SIGMOD symposium on Principles of database systems. pp. 65–76. doi:10.1145/1559795...
Click to read more »Robert L. Constable
Sabtu, 2026-01-24 11:51:10Johnson, Scott D. (1979). "A PL/CV Precis". Proceedings of the 6th ACM SIGACT–SIGPLAN symposium on Principles of programming languages (POPL '79). Association...
Click to read more »James B. Saxe
Jumat, 2025-12-26 01:17:35(September 1980), "A general method for solving divide-and-conquer recurrences", ACM SIGACT News, 12 (3): 36–44, doi:10.1145/1008861.1008865, S2CID 40642274...
Click to read more »Peter Sanders (computer scientist)
Jumat, 2026-01-30 19:43:14Data Structures: The Basic Toolbox by Kurt Mehlhorn and Peter Sanders", SIGACT News, 42 (4): 26–29, doi:10.1145/2078162.2078168, S2CID 26805175 Google...
Click to read more »Val Tannen
Selasa, 2026-01-20 01:43:52(2007-06-11). "Provenance semirings". Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. ACM. pp. 31–40. doi:10...
Click to read more »Type family
Jumat, 2025-06-20 13:06:09"Associated Types with Class". Proceedings of the 32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press: 1–13. "Type...
Click to read more »Planarity testing
Kamis, 2026-02-05 04:18:50Kamath, Gautam; Chuzhoy, Julia (eds.). Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, STOC 2020, Chicago, IL, USA, June 22-26...
Click to read more »Donald G. Saari
Selasa, 2026-02-17 11:14:41587–589, JSTOR 3216979 3216979. Review of Decisions and Elections by David Pritchard (2010), ACM SIGACT News 41 (3): 30–33, doi:10.1145/1855118.1855124....
Click to read more »Michael Genesereth
Rabu, 2026-04-01 03:29:51"Answering recursive queries using views". Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '97. pp...
Click to read more »Carol Walker
Jumat, 2026-03-20 05:34:49original on 2022-12-31, retrieved 2022-12-31 Xie, Yulai (August 2012), ACM SIGACT News, 43 (3): 25–27, doi:10.1145/2421096.2421101{{citation}}: CS1 maint:...
Click to read more »Kai Salomaa
Jumat, 2024-01-05 06:52:13Salomaa, Kai (2014). "Complexity of input-driven pushdown automata". ACM SIGACT News. 45 (2): 47–67. doi:10.1145/2636805.2636821. ISSN 0163-5700. S2CID 16837177...
Click to read more »Monad transformer
Senin, 2025-10-20 11:08:39transformers and modular interpreters" (PDF). Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY: ACM. pp...
Click to read more »ACM SIGOPS
Sabtu, 2026-04-25 22:43:497 June 2017. "Conference Rank". ArnetMiner. Retrieved 2010-06-23. "ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC)". dblp computer...
Click to read more »Brian Reid (computer scientist)
Kamis, 2026-03-12 02:34:05approach to computer document formatting". Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '80. ACM. pp. 24–31...
Click to read more »Holographic algorithm
Jumat, 2026-05-08 17:05:0506.005. Cai, Jin-Yi (June 2008). "Holographic algorithms: guest column". SIGACT News. 39 (2). New York, NY, USA: ACM: 51–81. doi:10.1145/1388240.1388254...
Click to read more »Context-free language reachability
Sabtu, 2025-06-07 03:44:43"Demand-driven alias analysis for C". Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. POPL '08. New York, NY...
Click to read more »Quantum complexity theory
Jumat, 2026-02-13 23:40:28Aaronson, Scott (2005). "NP-complete Problems and Physical Reality". ACM SIGACT News. 2005. arXiv:quant-ph/0502072. Bibcode:2005quant.ph..2072A. See section...
Click to read more »Polymorphic recursion
Jumat, 2025-10-17 16:23:40using a Stack of Regions". POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY, USA: ACM...
Click to read more »Shape analysis (program analysis)
Rabu, 2025-05-07 05:01:59programs with recursive data structures". Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82. ACM. pp. 66–74...
Click to read more »AbsInt
Selasa, 2026-01-13 12:48:14by construction or approximation of fixpoints. Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pp. 238–252. Official...
Click to read more »Complexity and Real Computation
Minggu, 2026-02-01 01:57:03McNicholl, Timothy H. (June 2001), "Review of Complexity and Real Computation", SIGACT News, 32 (2): 14–15, doi:10.1145/504192.1005765 Meer, Klaus (1999), "Review...
Click to read more »The Tower of Hanoi – Myths and Maths
Sabtu, 2025-12-27 01:50:472014), "Review of The Tower of Hanoi - Myths and Maths (1st ed.)" (PDF), SIGACT News, 45 (3): 29–31, doi:10.1145/2670418.2670430 Nagaraj, S. V. (December...
Click to read more »Polyvariance
Selasa, 2023-08-08 22:36:10Information to Intersection and Union Types". Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '98). 11 (3): 197–208...
Click to read more »List of University of California, Berkeley alumni
Selasa, 2026-06-02 05:10:05Engineering and Computer Sciences, College of Engineer, UC Berkeley. "ACM SIGACT Presents Gödel Prize for Research that Illuminated Effects of Selfish Internet...
Click to read more »Fixed-point logic
Jumat, 2026-04-24 23:09:36"Universality of data retrieval languages". Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '79. New...
Click to read more »Shmuel Gal
Senin, 2026-02-02 19:54:16(2004). "A princess swimming in the fog looking for a monster cow". ACM SIGACT News. 35 (2): 74–78. doi:10.1145/992287.992304. S2CID 8687739. S. Alpern...
Click to read more »Triangle-free graph
Selasa, 2026-05-12 19:49:46in Leonardi, Stefano; Gupta, Anupam (eds.), STOC '22: 54th Annual ACM SIGACT Symposium on Theory of Computing, Rome, Italy, June 20 - 24, 2022, {ACM}...
Click to read more »Bunched logic
Rabu, 2026-04-08 12:22:59(1978). "Syntactic control of interference". Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '78. pp...
Click to read more »Amit Sahai
Senin, 2026-02-16 13:16:42obfuscation from well-founded assumptions. Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing (STOC 2021). pp. 60–73. doi:10.1145/3406325...
Click to read more »Timeline of women in computing
Jumat, 2026-05-29 13:22:00February 2018. Retrieved 17 October 2018. "Gödel Prize (together with ACM SIGACT)". EATCS. Retrieved 21 May 2019. "Official ACM Turing award website". amturing...
Click to read more »IEEE Nikola Tesla Award
Kamis, 2026-01-29 12:41:28Award (Computer Society and ACM) Knuth Prize (Computer Society and ACM SIGACT) W. Wallace McDowell Award (Computer Society) Harlan D. Mills Award (Computer...
Click to read more »3SUM
Senin, 2025-11-10 16:06:09trees for k-SUM and related problems", Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing, pp. 554–563, arXiv:1705.01720, doi:10...
Click to read more »Jeanne LaDuke
Jumat, 2026-02-06 11:14:03Mathematical Reviews, MR 2464022 Sorelle A. Friedler (June 2011), ACM SIGACT News 42 (2): 37–41, doi:10.1145/1998037.1998047 Hayda, Julian (October 1...
Click to read more »United States v. Manning
Jumat, 2026-05-29 13:42:06historical significance of two wars Iraq and Afghanistan Significant Activity, Sigacts, between 00001 January 2004 and 2359 31 December 2009 extracts from CSV...
Click to read more »John Launchbury
Kamis, 2026-03-05 11:30:05Natural Semantics for Lazy Evaluation". Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93. ACM. pp. 144–154...
Click to read more »LOOP (programming language)
Senin, 2026-06-08 00:04:23Over Different Sets of Primitives". Proceedings of the 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '80). New York, NY...
Click to read more »ACM-W
Sabtu, 2026-04-25 22:43:52including many annual ACM special interest group conferences such as SIGACCESS, SIGACT, SIGAI, SIGARCH, SIGCOMM, SIGCHI, SIGCSE, SIGDA, SIGECOM, SIGEVO, SIGGRAPH...
Click to read more »Random projection
Senin, 2026-03-30 16:15:10"Database-friendly random projections". Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '01. pp. 274–281...
Click to read more »Marcus Fontoura
Rabu, 2026-04-08 06:49:06evaluation over XML streams". Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. ACM. pp. 177–188. doi:10...
Click to read more »Expression problem
Selasa, 2026-01-13 04:25:23Matthias (1998). "Classes and Mixins". Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '98. pp. 171–183...
Click to read more »Multitier programming
Minggu, 2025-09-28 10:08:39applications by program transformation". Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages. pp. 221–232. doi:10.1145/1040305...
Click to read more »Min-max optimization
Senin, 2026-06-08 12:56:30of constrained min-max optimization". Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing. STOC 2021. New York, NY, USA: Association...
Click to read more »Tuple-generating dependency
Selasa, 2025-11-18 21:35:04Principles of Database Systems. PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. Virtual Event, China...
Click to read more »Modal μ-calculus
Senin, 2026-06-01 12:54:07(1988-01-01). "A temporal fixpoint calculus". Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88. New York, NY...
Click to read more »Prize for Innovation in Distributed Computing
Jumat, 2026-05-29 22:18:20Keidar, ACM-SIGACT News Distributed Computing Column, December 2009 [2] CNRS website [3] Proceedings of SIROCCO 2011 [4] Idit Keidar, ACM-SIGACT News Distributed...
Click to read more »Judy Green (mathematician)
Sabtu, 2026-01-31 20:19:20american mathematics: the pre-1940 PhD's by Judy Green and Jeanne LaDuke". ACM SIGACT News. 42 (2): 37–41. doi:10.1145/1998037.1998047. ISSN 0163-5700. S2CID 14990095...
Click to read more »Approximate membership query filter
Senin, 2026-05-04 05:22:28time/Space tradeoff for hash tables". Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing. New York, NY, USA: ACM. pp. 1284–1297...
Click to read more »Ear decomposition
Minggu, 2026-05-24 18:58:04ISBN 978-1-58488-505-4, MR 2181153. Khuller, Samir (1989), "Ear decompositions" (PDF), SIGACT News, 20 (1): 128. Lovász, László (1972), "A note on factor-critical graphs"...
Click to read more »Computers in Entertainment
Kamis, 2023-04-20 08:38:10e Association for Computing Machinery Special Interest Groups SIGACCESS SIGACT SIGAda SIGAI SIGAPP SIGARCH SIGBED SIGBio SIGCAS SIGCHI SIGCOMM SIGCSE SIGDA...
Click to read more »Philosophy of computer science
Kamis, 2026-01-29 19:38:23ISBN 978-3-662-70999-3. William I. Gasarch (June 2002). "The P=?NP poll" (PDF). SIGACT News. 33 (2): 34–47. CiteSeerX 10.1.1.172.1005. doi:10.1145/564585.564599...
Click to read more »Constraint logic programming
Jumat, 2025-09-12 14:25:52and J-L. Lassez. "Constraint logic programming." Proceedings of the 14th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, 1987....
Click to read more »József Beck
Senin, 2025-12-22 17:29:52maint: work parameter with ISBN (link) Gasarch, William (August 2012), SIGACT News, 43 (3): 19–21, doi:10.1145/2421096.2421099, S2CID 13291558{{citation}}:...
Click to read more »María Cecilia Rivara
Senin, 2025-12-29 00:20:15O'Rourke, Joseph (September 1994), "Computational geometry column 23", ACM SIGACT News, 25 (3), Association for Computing Machinery (ACM): 24–27, doi:10.1145/193820...
Click to read more »Lucy Gilbert
Selasa, 2025-01-07 23:49:15structure in languages for distributed computing". Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '86. St...
Click to read more »Fixed-point computation
Sabtu, 2025-12-27 18:05:58Varadarajan, Kasturi (2004-12-01). "The computation of market equilibria". SIGACT News. 35 (4): 23–37. doi:10.1145/1054916.1054927. ISSN 0163-5700. The Computation...
Click to read more »Nissim Francez
Minggu, 2026-03-08 06:41:18compositional approach to superimposition". Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88. New York, New...
Click to read more »Beta skeleton
Jumat, 2026-01-30 14:32:06217–248. O'Rourke, Joseph (2000), "Computational Geometry Column 38", SIGACT News, 31 (1): 28–30, arXiv:cs.CG/0001025, doi:10.1145/346048.346050. Radke...
Click to read more »Nash equilibrium computation
Selasa, 2026-06-02 17:30:01Nash equilibrium in congestion games". Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing. STOC 2021. New York, NY, USA: Association...
Click to read more »Presburger arithmetic
Minggu, 2026-05-03 16:36:27simplifier based on efficient decision algorithms". Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '78. pp...
Click to read more »Retrieval Data Structure
Senin, 2026-05-25 11:54:35incremental stable perfect hashing". Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing. New York, NY, USA: ACM. pp. 1298–1310...
Click to read more »E-graph
Rabu, 2026-06-03 08:08:28(2009-01-21). "Equality saturation". Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. POPL '09. Savannah, GA...
Click to read more »Tabulation hashing
Senin, 2026-03-23 20:01:17hashing with strong concentration bounds." Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing. 2020. Dahlgaard, Søren, et al. "Hashing...
Click to read more »Eugene Lawler
Selasa, 2026-03-03 21:48:16Reprinted in Rice Univ, Corporate (1994), "In memoriam Eugene L. Lawler", SIGACT News, 25 (4): 108–109, doi:10.1145/190616.190626, S2CID 5267081. Lawler...
Click to read more »Catalytic computing
Senin, 2026-05-04 05:26:02approaches to the tree evaluation problem". Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing. ACM. pp. 752–760. doi:10.1145/3357713...
Click to read more »Loop dependence analysis
Selasa, 2026-05-05 17:52:54of control dependence to data dependence". Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83. POPL...
Click to read more »Unbounded nondeterminism
Rabu, 2025-03-12 03:55:24"Actor Induction and Meta-evaluation". Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages. POPL'73. Boston...
Click to read more »Reduction strategy
Senin, 2026-04-20 09:25:08algorithm for optimal lambda calculus reduction (PDF). 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90. pp. 16–30....
Click to read more »Clique-width
Senin, 2024-09-09 15:12:25"Fast FPT-approximation of branchwidth", Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing, ACM, pp. 886–899, arXiv:2111.03492, doi:10...
Click to read more »Planar SAT
Rabu, 2026-04-29 22:53:32S2CID 1658062. Moret, B. M. E. (June 1988). "Planar NAE3SAT is in P". SIGACT News. 19 (2): 51–54. doi:10.1145/49097.49099. ISSN 0163-5700. S2CID 17219595...
Click to read more »Thrackle
Senin, 2026-05-18 14:02:11reviewed in O'Rourke, J. (1995), "Computational geometry column 26", ACM SIGACT News, 26 (2): 15–17, arXiv:cs/9908007, doi:10.1145/202840.202842. Erdős...
Click to read more »Courcelle's theorem
Kamis, 2026-04-02 00:41:50Width of Auxiliary Storage", Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '11) (PDF), SIGPLAN...
Click to read more »Dense subgraph
Selasa, 2025-06-24 14:26:02approximating densest k-subgraph", STOC'17—Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, ACM, pp. 954–961, arXiv:1611.05991, doi:10...
Click to read more »Chemical graph generator
Senin, 2026-02-09 01:57:531999). "Combinatorial algorithms: generation, enumeration, and search". ACM SIGACT News. 30 (1): 33–35. doi:10.1145/309739.309744. ISSN 0163-5700. Wikidata Q105033277...
Click to read more »List of books about polyhedra
Senin, 2026-05-04 04:16:29Mathematical Society. Fasy, Brittany Terese; Millman, David L. (March 2011). ACM SIGACT News. 42 (1): 43–46. doi:10.1145/1959045.1959056. S2CID 6514501.{{cite journal}}:...
Click to read more »Parallel computation thesis
Senin, 2025-11-17 01:18:24of sequential machines: a defense of parallel computation thesis". ACM SIGACT News. 18 (1): 54–67. doi:10.1145/8312.8317. Goldschlager, Leslie M. (1982)...
Click to read more »Small-bias sample space
Minggu, 2026-05-10 04:45:06almost optimal, epsilon-balanced codes", Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, pp. 238–251, doi:10.1145/3055399.3055408...
Click to read more »Conditional disclosure of secrets
Sabtu, 2026-01-03 05:24:31circuit-size barrier in secret sharing". Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing (STOC 2018). Association for Computing...
Click to read more »PL/C
Rabu, 2026-04-08 22:35:53Johnson, Scott D. (1979). "A PL/CV Precis". Proceedings of the 6th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL '79). Association...
Click to read more »Quantum coin flipping
Jumat, 2026-03-20 09:07:46flipping by telephone a protocol for solving impossible problems". ACM SIGACT News. 15 (1): 23–27. doi:10.1145/1008908.1008911. ISSN 0163-5700. S2CID 19928725...
Click to read more »Aanderaa–Karp–Rosenberg conjecture
Kamis, 2026-05-28 01:41:20(1973), "On the time required to recognize properties of graphs: a problem", SIGACT News, 5 (4): 15–16, doi:10.1145/1008299.1008302 Scheidweiler, Robert; Triesch...
Click to read more »Haskell features
Rabu, 2025-08-27 11:20:26Jones, Andrew Gordon, and Sigbjorn Finne. Concurrent Haskell. ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (PoPL). 1996. (Some sections...
Click to read more »Existential theory of the reals
Sabtu, 2026-01-31 01:27:32MR 1234114. Cardinal, Jean (December 2015), "Computational geometry column 62", SIGACT News, 46 (4): 69–78, doi:10.1145/2852040.2852053, S2CID 17276902. Kratochvíl...
Click to read more »Penny graph
Jumat, 2025-12-26 00:47:14Adrian; Jiang, Minghui (June 2013), "Computational Geometry Column 56" (PDF), SIGACT News, 44 (2), New York, NY, US: ACM: 80–87, arXiv:cs/9908007, doi:10.1145/2491533...
Click to read more »Ingo Wegener
Jumat, 2025-12-26 14:34:36maint: untitled periodical (link) Johnson, Samuel (September 2010), ACM SIGACT News, 41 (3), Association for Computing Machinery: 36, doi:10.1145/1855118...
Click to read more »Expander code
Selasa, 2025-11-18 04:19:17(September 2004). "Guest column: error-correcting codes and expander graphs". ACM SIGACT News. 35 (3): 25–41. doi:10.1145/1027914.1027924. S2CID 17550280....
Click to read more »Device driver synthesis and verification
Rabu, 2026-03-18 17:23:32Rupak Majumdar and Gregoire Sutre. "Lazy Abstraction", In ACM SIGPLAN-SIGACT Conference on Principles of Programming Languages, 2002. H. Post,W. Küchlin...
Click to read more »Combinatorics: The Rota Way
Minggu, 2026-02-01 01:53:25Mathematical Association of America Mount, John (June 2010), "Review", ACM SIGACT News, 41 (2): 14, doi:10.1145/1814370.1814374, S2CID 33869826 Ferrari, Luca...
Click to read more »Pioneering Women in American Mathematics
Selasa, 2026-03-24 21:35:262011), "Review of Pioneering Women in American Mathematics" (PDF), ACM SIGACT News, 42 (2): 37–41, doi:10.1145/1998037.1998047, S2CID 14990095 Additional...
Click to read more »Filter and refine
Minggu, 2026-04-19 08:20:32(1998). An overview of query optimization in relational systems (PDF). ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. Graefe, Goetz...
Click to read more »International Colloquium on Structural Information and Communication Complexity
Kamis, 2026-05-21 21:41:07the SIROCCO conference have appeared in the year-ending issues of the ACM SIGACT News Distributed Computing Column in 2001, 2005, 2009, 2011, 2012, 2015...
Click to read more »Evasive Boolean function
Minggu, 2026-02-08 18:16:051007/bf02579140 Kulkarni, Raghav (September 2013), "Gems in decision tree complexity revisited", ACM SIGACT News, 44 (3): 42–55, doi:10.1145/2527748.2527763...
Click to read more »Communication complexity
Selasa, 2026-04-28 21:32:56"Information Complexity and the Quest for Interactive Compression". ACM SIGACT News. 46 (2): 41–64. doi:10.1145/2789149.2789161. Retrieved 1 December 2023...
Click to read more »Consensus splitting
Kamis, 2025-09-04 14:49:55"Consensus halving is PPA-complete". Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. STOC 2018. New York, NY, USA: Association...
Click to read more »Proof complexity
Rabu, 2026-05-06 08:07:37"Automating cutting planes is NP-hard". Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing. pp. 68–77. arXiv:2004.08037. doi:10.1145/3357713...
Click to read more »Quantum secret sharing
Jumat, 2026-02-06 14:01:54December 2021. Wiesner, Stephen (January 1983). "Conjugate coding". ACM SIGACT News. 15 (1): 78–88. doi:10.1145/1008908.1008920. S2CID 207155055. Karlsson...
Click to read more »Sofya Raskhodnikova
Sabtu, 2025-12-27 02:30:22University Competition", The Tech, vol. 123, no. 6 Second TCS Women Meeting, ACM SIGACT, retrieved 2019-09-24 Home page Sofya Raskhodnikova publications indexed...
Click to read more »Gbcast
Selasa, 2026-01-20 11:43:14Malkhi, Dahlia; Zhou, Lidong (March 2010). "Reconfiguring a State Machine". SIGACT News. 41 (1): 63–73. doi:10.1145/1753171.1753191. S2CID 15189602. Pease...
Click to read more »Teo Mora
Senin, 2026-04-06 12:55:18Gröbner technology by Teo Mora (Cambridge University Press 2005)" (PDF). ACM SIGACT News. 40 (1): 14–17. doi:10.1145/1515698.1515702. S2CID 12448065 – via ACM...
Click to read more »Larch Prover
Rabu, 2026-03-25 17:20:47the REVE term rewriting system generator," Proceedings of the 10th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL '83, Austin...
Click to read more »Market equilibrium computation
Selasa, 2026-02-10 03:24:40Varadarajan, Kasturi (December 1, 2004). "The computation of market equilibria". SIGACT News. 35 (4): 23–37. doi:10.1145/1054916.1054927. ISSN 0163-5700. Vazirani...
Click to read more »Prior-independent mechanism
Selasa, 2025-12-02 00:26:00(2016). "Do prices coordinate markets?". Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing - STOC 2016. p. 440. arXiv:1511.00925....
Click to read more »Combinatorial participatory budgeting
Senin, 2026-04-20 15:18:04"Approximately stable committee selection". Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing. STOC 2020. New York, NY, USA: Association...
Click to read more »