| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ralf Lämmel, Simon L. Peyton Jones |
ICFP 2004: Scrap More Boilerplate: Reflection, Zips, and Generalised Casts.  |
ACM SIGPLAN Notices  |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilad Bracha, David M. Ungar |
OOPSLA 2004: Mirrors: Design Principles for Meta-level Facilities of Object-Oriented Programming Languages. |
ACM SIGPLAN Notices |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt |
POPL 2005: Combinators for Bi-Directional Tree Transformations: Linguistic Approach to the View Update Problem. |
ACM SIGPLAN Notices |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Maged M. Michael |
PLDI 2004: Scalable Lock-Free Dynamic Memory Allocation. |
ACM SIGPLAN Notices |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Fähndrich, Francesco Logozzo |
SAS2013 artifact submission experience report. |
ACM SIGPLAN Notices |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hind |
SIGPLAN research highlights annual report. |
ACM SIGPLAN Notices |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gibbons |
SIGPLAN vice-chair's report. |
ACM SIGPLAN Notices |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gay, Philip Alexander Levis, J. Robert von Behren, Matt Welsh, Eric A. Brewer, David E. Culler |
The nesC language: a holistic approach to networked embedded systems. |
ACM SIGPLAN Notices |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Harris 0001, Keir Fraser |
Language support for lightweight transactions. |
ACM SIGPLAN Notices |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia Lawall, Cristina V. Lopes |
SIGPLAN Professional Activities Committee Report. |
ACM SIGPLAN Notices |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Le Botlan, Didier Rémy |
MLF: raising ML to the power of system F. |
ACM SIGPLAN Notices |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristina V. Lopes |
The OOPSLA two-phase review process. |
ACM SIGPLAN Notices |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Vitek |
SIGPLAN chair's report. |
ACM SIGPLAN Notices |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew P. Black |
SIGPLAN secretary's report. |
ACM SIGPLAN Notices |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Derek Dreyer |
SIGPLAN awards. |
ACM SIGPLAN Notices |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristina V. Lopes |
SIGPLAN treasurer's report. |
ACM SIGPLAN Notices |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan |
Abstractions from proofs. |
ACM SIGPLAN Notices |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Sewell |
POPL 2014 program chair's report. |
ACM SIGPLAN Notices |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Juergen Boehm, Jack W. Davidson, Kathleen Fisher, Cormac Flanagan, Jeremy Gibbons, Mary W. Hall, Graham Hutton, David A. Padua, Frank Tip, Jan Vitek, Philip Wadler |
Practices of PLDI. |
ACM SIGPLAN Notices |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gibbons |
ACM SIGPLAN vice-chair's report. |
ACM SIGPLAN Notices |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristina V. Lopes |
SIGPLAN treasurer's report. |
ACM SIGPLAN Notices |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Vitek |
SIGPLAN chair's report. |
ACM SIGPLAN Notices |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew P. Black |
SIGPLAN secretary's report. |
ACM SIGPLAN Notices |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hind |
CACM research highlights annual report. |
ACM SIGPLAN Notices |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Derek Dreyer, John Field, Roberto Giacobazzi, Michael Hicks 0001, Suresh Jagannathan, Mooly Sagiv, Peter Sewell, Philip Wadler |
Principles of POPL. |
ACM SIGPLAN Notices |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Bruce Findler, Matthias Felleisen |
ICFP 2002: Contracts for higher-order functions. |
ACM SIGPLAN Notices |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | David F. Bacon, Perry Cheng, V. T. Rajan |
POPL 2003: A real-time garbage collector with low overhead and consistent utilization. |
ACM SIGPLAN Notices |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Derek Dreyer |
SIGPLAN most influential paper awards. |
ACM SIGPLAN Notices |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata |
PLDI 2002: Extended static checking for Java. |
ACM SIGPLAN Notices |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Emery D. Berger, Benjamin G. Zorn, Kathryn S. McKinley |
OOPSLA 2002: Reconsidering custom memory allocation. |
ACM SIGPLAN Notices |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia Lawall, Cristina V. Lopes |
SIGPLAN professional activities committee report. |
ACM SIGPLAN Notices |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Shriram Krishnamurthi |
Artifact evaluation for software conferences. |
ACM SIGPLAN Notices |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Grossman |
Report on the SIGPLAN education board and related activities. |
ACM SIGPLAN Notices |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Erez Petrank, Benjamin Zorn 0001 |
SIGPLAN professional activities committee report. |
ACM SIGPLAN Notices |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Vitek, Tomas Kalibera |
R3: repeatability, reproducibility and rigor. |
ACM SIGPLAN Notices |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Wadler |
SIGPLAN chair's report. |
ACM SIGPLAN Notices |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Grzegorz Czajkowski, Laurent Daynès |
Multitasking without compromise: a virtual machine evolution. |
ACM SIGPLAN Notices |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy |
On submissions and resubmissions. |
ACM SIGPLAN Notices |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew P. Black |
SIGPLAN secretary's report. |
ACM SIGPLAN Notices |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham Hutton |
SIGPLAN vice-chair's report. |
ACM SIGPLAN Notices |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Antony L. Hosking |
Most influential papers of ICFP, OOPSLA, PLDI, and POPL. |
ACM SIGPLAN Notices |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani |
Automatic predicate abstraction of C programs. |
ACM SIGPLAN Notices |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Zorn 0001 |
CACM research highlights annual report. |
ACM SIGPLAN Notices |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hicks 0001 |
POPL'12 program chair's report: (or, how to run a medium-sized conference). |
ACM SIGPLAN Notices |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mooly Sagiv |
POPL'11 program chair's report. |
ACM SIGPLAN Notices |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | George C. Necula, Scott McPeak, Westley Weimer |
CCured: type-safe retrofitting of legacy code. |
ACM SIGPLAN Notices |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kathleen Fisher, Ronald Garcia, Stephanie Weirich |
Nourishing the future of the field: the programming language mentoring workshop 2012. |
ACM SIGPLAN Notices |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio V. Russo |
Recursive structures for standard ML. |
ACM SIGPLAN Notices |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristina Cifuentes |
SIGPLAN treasurer's report. |
ACM SIGPLAN Notices |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Christiansen, Daniel Seidel, Janis Voigtländer |
Free theorems for functional logic programs: (abstract only). |
ACM SIGPLAN Notices |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Monnier, David Haguenauer |
Singleton types here, singleton types there, singleton types everywhere: (abstract only). |
ACM SIGPLAN Notices |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephanie Balzer, Thomas R. Gross |
Modular reasoning about invariants over shared state with interposed data members: (abstract only). |
ACM SIGPLAN Notices |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomas Kalibera, Pavel Parízek, Ghaith Haddad, Gary T. Leavens, Jan Vitek |
Challenge benchmarks for verification of real-time programs: (abstract only). |
ACM SIGPLAN Notices |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Allen, Zena M. Ariola, Pierre-Louis Curien, Matthew Fluet, Jeffrey S. Foster, Dan Grossman, Robert Harper 0001, Hugo Herbelin, Yannis Smaragdakis, David Walker 0001, Steve Zdancewic |
An overview of the Oregon programming languages summer school. |
ACM SIGPLAN Notices |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Stump, Evan Austin |
Resource typing in guru: (abstract only). |
ACM SIGPLAN Notices |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephanie Weirich, Chris Casinghino |
Arity-generic datatype-generic programming: (abstract only). |
ACM SIGPLAN Notices |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Danish, Hongwei Xi |
Operating system development with ATS: work in progress: (abstract only). |
ACM SIGPLAN Notices |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Babak Falsafi, Pascal Felber |
Introduction. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | John S. Fitzgerald, Peter Gorm Larsen, Shin Sahara |
VDMTools: advances in support for formal modeling in VDM. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
formal methods, validation, tool support, VDM, vienna development method |
| 1 | Michael Hind |
Addressing the disconnect between the good and the popular. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | Paul Frenger |
Hard Java. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kathleen Fisher, Chandra Krintz |
SIGPLAN programming language curriculum workshop: Workshop report summary. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kathi Fisler |
Implementing domain-specific languages as the foundation of an honors intro CS course. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | Richard E. Jones, Stephen M. Blackburn |
International symposium of memory management (ISMM 2008). |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark W. Bailey |
TRANSACT 2008 paper abstracts. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay Menon 0002, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc |
Single global lock semantics in a weakly atomic STM. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
Java |
| 1 | Peter Sestoft |
Programming language concepts for software developers. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | Gary T. Leavens |
Use concurrent programming models to motivate teaching of programming languages. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
concurrency, computational models, programming models, concepts, programming language curriculum, paradigms |
| 1 | Kathleen Fisher, Chandra Krintz |
SIGPLAN programming language curriculum workshop: Workshop organization. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lori L. Pollock |
Rethinking pedagogy for teaching PL with more than PL concepts in mind. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | James Hook, Michael Sperber |
The ICFP developer conference 2008. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shriram Krishnamurthi |
Teaching programming languages in a post-linnaean age. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | Danfeng Zhang, Yao Guo 0001, Xiangqun Chen |
AspectC2C: a symmetric aspect extension to the C language. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Felleisen |
Why teach programming languages in this day and age and how to go about it. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | Eric Allen |
Some things that computer science majors should know. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | Jia Lv, Ying Jing, Minghui Wu 0001, Canghong Jin |
Crosscutting invariant and an efficient checking algorithm using program slicing. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
aspect-oriented language, crosscutting interference, crosscutting quality, crosscutting safety |
| 1 | Ce Yu, Zhen Xu, Ji-zhou Sun, Xiao-jing Meng, Yan-yan Huang, Hua-bei Wu |
ParaModel: a visual modeling and code skeleton generation system for programming parallel applications. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
architectural skeleton, program parallel application, design pattern, visual modeling |
| 1 | John Hughes 0001 |
Experiences from teaching functional programming at Chalmers. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | Kim B. Bruce, Stephen N. Freund |
Programming languages as part of core computer science. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | Stuart Reges |
Marketing the programming languages course. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Simone Campanoni, Giovanni Agosta, Stefano Crespi-Reghizzi |
A parallel dynamic compiler for CIL bytecode. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
virtual execution system, parallel virtual machine, dynamic compilation |
| 1 | Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani |
A type system for data-flow integrity on Windows Vista. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
data-flow integrity, hybrid type system, explicit substitution, dynamic access control |
| 1 | Mark A. Sheldon, Franklyn A. Turbak |
An aspect-oriented approach to the undergraduate programming language curriculum. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | Ju Qian, Baowen Xu |
Program slicing under UML scenario models. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
UML, scenario, program understanding, program slicing |
| 1 | Kathleen Fisher |
We need more than one: why students need a sophisticated understanding of programming languages. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | Kim B. Bruce, Stephen N. Freund |
Programming languages in a liberal arts education. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | Doug Lea, David F. Bacon, David Grove |
Languages and performance engineering: method, instrumentation, and pedagogy. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | Marco Pistoia, Úlfar Erlingsson |
Programming languages and program analysis for security: a three-year retrospective. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
security, program analysis, programming languages, language-based security |
| 1 | Marco Pistoia, Úlfar Erlingsson |
Workshop on programming languages and analysis for security (PLAS 2008). |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | John C. Reynolds |
Some thoughts on teaching programming and programming languages. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming, programming languages, teaching, undergraduate curriculum |
| 1 | Yangyi Sui, Jun Lin 0003, Xiaotuo Zhang |
An automated refactoring tool for dataflow visual programming language. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
dataflow visual programming language, software engineering, refactoring, dataflow |
| 1 | Kathryn S. McKinley |
Improving publication quality by reducing bias with double-blind reviewing and author response. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | James R. Larus |
PL research and its consequences on PL curriculum. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand, Daniel P. Friedman |
Programming languages: fundamental concepts for expanding and disciplining the mind. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
curricula |
| 1 | William R. Cook |
High-level problems in teaching undergraduate programming languages. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | Robert Harper 0001 |
Position paper: practical foundations for lrogramming languages. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark W. Bailey |
ISMM 2008 paper abstracts. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Olin Shivers |
Why teach programming languages. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | Mark W. Bailey |
Injecting programming language concepts throughout the curriculum: an inclusive strategy. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming language curriculum |
| 1 | Rastislav Bodík |
Small languages in an undergraduate PL/Compiler course. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license