The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "OOPSLA"( http://dblp.L3S.de/Venues/OOPSLA )

URL (DBLP): http://dblp.uni-trier.de/db/conf/oopsla

Publication years (Num. hits)
1986 (57) 1987 (45) 1988 (36) 1989 (55) 1990-1991 (32) 1992 (39) 1993 (44) 1994 (38) 1995 (41) 1996 (33) 1997 (30) 1998 (33) 1999 (31) 2000 (27) 2001 (28) 2002 (26) 2003 (27) 2004 (28) 2005 (33) 2006 (31) 2007 (40) 2008 (37) 2009 (34) 2010 (63) 2011 (63) 2012 (60) 2013 (51) 2014 (53) 2015 (54) 2016 (53)
Publication types (Num. hits)
inproceedings(1191) proceedings(31)
Venues (Conferences, Journals, ...)
OOPSLA(1222)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1025 occurrences of 545 keywords

Results
Found 1222 publication records. Showing 1222 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Scott Moore, Christos Dimoulas, Robert Bruce Findler, Matthew Flatt, Stephen Chong Extensible access control with authorization contracts. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Diogenes Nunez, Samuel Z. Guyer, Emery D. Berger Prioritized garbage collection: explicit GC support for software caches. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sreepathi Pai, Keshav Pingali A compiler for throughput optimization of graph algorithms on GPUs. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Santiago Perez De Rosso, Daniel Jackson 0001 Purposes, concepts, misfits, and a redesign of git. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shiyou Huang, Jeff Huang 0001 Maximal causality reduction for TSO and PSO. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Chengnian Sun, Vu Le, Zhendong Su Finding compiler bugs via live code mutation. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Oliver Hanappi, Waldemar Hummer, Schahram Dustdar Asserting reliable convergence for configuration management scripts. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kyndylan Nienhuis, Kayvan Memarian, Peter Sewell An operational semantics for C/C++11 concurrency. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jonathan DiLorenzo, Richard Zhang, Erin Menzies, Kathleen Fisher, Nate Foster Incremental forest: a DSL for efficiently managing filestores. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dohyeong Kim, Yonghwi Kwon, Peng Liu 0010, I Luk Kim, David Mitchel Perry, Xiangyu Zhang 0001, Gustavo Rodriguez-Rivera Apex: automatic programming assignment error explanation. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nada Amin, Ross Tate Java and scala's type systems are unsound: the existential crisis of null pointers. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Benoit Daloze, Stefan Marr, Daniele Bonetta, Hanspeter Mössenböck Efficient and thread-safe objects for dynamically-typed languages. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sulekha Kulkarni, Ravi Mangal, Xin Zhang, Mayur Naik Accelerating program analyses by cross-program training. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Veselin Raychev, Pavol Bielik, Martin T. Vechev Probabilistic model for code with decision trees. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Keith Chapman, Antony L. Hosking, J. Eliot B. Moss Hybrid STM/HTM for nested transactions on OpenJDK. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tiark Rompf, Nada Amin Type soundness for dependent object types (DOT). Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexei Colin, Brandon Lucia Chain: tasks and channels for reliable intermittent programs. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrei Marian Dan, Patrick Lam 0001, Torsten Hoefler, Martin T. Vechev Modeling and analysis of remote memory access programming. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Venkatesh Srinivasan, Tushar Sharma, Thomas W. Reps Speeding up machine-code synthesis. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shachar Itzhaky, Rohit Singh 0002, Armando Solar-Lezama, Kuat Yessenov, Yongquan Lu, Charles E. Leiserson, Rezaul Alam Chowdhury Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stephen Kell Dynamically diagnosing type errors in unsafe code. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Arthur Michener Peters, David Kitchin, John A. Thywissen, William R. Cook OrcO: a concurrency-first approach to objects. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric Portable inter-workgroup barrier synchronisation for GPUs. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, Zachary Tatlock Scalable verification of border gateway protocol configurations with an SMT solver. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dmitry Petrashko, Vlad Ureche, Ondrej Lhoták, Martin Odersky Call graphs for languages with parametric polymorphism. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Leo Osvald, Grégory M. Essertel, Xilun Wu, Lilliam I. González Alayón, Tiark Rompf Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Eelco Visser, Yannis Smaragdakis (eds.) Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016 Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Friedrich Steimann, Jörg Hagemann, Bastian Ulke Computing repair alternatives for malformed programs using constraint attribute grammars. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Malavika Samak, Omer Tripp, Murali Krishna Ramanathan Directed synthesis of failing concurrent executions. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Calvin Loncaric, Satish Chandra 0001, Cole Schlesinger, Manu Sridharan A practical framework for type inference error explanation. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Davide Ancona, Andrea Corradi Semantic subtyping for imperative object-oriented languages. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rohan Bavishi, Awanish Pandey, Subhajit Roy To be precise: regression aware debugging. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sean Treichler, Michael Bauer, Rahul Sharma 0001, Elliott Slaughter, Alex Aiken Dependent partitioning. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stephen Kell, Dominic P. Mulligan, Peter Sewell The missing link: explaining ELF static linking, semantically. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Satish Chandra 0001, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi Type inference for static compilation of JavaScript. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kumud Bhandari, Dhruva R. Chakrabarti, Hans-Juergen Boehm Makalu: fast recoverable allocation of non-volatile memory. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Daniele Bonetta, Luca Salucci, Stefan Marr, Walter Binder GEMs: shared-memory parallel programming for Node.js. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jeff Huang 0001, Arun K. Rajagopalan Precise and maximal race detection from incomplete traces. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Philipp Haller, Alexander Loiko LaCasa: lightweight affinity and object capabilities in Scala. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ben Blum, Garth A. Gibson Stateless model checking with data-race preemption points. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Venkatesh Srinivasan, Thomas W. Reps An improved algorithm for slicing machine code. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rishi Surendran, Vivek Sarkar Automatic parallelization of pure method calls via conditional future synthesis. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sébastien Doeraene, Tobias Schlatter Parallel incremental whole-program optimizations for Scala.js. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Anitha Gollamudi, Stephen Chong Automatic enforcement of expressive security policies using enclaves. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee 0001, Germán Andrés Delbianco Hoare-style specifications as correctness conditions for non-linearizable concurrent objects. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zhiyong Shan, Tanzirul Azim, Iulian Neamtiu Finding resume and restart errors in Android applications. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jonathan Immanuel Brachthäuser, Tillmann Rendel, Klaus Ostermann Parsing with first-class derivatives. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yuheng Long, Yu David Liu, Hridesh Rajan First-class effect reflection for effect-guided programming. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shaon Barman, Sarah Chasins, Rastislav Bodík, Sumit Gulwani Ringer: web automation by demonstration. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pavel Panchekha, Emina Torlak Automated reasoning for web page layout. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrei Stefanescu, Daejun Park 0001, Shijiao Yuwen, Yilong Li, Grigore Rosu Semantics-based program verifiers for all languages. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zhiqiang Zuo 0002, Lu Fang, Siau-Cheng Khoo, Guoqing (Harry) Xu, Shan Lu Low-overhead and fully automated statistical debugging with abstraction refinement. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xinyu Wang, Sumit Gulwani, Rishabh Singh FIDEX: filtering spreadsheet data using examples. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Haoyuan Zhang, Zewei Chu, Bruno C. d. S. Oliveira, Tijs van der Storm Scrap your boilerplate with object algebras. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Brett Boston, Adrian Sampson, Dan Grossman, Luis Ceze Probability type inference for flexible approximate programming. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1David Darais, Matthew Might, David Van Horn Galois transformers and modular abstract interpreters: reusable metatheory for program analysis. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1John Bender, Mohsen Lesani, Jens Palsberg Declarative fence insertion. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sebastian Erdweg, Oliver Bracevac, Edlira Kuci, Matthias Krebs, Mira Mezini A co-contextual formulation of type rules and its application to incremental type checking. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pavol Bielik, Veselin Raychev, Martin T. Vechev Scalable race detection for Android applications. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gian Ntzik, Philippa Gardner Reasoning about the POSIX file system: local update and global pathnames. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sara Achour, Martin C. Rinard Approximate computation with outlier detection in Topaz. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zhoulai Fu, Zhaojun Bai, Zhendong Su Automated backward error analysis for numerical code. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tim Felgentreff, Todd D. Millstein, Alan Borning, Robert Hirschfeld Checks and balances: constraint solving without surprises in object-constraint programming languages. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1John Wickerson, Mark Batty, Bradford M. Beckmann, Alastair F. Donaldson Remote-scope promotion: clarified, rectified, and verified. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jens Dietrich 0001, Nicholas Hollingum, Bernhard Scholz Giga-scale exhaustive points-to analysis for Java in under a minute. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Casper Svenning Jensen, Anders Møller, Veselin Raychev, Dimitar Dimitrov, Martin T. Vechev Stateless model checking of event-driven applications. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sebastian Erdweg, Moritz Lichter, Manuel Weiel A sound and optimal incremental build system with dynamic dependencies. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Brian Demsky, Patrick Lam 0001 SATCheck: SAT-directed stateless model checking for SC and TSO. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tihomir Gvero, Viktor Kuncak Synthesizing Java expressions from free-form queries. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thibaud Hottelier, Rastislav Bodík Synthesis of layout engines from relational constraints. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan Selective control-flow abstraction via jumping. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Markus Voelter, Arie van Deursen, Bernd Kolb, Stephan Eberle Using C language extensions for developing embedded software: a case study. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yongjian Hu, Tanzirul Azim, Iulian Neamtiu Versatile yet lightweight record-and-replay for Android. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Lucas Brutschy, Pietro Ferrara, Omer Tripp, Marco Pistoia ShamDroid: gracefully degrading functionality in the presence of limited resource access. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rahul Sharma 0001, Eric Schkufza, Berkeley R. Churchill, Alex Aiken Conditionally correct superoptimization. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cristina V. Lopes, Joel Ossher How scale affects structure in Java programs. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Wen-Chuan Lee, Tao Bao, Yunhui Zheng, Xiangyu Zhang 0001, Keval Vora, Rajiv Gupta 0001 RAIVE: runtime assessment of floating-point instability by vectorization. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Vu Le, Chengnian Sun, Zhendong Su Finding deep compiler bugs via guided stochastic program mutation. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael R. Jantz, Forrest J. Robinson, Prasad A. Kulkarni, Kshitij A. Doshi Cross-layer memory management for managed language applications. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yudi Zheng, Lubomír Bulej, Walter Binder Accurate profiling in the presence of dynamic compilation. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ravichandhran Madhavan, Mikaël Mayer, Sumit Gulwani, Viktor Kuncak Automating grammar comparison. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Magnus Madsen, Frank Tip, Ondrej Lhoták Static analysis of event-driven Node.js JavaScript applications. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Matthew Hague, Anthony Widjaja Lin, C.-H. Luke Ong Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Swarnendu Biswas, Minjia Zhang, Michael D. Bond, Brandon Lucia Valor: efficient, software-only region conflict exceptions. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Stephan Brandauer, Dave Clarke 0001, Tobias Wrigstad Disjointness domains for fine-grained aliasing. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael J. Steindorfer, Jurgen J. Vinju Optimizing hash-array mapped tries for fast and lean immutable JVM collections. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida Protocol-based verification of message-passing parallel programs. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ivan Kuraj, Viktor Kuncak, Daniel Jackson 0001 Programming with enumerable sets of structures. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Haichuan Wang, David A. Padua, Peng Wu 0001 Vectorization of apply to reduce interpretation overhead of R. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Aigner 0003, Christoph M. Kirsch, Michael Lippautz, Ana Sokolova Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hakjoo Oh, Hongseok Yang, Kwangkeun Yi Learning a strategy for adapting a program analysis via bayesian optimisation. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ganesha Upadhyaya, Hridesh Rajan Effectively mapping linguistic abstractions for message-passing concurrency to threads on the Java virtual machine. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yu Feng, Xinyu Wang, Isil Dillig, Calvin Lin EXPLORER : query- and demand-driven exploration of interprocedural control flow properties. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Vlad Ureche, Aggelos Biboudis, Yannis Smaragdakis, Martin Odersky Automating ad hoc data representation transformations. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Matías Toro, Éric Tanter Customizable gradual polymorphic effects for Scala. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nachshon Cohen, Erez Petrank Automatic memory reclamation for lock-free data structures. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Luca Della Toffola, Michael Pradel, Thomas R. Gross Performance problems you can fix: a dynamic analysis of memoization opportunities. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Silvia Crafa, Luca Padovani The chemical approach to typestate-oriented programming. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Oleksandr Polozov, Sumit Gulwani FlashMeta: a framework for inductive program synthesis. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Luis Mastrangelo, Luca Ponzanelli, Andrea Mocci, Michele Lanza, Matthias Hauswirth, Nathaniel Nystrom Use at your own risk: the Java unsafe API in the wild. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1222 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license