|
Programming Language Design And Implementation (conference)
The Programming Language Design and Implementation (PLDI) conference is an annual computer science conference organized by the Association for Computing Machinery (ACM) which focuses on the study of algorithms, programming languages and compilers. It is sponsored by the SIGPLAN special interest group on programming languages. In 2003, the conference was given an estimated impact factor of 2.89 by CiteSeer, placing it in the top 1% of computer science conferences. History The precursor of PLDI was the Symposium on Compiler Optimization, held July 27–28, 1970 at the University of Illinois at Urbana-Champaign and chaired by Robert S. Northcote. That conference included papers by Frances E. Allen, John Cocke, Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. The first conference in the current PLDI series took place in 1979 under the name ''SIGPLAN Symposium on Compiler Construction'' in Denver, Colorado. The next compiler construction conference took place in 1982 i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Science
Computer science is the study of computation, information, and automation. Computer science spans Theoretical computer science, theoretical disciplines (such as algorithms, theory of computation, and information theory) to Applied science, applied disciplines (including the design and implementation of Computer architecture, hardware and Software engineering, software). Algorithms and data structures are central to computer science. The theory of computation concerns abstract models of computation and general classes of computational problem, problems that can be solved using them. The fields of cryptography and computer security involve studying the means for secure communication and preventing security vulnerabilities. Computer graphics (computer science), Computer graphics and computational geometry address the generation of images. Programming language theory considers different ways to describe computational processes, and database theory concerns the management of re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Regehr
John Regehr is a computer scientist specializing in compiler correctness and undefined behavior. , he is a professor at the University of Utah. He is best known for the integer overflow sanitizer which was merged into the Clang C compiler, the C compiler fuzzer Csmith, and his widely read bloEmbedded in Academia He spent the 2015-2016 academic year on sabbatical in Paris, France, working with TrustInSoft on Frama-C Frama-C is a set of interoperable program analyzers for C programs. The name ''Frama-C'' stands for ''Framework for Modular Analysis of C programs''. Frama-C has been developed by the French Commissariat à l'Énergie Atomique et aux Énergi ... and related code analysis tools. References External links John Regehr's home pageJohn Regehr on Mastodon {{DEFAULTSORT:Regehr, John Living people American computer scientists University of Utah faculty Science bloggers 21st-century science writers Year of birth missing (living people) University of Virginia ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Federated Computing Research Conference
The Federated Computing Research Conference, FCRC, is an event that brings together several academic conferences, workshops, and plenary talks in the field of computer science. FCRC has been organized and held in the United States in 1993, 1996, 1999, 2003, 2007, 2011, 2015, 2019, and 2023. The 2023 event was held in Orlando, Florida. In the first FCRC, the main organiser was the Computing Research Association; since then, the Association for Computing Machinery has taken the lead in organising the event. The Turing Award 1998, 2002, 2006, 2010, and 2014 recipients gave plenary talks in FCRC 1999, 2003, 2007, 2011, and 2015. Other plenary speakers in FCRC include László Babai, Charles Bennett, Randal Bryant, Bob Colwell, David Culler, Cynthia Dwork, Shafi Goldwasser, Michael J. Flynn, Hector Garcia-Molina, John L. Hennessy, Torsten Hoefler, Richard Karp, Randy Katz, Ken Kennedy, James Kurose, Ed Lazowska, Barbara Liskov, Robin Milner, Charles R. (Chuck) Moore, Christ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Portland, OR
Portland ( ) is the List of cities in Oregon, most populous city in the U.S. state of Oregon, located in the Pacific Northwest region. Situated close to northwest Oregon at the confluence of the Willamette River, Willamette and Columbia River, Columbia rivers, it is the county seat of Multnomah County, Oregon, Multnomah County, Oregon's most populous county. Portland's population was 652,503, making it the List of United States cities by population, 28th most populous city in the United States, the sixth most populous on the West Coast of the United States, West Coast, and the third most populous in the Pacific Northwest after Seattle and Vancouver. Approximately 2.5 million people live in the Portland metropolitan area, Oregon, Portland metropolitan area, making it the List of metropolitan statistical areas, 26th most populous in the United States. Almost half of Oregon's population resides within the Portland metro area. Named after Portland, Maine, which is itself named aft ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Santa Barbara, CA
Santa Barbara (, meaning ) is a coastal city in Santa Barbara County, California, of which it is also the county seat. Situated on a south-facing section of coastline, the longest such section on the West Coast of the United States excepting Alaska, the city lies between the steeply rising Santa Ynez Mountains and the Pacific Ocean. Santa Barbara's climate is often described as Mediterranean, and the city has been dubbed "The American Riviera". According to the 2020 United States census, 2020 U.S. census, the city's population was 88,665. In addition to being a popular tourist and resort destination, the city has a diverse economy that includes a large service sector, education, technology, health care, finance, agriculture, manufacturing, and local government. In 2004, the service sector accounted for 35% of local employment. Area institutions of higher learning include the University of California, Santa Barbara, Santa Barbara City College, Westmont College, and Antioch Univ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Barcelona
Barcelona ( ; ; ) is a city on the northeastern coast of Spain. It is the capital and largest city of the autonomous community of Catalonia, as well as the second-most populous municipality of Spain. With a population of 1.6 million within city limits,Barcelona: Población por municipios y sexo – Instituto Nacional de Estadística. (National Statistics Institute) its urban area extends to numerous neighbouring municipalities within the province of Barcelona and is home to around 5.3 million people, making it the fifth most populous ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philadelphia
Philadelphia ( ), colloquially referred to as Philly, is the List of municipalities in Pennsylvania, most populous city in the U.S. state of Pennsylvania and the List of United States cities by population, sixth-most populous city in the United States, with a population of 1,603,797 in the 2020 United States census, 2020 census. The city is the urban core of the Philadelphia metropolitan area (sometimes called the Delaware Valley), the nation's Metropolitan statistical area, seventh-largest metropolitan area and ninth-largest combined statistical area with 6.245 million residents and 7.379 million residents, respectively. Philadelphia was founded in 1682 by William Penn, an English Americans, English Quakers, Quaker and advocate of Freedom of religion, religious freedom, and served as the capital of the Colonial history of the United States, colonial era Province of Pennsylvania. It then played a historic and vital role during the American Revolution and American Revolutionary ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kathleen Fisher
Kathleen Shanahan Fisher is an American computer scientist who specializes in programming languages and their implementation. Professor Fisher is Chair of Computer Science at Tufts University and one of the authors of the PADS data description language and the Moby experimental concurrent programming language.Curriculum vitae retrieved 2020-02-06. She is a past Chair of the ACM Special Interest Group in Programming Languages () and has chaired three of their major conferences, ICFP in 2004, |
Kathryn S
Kathryn is a feminine given name and comes from the Greek meaning for 'pure'. It is a variant of Katherine. It may refer to: In television and film: * Kathryn Beaumont (born 1938), English voice actress and school teacher best known for her Disney animation film works * Kathryn Bernardo (born 1996), Filipina actress and recording artist * Kathryn Bigelow (born 1951), American film director, first woman to win the Academy Award, BAFTA, and DGA award for Best Director * Kathryn Busby, American television and film executive * Kathryn Cressida also known as "Kat" Cressida (born 1968), American voice actress * Kathryn Crosby (1933 – 2024), American actress and singer who performed her most memorable roles under her birth-name Kathryn Grant * Kathryn Drysdale (born 1981), English actress * Kathryn Eames (1908 – 2004), American screen, stage, and television actress * Kathryn Erbe (born 1966), American actress best known for her lead role as Detective Eames on ''Law & Order: Crimina ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Phoenix, Arizona
Phoenix ( ) is the List of capitals in the United States, capital and List of cities and towns in Arizona#List of cities and towns, most populous city of the U.S. state of Arizona. With over 1.6 million residents at the 2020 census, it is the List of United States cities by population, fifth-most populous city in the United States and the List of capitals in the United States, most populous state capital in the country. Phoenix is the most populous city of the Phoenix metropolitan area, also known as the Valley of the Sun, which in turn is part of the Salt River Valley and Arizona Sun Corridor. The metro area is the Metropolitan statistical area, 10th-largest by population in the United States with approximately 4.95 million people , making it the most populous in the Southwestern United States. Phoenix, the seat of Maricopa County, Arizona, Maricopa County, is the largest city by population and area in Arizona, with an area of , and is also the List of United States cities by ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Emina Torlak
Emina Torlak is an American computer scientist and software engineer whose research concerns software verification, program synthesis, and the integration of these techniques into domain-specific languages. She was previously professor of computer science at the University of Washington, and is currently a senior principal scientist for Amazon Web Services. Education and career Torlak was educated in computer science at the Massachusetts Institute of Technology, earning a bachelor's degree in 2003, a master's degree in 2004, and completing her Ph.D. in 2009. Her dissertation, ''A constraint solver for software engineering: finding models and cores of large relational specifications'', was supervised by Daniel Jackson. She worked as a researcher for IBM Research, LogicBlox, and the University of California, Berkeley from 2008 to 2014, before becoming an assistant professor at the University of Washington in 2014. She was promoted to associate professor in 2018, and added an affil ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
London
London is the Capital city, capital and List of urban areas in the United Kingdom, largest city of both England and the United Kingdom, with a population of in . London metropolitan area, Its wider metropolitan area is the largest in Western Europe, with a population of 14.9 million. London stands on the River Thames in southeast England, at the head of a tidal estuary down to the North Sea, and has been a major settlement for nearly 2,000 years. Its ancient core and financial centre, the City of London, was founded by the Roman Empire, Romans as Londinium and has retained its medieval boundaries. The City of Westminster, to the west of the City of London, has been the centuries-long host of Government of the United Kingdom, the national government and Parliament of the United Kingdom, parliament. London grew rapidly 19th-century London, in the 19th century, becoming the world's List of largest cities throughout history, largest city at the time. Since the 19th cen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
