Powered by
Conference Publishing Consulting

2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2015), October 25–30, 2015, Pittsburgh, PA, USA

OOPSLA 2015 – Author Index

Contents - Abstracts - Authors

A B C D E F G H J K L M N O P R S T U V W Y Z

Achour, Sara OOPSLA'15: "Approximate Computation with ..."
Aigner, Martin OOPSLA'15: "Fast, Multicore-Scalable, ..."
Aiken, Alex OOPSLA'15: "Conditionally Correct Superoptimization ..." OOPSLA'15: "Interactively Verifying Absence ..."
Alves, Péricles OOPSLA'15: "Runtime Pointer Disambiguation ..."
Anand, Saswat OOPSLA'15: "Interactively Verifying Absence ..."
Azim, Tanzirul OOPSLA'15: "Versatile yet Lightweight ..."
Bai, Zhaojun OOPSLA'15: "Automated Backward Error Analysis ..."
Bao, Tao OOPSLA'15: "RAIVE: Runtime Assessment ..."
Bastani, Osbert OOPSLA'15: "Interactively Verifying Absence ..."
Batty, Mark OOPSLA'15: "Remote-Scope Promotion: Clarified, ..."
Beckmann, Bradford M. OOPSLA'15: "Remote-Scope Promotion: Clarified, ..."
Bender, John OOPSLA'15: "Declarative Fence Insertion ..."
Biboudis, Aggelos OOPSLA'15: "Automating Ad hoc Data Representation ..."
Bielik, Pavol OOPSLA'15: "Scalable Race Detection for ..."
Binder, Walter OOPSLA'15: "Accurate Profiling in the ..."
Biswas, Swarnendu OOPSLA'15: "Valor: Efficient, Software-Only ..."
Blackshear, Sam OOPSLA'15: "Selective Control-Flow Abstraction ..."
Bodik, Rastislav OOPSLA'15: "Synthesis of Layout Engines ..."
Bond, Michael D. OOPSLA'15: "Valor: Efficient, Software-Only ..."
Borning, Alan OOPSLA'15: "Checks and Balances: Constraint ..."
Boston, Brett OOPSLA'15: "Probability Type Inference ..."
Bračevac, Oliver OOPSLA'15: "A Co-contextual Formulation ..."
Brandauer, Stephan OOPSLA'15: "Disjointness Domains for Fine-Grained ..."
Brutschy, Lucas OOPSLA'15: "ShamDroid: Gracefully Degrading ..."
Bulej, Lubomír OOPSLA'15: "Accurate Profiling in the ..."
Ceze, Luis OOPSLA'15: "Probability Type Inference ..."
Chang, Bor-Yuh Evan OOPSLA'15: "Selective Control-Flow Abstraction ..."
Chu, Zewei OOPSLA'15: "Scrap Your Boilerplate with ..."
Churchill, Berkeley OOPSLA'15: "Conditionally Correct Superoptimization ..."
Clarke, Dave OOPSLA'15: "Disjointness Domains for Fine-Grained ..."
Cohen, Nachshon OOPSLA'15: "Automatic Memory Reclamation ..."
Crafa, Silvia OOPSLA'15: "The Chemical Approach to Typestate-Oriented ..."
Darais, David OOPSLA'15: "Galois Transformers and Modular ..."
Della Toffola, Luca OOPSLA'15: "Performance Problems You Can ..."
Demsky, Brian OOPSLA'15: "SATCheck: SAT-Directed Stateless ..." OOPSLA'15: "AutoMO: Automatic Inference ..."
Deursen, Arie van OOPSLA'15: "Using C Language Extensions ..."
Dietrich, Jens OOPSLA'15: "Giga-Scale Exhaustive Points-To ..."
Dillig, Isil OOPSLA'15: "EXPLORER : Query- and Demand-Driven ..."
Dimitrov, Dimitar OOPSLA'15: "Stateless Model Checking of ..."
Doerfert, Johannes OOPSLA'15: "Runtime Pointer Disambiguation ..."
Donaldson, Alastair F. OOPSLA'15: "Remote-Scope Promotion: Clarified, ..."
Doshi, Kshitij A. OOPSLA'15: "Cross-Layer Memory Management ..."
Ducasse, Stéphane OOPSLA'15: "Tracing vs. Partial Evaluation: ..."
Dunfield, Joshua OOPSLA'15: "Incremental Computation with ..."
Eberle, Stephan OOPSLA'15: "Using C Language Extensions ..."
Erdweg, Sebastian OOPSLA'15: "A Sound and Optimal Incremental ..." OOPSLA'15: "A Co-contextual Formulation ..."
Felgentreff, Tim OOPSLA'15: "Checks and Balances: Constraint ..."
Feng, Yu OOPSLA'15: "EXPLORER : Query- and Demand-Driven ..."
Ferrara, Pietro OOPSLA'15: "ShamDroid: Gracefully Degrading ..."
Foster, Jeffrey S. OOPSLA'15: "Incremental Computation with ..."
Fu, Zhoulai OOPSLA'15: "Automated Backward Error Analysis ..."
Gardner, Philippa OOPSLA'15: "Reasoning about the POSIX ..."
Gross, Thomas R. OOPSLA'15: "Performance Problems You Can ..."
Grosser, Tobias OOPSLA'15: "Runtime Pointer Disambiguation ..."
Grossman, Dan OOPSLA'15: "Probability Type Inference ..."
Gruber, Fabian OOPSLA'15: "Runtime Pointer Disambiguation ..."
Gulwani, Sumit OOPSLA'15: "Automating Grammar Comparison ..." OOPSLA'15: "FlashMeta: A Framework for ..."
Gupta, Rajiv OOPSLA'15: "RAIVE: Runtime Assessment ..."
Gvero, Tihomir OOPSLA'15: "Synthesizing Java Expressions ..."
Hague, Matthew OOPSLA'15: "Detecting Redundant CSS Rules ..."
Hammer, Matthew A. OOPSLA'15: "Incremental Computation with ..."
Hauswirth, Matthias OOPSLA'15: "Use at Your Own Risk: The ..."
Headley, Kyle OOPSLA'15: "Incremental Computation with ..."
Hicks, Michael OOPSLA'15: "Incremental Computation with ..."
Hirschfeld, Robert OOPSLA'15: "Checks and Balances: Constraint ..."
Hollingum, Nicholas OOPSLA'15: "Giga-Scale Exhaustive Points-To ..."
Hottelier, Thibaud OOPSLA'15: "Synthesis of Layout Engines ..."
Hu, Yongjian OOPSLA'15: "Versatile yet Lightweight ..."
Jackson, Daniel OOPSLA'15: "Programming with Enumerable ..."
Jantz, Michael R. OOPSLA'15: "Cross-Layer Memory Management ..."
Jensen, Casper S. OOPSLA'15: "Stateless Model Checking of ..."
Kirsch, Christoph M. OOPSLA'15: "Fast, Multicore-Scalable, ..."
Kolb, Bernd OOPSLA'15: "Using C Language Extensions ..."
Krebs, Matthias OOPSLA'15: "A Co-contextual Formulation ..."
Kuci, Edlira OOPSLA'15: "A Co-contextual Formulation ..."
Kulkarni, Prasad A. OOPSLA'15: "Cross-Layer Memory Management ..."
Kuncak, Viktor OOPSLA'15: "Automating Grammar Comparison ..." OOPSLA'15: "Synthesizing Java Expressions ..." OOPSLA'15: "Programming with Enumerable ..."
Kuraj, Ivan OOPSLA'15: "Programming with Enumerable ..."
Labich, Nicholas OOPSLA'15: "Incremental Computation with ..."
Lam, Patrick OOPSLA'15: "SATCheck: SAT-Directed Stateless ..."
Lamprineas, Alexandros OOPSLA'15: "Runtime Pointer Disambiguation ..."
Lanza, Michele OOPSLA'15: "Use at Your Own Risk: The ..."
Le, Vu OOPSLA'15: "Finding Deep Compiler Bugs ..."
Lee, Wen-Chuan OOPSLA'15: "RAIVE: Runtime Assessment ..."
Lesani, Mohsen OOPSLA'15: "Declarative Fence Insertion ..."
Lhoták, Ondřej OOPSLA'15: "Static Analysis of Event-Driven ..."
Lichter, Moritz OOPSLA'15: "A Sound and Optimal Incremental ..."
Lin, Anthony W. OOPSLA'15: "Detecting Redundant CSS Rules ..."
Lin, Calvin OOPSLA'15: "EXPLORER : Query- and Demand-Driven ..."
Lippautz, Michael OOPSLA'15: "Fast, Multicore-Scalable, ..."
Lopes, Cristina V. OOPSLA'15: "How Scale Affects Structure ..."
López, Hugo A. OOPSLA'15: "Protocol-Based Verification ..."
Lucia, Brandon OOPSLA'15: "Valor: Efficient, Software-Only ..."
Madhavan, Ravichandhran OOPSLA'15: "Automating Grammar Comparison ..."
Madsen, Magnus OOPSLA'15: "Static Analysis of Event-Driven ..."
Marques, Eduardo R. B. OOPSLA'15: "Protocol-Based Verification ..."
Marr, Stefan OOPSLA'15: "Tracing vs. Partial Evaluation: ..."
Martins, Francisco OOPSLA'15: "Protocol-Based Verification ..."
Mastrangelo, Luis OOPSLA'15: "Use at Your Own Risk: The ..."
Mayer, Mikaël OOPSLA'15: "Automating Grammar Comparison ..."
Mezini, Mira OOPSLA'15: "A Co-contextual Formulation ..."
Might, Matthew OOPSLA'15: "Galois Transformers and Modular ..."
Millstein, Todd OOPSLA'15: "Checks and Balances: Constraint ..."
Mocci, Andrea OOPSLA'15: "Use at Your Own Risk: The ..."
Møller, Anders OOPSLA'15: "Stateless Model Checking of ..."
Neamtiu, Iulian OOPSLA'15: "Versatile yet Lightweight ..."
Ng, Nicholas OOPSLA'15: "Protocol-Based Verification ..."
Ntzik, Gian OOPSLA'15: "Reasoning about the POSIX ..."
Nystrom, Nathaniel OOPSLA'15: "Use at Your Own Risk: The ..."
Odersky, Martin OOPSLA'15: "Automating Ad hoc Data Representation ..."
Oh, Hakjoo OOPSLA'15: "Learning a Strategy for Adapting ..."
Oliveira, Bruno C. d. S. OOPSLA'15: "Scrap Your Boilerplate with ..."
Ong, C.-H. Luke OOPSLA'15: "Detecting Redundant CSS Rules ..."
Ossher, Joel OOPSLA'15: "How Scale Affects Structure ..."
Ou, Peizhao OOPSLA'15: "AutoMO: Automatic Inference ..."
Padovani, Luca OOPSLA'15: "The Chemical Approach to Typestate-Oriented ..."
Padua, David OOPSLA'15: "Vectorization of Apply to ..."
Palsberg, Jens OOPSLA'15: "Declarative Fence Insertion ..."
Pereira, Fernando Magno Quintão OOPSLA'15: "Runtime Pointer Disambiguation ..."
Petrank, Erez OOPSLA'15: "Automatic Memory Reclamation ..."
Pistoia, Marco OOPSLA'15: "ShamDroid: Gracefully Degrading ..."
Polozov, Oleksandr OOPSLA'15: "FlashMeta: A Framework for ..."
Ponzanelli, Luca OOPSLA'15: "Use at Your Own Risk: The ..."
Pradel, Michael OOPSLA'15: "Performance Problems You Can ..."
Rajan, Hridesh OOPSLA'15: "Effectively Mapping Linguistic ..."
Rastello, Fabrice OOPSLA'15: "Runtime Pointer Disambiguation ..."
Raychev, Veselin OOPSLA'15: "Stateless Model Checking of ..." OOPSLA'15: "Scalable Race Detection for ..."
Reps, Thomas OOPSLA'15: "Partial Evaluation of Machine ..."
Rinard, Martin C. OOPSLA'15: "Approximate Computation with ..."
Robinson, Forrest J. OOPSLA'15: "Cross-Layer Memory Management ..."
Sampson, Adrian OOPSLA'15: "Probability Type Inference ..."
Santos, César OOPSLA'15: "Protocol-Based Verification ..."
Schkufza, Eric OOPSLA'15: "Conditionally Correct Superoptimization ..."
Scholz, Bernhard OOPSLA'15: "Giga-Scale Exhaustive Points-To ..."
Sharma, Rahul OOPSLA'15: "Conditionally Correct Superoptimization ..."
Smaragdakis, Yannis OOPSLA'15: "Automating Ad hoc Data Representation ..."
Sokolova, Ana OOPSLA'15: "Fast, Multicore-Scalable, ..."
Sridharan, Manu OOPSLA'15: "Selective Control-Flow Abstraction ..."
Srinivasan, Venkatesh OOPSLA'15: "Partial Evaluation of Machine ..."
Steindorfer, Michael J. OOPSLA'15: "Optimizing Hash-Array Mapped ..."
Storm, Tijs van der OOPSLA'15: "Scrap Your Boilerplate with ..."
Su, Zhendong OOPSLA'15: "Finding Deep Compiler Bugs ..." OOPSLA'15: "Automated Backward Error Analysis ..."
Sun, Chengnian OOPSLA'15: "Finding Deep Compiler Bugs ..."
Tanter, Éric OOPSLA'15: "Customizable Gradual Polymorphic ..."
Tip, Frank OOPSLA'15: "Static Analysis of Event-Driven ..."
Toro, Matías OOPSLA'15: "Customizable Gradual Polymorphic ..."
Tripp, Omer OOPSLA'15: "ShamDroid: Gracefully Degrading ..."
Upadhyaya, Ganesha OOPSLA'15: "Effectively Mapping Linguistic ..."
Ureche, Vlad OOPSLA'15: "Automating Ad hoc Data Representation ..."
Van Horn, David OOPSLA'15: "Galois Transformers and Modular ..." OOPSLA'15: "Incremental Computation with ..."
Vasconcelos, Vasco Thudichum OOPSLA'15: "Protocol-Based Verification ..."
Vechev, Martin OOPSLA'15: "Stateless Model Checking of ..." OOPSLA'15: "Scalable Race Detection for ..."
Vinju, Jurgen J. OOPSLA'15: "Optimizing Hash-Array Mapped ..."
Voelter, Markus OOPSLA'15: "Using C Language Extensions ..."
Vora, Keval OOPSLA'15: "RAIVE: Runtime Assessment ..."
Wang, Haichuan OOPSLA'15: "Vectorization of Apply to ..."
Wang, Xinyu OOPSLA'15: "EXPLORER : Query- and Demand-Driven ..."
Weiel, Manuel OOPSLA'15: "A Sound and Optimal Incremental ..."
Wickerson, John OOPSLA'15: "Remote-Scope Promotion: Clarified, ..."
Wrigstad, Tobias OOPSLA'15: "Disjointness Domains for Fine-Grained ..."
Wu, Peng OOPSLA'15: "Vectorization of Apply to ..."
Yang, Hongseok OOPSLA'15: "Learning a Strategy for Adapting ..."
Yi, Kwangkeun OOPSLA'15: "Learning a Strategy for Adapting ..."
Yoshida, Nobuko OOPSLA'15: "Protocol-Based Verification ..."
Zhang, Haoyuan OOPSLA'15: "Scrap Your Boilerplate with ..."
Zhang, Minjia OOPSLA'15: "Valor: Efficient, Software-Only ..."
Zhang, Xiangyu OOPSLA'15: "RAIVE: Runtime Assessment ..."
Zheng, Yudi OOPSLA'15: "Accurate Profiling in the ..."
Zheng, Yunhui OOPSLA'15: "RAIVE: Runtime Assessment ..."

169 authors

proc time: 0.16