Skip to content

ACM Conference on Object Oriented Programming Systems Languages and Applications

OOPSLA

A

CORE rank

CORE rank (raw)

A

Fields of research

Software Engineering

Papers indexed

3,364

1986–2022

Papers per year

1986226 peak2022

OOPSLA papers

3,364 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2015Type systems for the masses: deriving soundness proofs and efficient checkers.Sylvia Grewe, Sebastian Erdweg, Pascal Wittmann, Mira Mezini
2015Workshop preview of the 15th workshop on domain specific modeling (DSM 2015).Jeff Gray, Jonathan Sprinkle, Juha-Pekka Tolvanen, Matti Rossi
2015Ultra lightweight JavaScript engine for internet of things.Evgeny Gavrin, Sung-Jae Lee, Ruben Ayrapetyan, Andrey Shitov
2015Annotatable systrace: an extended Linux ftrace for tracing a parallelized program.Daichi Fukui, Mamoru Shimaoka, Hiroki Mikami, Dominic Hillenbrand, Hideo Yamamoto, Keiji Kimura, Hironori Kasahara
2015Automated backward error analysis for numerical code.Zhoulai Fu, Zhaojun Bai, Zhendong Su
2015Workshop preview of the 3rd international workshop on programming for mobile and touch (PROMOTO 2015).Steven D. Fraser, Alberto Sillitti
2015Software Professionalism - Is it 'Good Enough?'.Steven D. Fraser, Dennis Mancl, Nancy R. Mead, Mary Shaw, Werner Wild
2015The Future of Programming Languages and Programmers.Steven D. Fraser, Lars Bak, Rob DeLine, Nick Feamster, Lindsey Kuper, Cristina V. Lopes, Peng Wu
2015Towards transitory encapsulation.Sebastian Fleissner
2015Is functional programming better for modularity?Ismael Figueroa, Romain Robbes
2015EXPLORER : query- and demand-driven exploration of interprocedural control flow properties.Yu Feng, Xinyu Wang, Isil Dillig, Calvin Lin
2015Checks and balances: constraint solving without surprises in object-constraint programming languages.Tim Felgentreff, Todd D. Millstein, Alan Borning, Robert Hirschfeld
2015Lively groups: shared behavior in a world of objects without classes or prototypes.Tim Felgentreff, Jens Lincke, Robert Hirschfeld, Lauritz Thamsen
2015Tomorrow's network operators will be programmers (keynote).Nick Feamster
2015A sound and optimal incremental build system with dynamic dependencies.Sebastian Erdweg, Moritz Lichter, Manuel Weiel
2015A co-contextual formulation of type rules and its application to incremental type checking.Sebastian Erdweg, Oliver Bracevac, Edlira Kuci, Matthias Krebs, Mira Mezini
2015Trace register allocation.Josef Eisl
2015Program analysis for mobile: how and why to run WALA on your phone.Julian Dolby
2015Giga-scale exhaustive points-to analysis for Java in under a minute.Jens Dietrich, Nicholas Hollingum, Bernhard Scholz
2015SATCheck: SAT-directed stateless model checking for SC and TSO.Brian Demsky, Patrick Lam
2015Modern software is all about data. development environments should be, too. (keynote).Rob DeLine
2015Reusing legacy DSLs with Melange.Thomas Degueule, Benot Combemale, Arnaud Blouin, Olivier Barais
2015Domain specific modelling for clinical research.Jim Davies, Jeremy Gibbons, Adam Milward, David Milward, Seyyed Shah, Monika Solanki, James Welch
2015Galois transformers and modular abstract interpreters: reusable metatheory for program analysis.David Darais, Matthew Might, David Van Horn
2015A user study for comparing the programming efficiency of modifying executable multimodal interaction descriptions: a domain-specific language versus equivalent event-callback code.Fredy Cuenca, Jan Van den Bergh, Kris Luyten, Karin Coninx
526550 of 3,364← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.