Find link

language:

Find link is a tool written by Edward Betts.

searching for Programming Language Design and Implementation (conference) 95 found (98 total)

alternate case: programming Language Design and Implementation (conference)

Refinement type (356 words) [view diff] no match in snippet view article find links to article

types for ML" (PDF). Proceedings of the ACM Conference on Programming Language Design and Implementation. pp. 268–277. doi:10.1145/113445.113468. Hayashi

Racket (programming language) (3,207 words) [view diff] no match in snippet view article

descendant of Scheme. It is designed as a platform for programming language design and implementation. In addition to the core Racket language, Racket is

Speculative multithreading (1,180 words) [view diff] no match in snippet view article find links to article

reductions" (PDF). Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI '12. pp. 359–370. doi:10.1145/2254064.2254107

Mark–compact algorithm (1,028 words) [view diff] no match in snippet view article find links to article

SIGPLAN Conference on Programming Language Design and Implementation. Proceedings of the 27th ACM SIGPLAN Conference on Programming Language Design and Implementation

Runtime predictive analysis (1,481 words) [view diff] no match in snippet view article find links to article

reduction". Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. pp. 165–174. doi:10.1145/2737924.2737975. ISBN 9781450334686

P (programming language) (253 words) [view diff] no match in snippet view article

Damien Zufferey. In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2013. Systematic testing of asynchronous

Compiler correctness (1,088 words) [view diff] no match in snippet view article find links to article

fuzzers". Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI '13. New York, NY, USA: ACM. pp. 197–208

Ilya Sergey (491 words) [view diff] no match in snippet view article find links to article

Verified Systems Engineering lab. Sergey does research in programming language design and implementation, software verification, distributed systems, program

Futhark (programming language) (391 words) [view diff] no match in snippet view article

Updates" (PDF). Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI 2017. ACM. "Futhark User's Guide". futhark

Tracing just-in-time compilation (1,502 words) [view diff] no match in snippet view article find links to article

System" (PDF). Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation. PLDI '00. pp. 1–12. doi:10.1145/349299.349303

Region-based memory management (2,772 words) [view diff] no match in snippet view article find links to article

PLDI '98: Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation. New York, NY, USA: ACM. pp. 313–323. doi:10

Federated Computing Research Conference (350 words) [view diff] no match in snippet view article find links to article

The Federated Computing Research Conference, FCRC, is an event that brings together several academic conferences, workshops, and plenary talks in the

Refinement (computing) (543 words) [view diff] no match in snippet view article

types for ML" (PDF). Proceedings of the ACM Conference on Programming Language Design and Implementation. pp. 268–277. doi:10.1145/113445.113468. Hayashi

List of computer science conferences (1,322 words) [view diff] no match in snippet view article find links to article

SIGPLAN Conference on Programming Language Design and Implementation Conferences on software engineering: ASE – IEEE/ACM International Conference on Automated

Profiling (computer programming) (2,250 words) [view diff] no match in snippet view article

analysis tools, Proceedings of the ACM SIGPLAN Conference on Programming language design and implementation (PLDI '94), pp. 196-205, 1994; ACM SIGPLAN Notices

Software pipelining (1,991 words) [view diff] no match in snippet view article find links to article

machines", In Proceedings of the ACM SIGPLAN 88 Conference on Programming Language Design and Implementation (PLDI 88), July 1988 pages 318-328. Also published

Symposium on Principles of Programming Languages (204 words) [view diff] no match in snippet view article find links to article

Inference (LAFI) International Conference on Functional Programming (ICFP) Programming Language Design and Implementation (PLDI) POPLmark challenge "CORE

Monica S. Lam (942 words) [view diff] no match in snippet view article find links to article

Anniversary Research Award, 2018 Fellow of the ACM, 2007 ACM Programming Language Design and Implementation Best Paper Award in 2004 ACM SIGSOFT Distinguished Paper

Extended static checking (928 words) [view diff] no match in snippet view article find links to article

static checking for Java". In Proceedings of the Conference on Programming Language Design and Implementation, pages 234-245, 2002. doi: http://doi.acm.org/10

Csmith (127 words) [view diff] no match in snippet view article find links to article

compilers". Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11. p. 283. CiteSeerX 10.1.1.225.1281

Apache Beam (360 words) [view diff] no match in snippet view article find links to article

pipelines". Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation (PDF). ACM. pp. 363–375. doi:10.1145/1806596

Matthew Flatt (465 words) [view diff] no match in snippet view article find links to article

languages". Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation. PLDI '98. New York, NY, USA: Association for

International Conference on Functional Programming (299 words) [view diff] no match in snippet view article find links to article

Management MPC: International Conference on Mathematics of Program Construction PLDI: Programming Language Design and Implementation POPL: Principles of Programming

Grigore Roșu (1,052 words) [view diff] no match in snippet view article find links to article

Defining the Undefinedness of C In Proceedings of Programming Language Design and Implementation (PLDI), pp. 336-345. D. Bogdanas, G. Rosu. 2015, K-Java:

Differential testing (1,104 words) [view diff] no match in snippet view article find links to article

compilers,” in Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). ACM, 2011, pp. 283–294. Y. Chen, T. Su

Alan Eustace (1,115 words) [view diff] no match in snippet view article find links to article

analysis tools, Proceedings of the ACM SIGPLAN Conference on Programming language design and implementation (PLDI '94), pp. 196–205, 1994; ACM SIGPLAN Notices

Kai Li (821 words) [view diff] no match in snippet view article find links to article

influential papers in 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation. 2012 ACM SIGOPS Hall of Fame Award. 2017 VLDB

Susan B. Horwitz (925 words) [view diff] no match in snippet view article find links to article

50 best papers to appear at the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) during the period 1979–99. In 2011, she

Brzozowski derivative (1,362 words) [view diff] no match in snippet view article find links to article

SIGPLAN Conference on Programming Language Design and Implementation. Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation

Monadic second-order logic (1,308 words) [view diff] no match in snippet view article find links to article

engine". Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation. PLDI '01. Snowbird, Utah, USA: Association for

Alias analysis (893 words) [view diff] no match in snippet view article find links to article

analysis". Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation - PLDI '98. Montreal, Quebec, Canada: ACM Press

HHVM (1,126 words) [view diff] no match in snippet view article find links to article

and Hack". Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). ACM. pp. 151–165. "facebook/hhvm". github

List of computer science conference acronyms (1,271 words) [view diff] no match in snippet view article find links to article

European Conference on Principles and Practice of Knowledge Discovery in Databases PLDI – ACM SIGPLAN Conference on Programming Language Design and Implementation

Programming language theory (1,616 words) [view diff] no match in snippet view article find links to article

Programming Language Design and Implementation (PLDI), the International Conference on Functional Programming (ICFP), the International Conference on

registers". Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation - PLDI '01. pp. 243–253. CiteSeerX 10.1.1.37

Memory safety (1,760 words) [view diff] no match in snippet view article find links to article

languages" (PDF). Proceedings of the 27th ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM. pp. 158–168. doi:10.1145/1133981.1134000

Rematerialization (363 words) [view diff] no match in snippet view article find links to article

Rematerialization. Proceedings of the SIGPLAN 92 Conference on Programming Language Design and Implementation, SIGPLAN Notices 27(7), p.311-321. July 1992

Symbolic execution (1,549 words) [view diff] no match in snippet view article find links to article

Execution". Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation. New York, NY, USA: ACM. pp. 193–204. CiteSeerX 10

Profile-guided optimization (957 words) [view diff] no match in snippet view article find links to article

Conference, February 1957, p. 195 "K. Pettis, R. Hansen, Profile Guided Code Positioning, ACM SIGPLAN Programming Language Design and Implementation Conference

Valgrind (1,423 words) [view diff] no match in snippet view article find links to article

Instrumentation". Proceedings of ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI 2007). ACM. Seward, Julian; Nethercote

Automatic bug fixing (4,117 words) [view diff] no match in snippet view article find links to article

Transfer". Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. Qi, Yuhua; Mao, Xiaoguang; Lei, Yan; Dai, Ziying;

Brent Hailpern (833 words) [view diff] no match in snippet view article find links to article

SIGPLAN '91 Conference on Programming Language Design and Implementation (Toronto, Ontario, Canada) and was chair of SIGPLAN's OOPSLA '99 Conference (Denver

Language workbench (590 words) [view diff] no match in snippet view article find links to article

Felleisen, M. (2011). "Languages as Libraries" (PDF). Programming Language Design and Implementation. Flatt, Matthew (2012). "Creating Languages in Racket"

Memory barrier (1,339 words) [view diff] no match in snippet view article find links to article

Library. Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation. Association for Computing Machinery. p. 261

Barbara G. Ryder (250 words) [view diff] no match in snippet view article find links to article

Pointer Aliasing". Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation: 235–248. Virginia Tech: Barbara Ryder, Department

Polytope model (698 words) [view diff] no match in snippet view article find links to article

optimizer". Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI '08. New York, NY, USA: ACM. pp. 101–113

Empirical algorithmics (1,220 words) [view diff] no match in snippet view article find links to article

(2012). Algorithmic Profiling. 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Digital Library. pp. 67–76. CiteSeerX 10

Bounded quantification (661 words) [view diff] no match in snippet view article find links to article

Generics for the .NET Common Language Runtime". In Programming Language Design and Implementation, 2001. Pierce, Benjamin C. (2002). Types and Programming

Instruction scheduling (1,189 words) [view diff] no match in snippet view article find links to article

Machines" (PDF). Proceedings of the ACM, SIGPLAN '91 Conference on Programming Language Design and Implementation. (Global scheduling) Cordes, Peter. "assembly

Kathryn S. McKinley (1,173 words) [view diff] no match in snippet view article find links to article

"Immix". Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation. pp. 22–32. doi:10.1145/1375581.1375586. ISBN 9781595938602

Susan L. Graham (807 words) [view diff] no match in snippet view article find links to article

the IEEE John von Neumann Medal for "contributions to programming language design and implementation and for exemplary service to the discipline of computer

Incremental computing (1,189 words) [view diff] no match in snippet view article find links to article

"CEAL". Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation - PLDI '09. p. 25. doi:10.1145/1542476.1542480

Continuation (3,049 words) [view diff] no match in snippet view article find links to article

Continuations Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation, pp. 66–77. Will Clinger, Anne Hartheimer, Eric

Pierre Geneves (374 words) [view diff] no match in snippet view article find links to article

Alan Schmitt, Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), p. 342–351, June 2007. Portrait at the

ESC/Java (895 words) [view diff] no match in snippet view article find links to article

static checking for Java. Proceedings of the Conference on Programming Language Design and Implementation. pp. 234–245. doi:10.1145/512529.512558. ISBN 1-58113-463-0

Concolic testing (1,949 words) [view diff] no match in snippet view article find links to article

Testing" (PDF). Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation. New York, NY: ACM. pp. 213–223. ISSN 0362-1340

Astrée (static analysis) (669 words) [view diff] no match in snippet view article

— ACM SIGPLAN SIGSOFT Conference on Programming Language Design and Implementation, 2003 Federated Computing Research Conference, June 7—14, 2003, San

Program structure tree (1,164 words) [view diff] no match in snippet view article find links to article

Computing Control Regions in Linear Time. SIGPLAN Conference on Programming Language Design and Implementation (PLDI). pp. 171–185. doi:10.1145/178243.178258

John Backus (1,408 words) [view diff] no match in snippet view article find links to article

(7139): 998. doi:10.1038/446998a. PMID 17460658. S2CID 4325337. Memorial delivered at the 2007 Conference on Programming Language Design and Implementation

A-normal form (440 words) [view diff] no match in snippet view article find links to article

Continuations" (PDF). Proceedings ACM SIGPLAN 1993 Conf. on Programming Language Design and Implementation, PLDI'93. Albuquerque, NM, USA. Flanagan93. Retrieved

Program slicing (1,417 words) [view diff] no match in snippet view article find links to article

slicing". Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation. PLDI '05. New York, NY, USA: ACM. pp. 38–47

Concurrent ML (589 words) [view diff] no match in snippet view article find links to article

abstractions". Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation. Vol. 39. pp. 47–58. doi:10.1145/996841.996849

Laurie Hendren (540 words) [view diff] no match in snippet view article find links to article

the Association for Computing Machinery SIGPLAN Programming Language Design and Implementation Conference. In 2019, Hendren was awarded the senior AITO

Covariance and contravariance (computer science) (6,691 words) [view diff] no match in snippet view article

variance". Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation (PLDI'11). ACM. pp. 602–613. CiteSeerX 10.1.1

Loop-level parallelism (2,046 words) [view diff] no match in snippet view article find links to article

testing". Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation - PLDI '91. pp. 15–29. doi:10.1145/113445.113448

Metamorphic testing (1,087 words) [view diff] no match in snippet view article find links to article

fuzzing", in Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '15), ACM, pp. 65−76 (2015). S. Segura

SIGPLAN (1,646 words) [view diff] no match in snippet view article find links to article

languages. Principles of Programming Languages (POPL) Programming Language Design and Implementation (PLDI) International Symposium on Memory Management

Memory management (2,676 words) [view diff] no match in snippet view article find links to article

Allocators" (PDF). Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation. PLDI '01. pp. 114–124. CiteSeerX 10.1.1.1.2112

Fuzzing (4,894 words) [view diff] no match in snippet view article find links to article

Input Grammars. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017). arXiv:1608.01723. Bibcode:2016arXiv160801723B

Just-in-time compilation (3,234 words) [view diff] no match in snippet view article find links to article

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation. pages 1 to 12. DOI 10.1145/349299.349303. Retrieved

Functional programming (8,792 words) [view diff] no match in snippet view article find links to article

efficiency". Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation - PLDI '98. pp. 174–185. doi:10.1145/277650.277719

MapReduce (5,491 words) [view diff] no match in snippet view article find links to article

"FlumeJava". Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation (PDF). pp. 363–375. doi:10.1145/1806596.1806638

Domain-specific language (3,856 words) [view diff] no match in snippet view article find links to article

Felleisen, M. (2011). "Languages as Libraries" (PDF). Programming Language Design and Implementation. Flatt, Matthew (2012). "Creating Languages in Racket"

Simon Thompson (professor) (639 words) [view diff] no match in snippet view article

within OCaml's Module System: Theory and Implementation. Programming Language Design and Implementation (PLDI). Phoenix, Arizona – via ACM SIGPLAN. Harrison

Quantum programming (4,049 words) [view diff] no match in snippet view article find links to article

semantics". Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. London UK: ACM. pp. 286–300. doi:10.1145/3385412

Feature-oriented programming (2,132 words) [view diff] no match in snippet view article find links to article

– multi-dimensional product lines Very high-level programming language "Design and Implementation of Hierarchical Software Systems with Reusable Components"

L4 microkernel family (3,982 words) [view diff] no match in snippet view article find links to article

Validation for a Verified OS Kernel". ACM SIGPLAN Conference on Programming Language Design and Implementation. Seattle, WA, USA. doi:10.1145/2491956.2462183

Pin (computer program) (1,118 words) [view diff] no match in snippet view article

Instrumentation" (PDF). Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation. Chicago, Illinois, USA: ACM. pp. 190–120. Alex

Sea of nodes (598 words) [view diff] no match in snippet view article find links to article

numbering". Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation. PLDI '95. Association for Computing Machinery

Fault tolerance (5,006 words) [view diff] no match in snippet view article find links to article

Shepherding". Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI '14'. New York, NY, US: ACM. pp. 227–238

Programming language (8,516 words) [view diff] no match in snippet view article find links to article

field of research have seen limited application to programming language design and implementation outside academia. A type system defines how a programming

Denotational semantics (3,769 words) [view diff] no match in snippet view article find links to article

Marlow. "A semantics for imprecise exceptions" Conference on Programming Language Design and Implementation. 1999. Levy, Paul Blain (2007). "Amb Breaks Well-Pointedness

Frameworks supporting the polyhedral model (2,887 words) [view diff] no match in snippet view article find links to article

Locality. Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) "Michelle Mills Strout". Cs.colostate

Automatic vectorization (2,862 words) [view diff] no match in snippet view article find links to article

instruction sets". Proceedings of the ACM SIGPLAN conference on Programming language design and implementation. ACM SIGPLAN Notices. 35 (5): 145–156. doi:10

Hyperproperty (958 words) [view diff] no match in snippet view article find links to article

properties". Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI '16. New York, NY, USA: Association for

Quasi-delay-insensitive circuit (3,805 words) [view diff] no match in snippet view article find links to article

specifications". Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PDF). PLDI '15. New York, NY, USA: ACM. pp. 270–279

Floating-point arithmetic (14,079 words) [view diff] no match in snippet view article find links to article

SIGPLAN Conference on Programming Language Design and Implementation. PLDI '10: ACM SIGPLAN Conference on Programming Language Design and Implementation. pp

Futures and promises (4,640 words) [view diff] no match in snippet view article find links to article

Distributed Systems". Proceedings of the SIGPLAN '88 Conference on Programming Language Design and Implementation; Atlanta, Georgia, United States. ACM. pp. 260–267

Dead-code elimination (2,926 words) [view diff] no match in snippet view article find links to article

transformations". Proceedings of the ACM SIGPLAN 1997 Conference on Programming Language Design and Implementation (PLDI '97): 682–694. Aho, Alfred Vaino; Sethi

Addressing mode (5,929 words) [view diff] no match in snippet view article find links to article

Programs". Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation - PLDI '96. pp. 127–136. doi:10.1145/231379.231402

List of pioneers in computer science (1,515 words) [view diff] no match in snippet view article find links to article

"Monitors and Concurrent Pascal: a personal history" (PDF). 2nd ACM Conference on the History of Programming Languages. Brinch Hansen, Per (November

Anil Madhavapeddy (1,205 words) [view diff] no match in snippet view article find links to article

Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. PLDI 2021. New York, NY, USA: Association for

Tracing garbage collection (5,271 words) [view diff] no match in snippet view article find links to article

(June 2008). Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation (PDF). PLDI 2008 Conferenece. pp. 33–44. CiteSeerX 10

List of programming language researchers (5,830 words) [view diff] no match in snippet view article find links to article

1007/978-0-387-09766-4_434. ISBN 978-0-387-09765-7. PLDI is short for Programming Language Design and Implementation "Most Influential PLDI Paper Award". SIGPLAN. Retrieved

University of Illinois Center for Supercomputing Research and Development (6,992 words) [view diff] no match in snippet view article find links to article

Parallelization. In Proceedings of the SIGPLAN 1995 Conference on Programming Language Design and Implementation, La Jolla, CA, pages 218-232, June 1995. Todd