Search events for 'all'
One VM to Rule Them All
Tutorials When: Thu 23 Oct 2014 10:30 - 12:00 People: Christian Wimmer
… …
The Problem of Structural Type Tests in a Gradual-Typed Language
FOOL When: Mon 20 Oct 2014 11:00 - 11:30 People: John Boyland
… forward, all of which have their own drawbacks. …
SMAST: Constructing Languages for Multi-Disciplinary Engineering Problems
DSLDI When: Mon 20 Oct 2014 14:30 - 15:00 People: Kevin Baldor, Jianwei Niu
… Reuse of engineering solutions is a greater challenge than the reuse of software artifacts. Without the advantage of a common description language, automatic reuse tends to be ad hoc if available at all. We present a concept-stage project …
Invited Speaker: A Brief, Opinionated History of the API
PLATEAU When: Tue 21 Oct 2014 09:00 - 10:00 People: Josh Bloch
… APIs have been with us for 60 years or so. They come in all different shapes, sizes, and disguises. In this talk we’ll look at a few APIs, focusing on what makes them good, what makes them successful, and why the correlation between …
Invited Talk: Automatic and Precise Program Analyses for Reliable and Efficient Concurrency
SEPS When: Tue 21 Oct 2014 08:40 - 09:40 People: Michael Pradel
… software with minimal effort, and precise, in the sense that all reported problems …
Metamorphic Domain-Specific Languages: A Journey Into the Shapes of a Language
Onward! Essays When: Wed 22 Oct 2014 14:15 - 15:00 People: Mathieu Acher, Benoit Combemale, Philippe Collet
… DSL, different shapes of an internal API, and maintain all these languages. A key insight is that there is no one-size-fits-all solution or no clear superiority …
Invited Talk: Dependence Programing with CnC
SEPS When: Tue 21 Oct 2014 10:30 - 11:20 People: Frank Schlimbach
… in the application and leave out all others. There are exactly two reasons …
Programming with Managed Time
Onward! Papers When: Wed 22 Oct 2014 10:30 - 10:52 People: Sean McDirmid, Jonathan Edwards
… entirely on programmers to properly order all updates. Just as languages now … propose a new form of managed time, Glitch, which ensures that all updates … of simultaneous execution. To do this, all updates must be commutative …
Unifying Textual and Visual: a Theoretical Account of the Visual Perception of Programming Languages
Onward! Papers When: Fri 24 Oct 2014 11:15 - 11:37 People: Stéphane Conversy
… languages is narrow, and that all kind of programming languages should rely …
It's only illegal if you get caught
Onward! Papers When: Thu 23 Oct 2014 16:37 - 17:00 People: Raphaël Proust, Alan Mycroft
… —bringing some form of atomicity. However, while all these constructs might work …
Getting to Flow in Software Development
Onward! Essays When: Thu 23 Oct 2014 14:15 - 15:00 People: Gail Murphy
… and process all of the information that may be useful or critical for decisions …
Mining the Ecosystem to Improve Type Inference For Dynamically Typed Languages
Onward! Papers When: Thu 23 Oct 2014 15:52 - 16:15 People: Boris Spasojevic, Mircea Lungu, Oscar Nierstrasz
… written in the same language. For all available projects, we track how often …
Keynote: Machine Learning for Programming
Keynotes When: Thu 23 Oct 2014 08:30 - 10:00 People: Peter Norvig
… to most or all software problems, and for most or all programmers, from …
Adaptive LL(*) Parsing: The Power of Dynamic Analysis
OOPSLA Artifacts People: Terence Parr, Sam Harwell, Kathleen Fisher
… strategies. This paper introduces the ALL() parsing strategy that combines … innovation is to move grammar analysis to parse-time, which lets ALL() handle any non-left-recursive context-free grammar. ALL(*) is O(n^4) in theory …
Adaptive LL(*) Parsing: The Power of Dynamic Analysis
OOPSLA When: Thu 23 Oct 2014 15:30 - 15:52 People: Terence Parr, Sam Harwell, Kathleen Fisher
… strategies. This paper introduces the ALL() parsing strategy that combines … innovation is to move grammar analysis to parse-time, which lets ALL() handle any non-left-recursive context-free grammar. ALL(*) is O(n^4) in theory …
QA to AQ: Shifting from Quality Assurance to Agile Quality
Tutorials When: Wed 22 Oct 2014 10:30 - 12:00 People: Joe Yoder
… , working to ensure quality in all facets of the development process. Because …, know how to write their own automated suite cases, and be involved in all …
Using Catrobat, a Scratch-like visual programming language for smartphones, in a middle school physics course
SPLASH-E When: Tue 21 Oct 2014 15:30 - 16:00 People: Roxane Koitz-Hristov, Wolfgang Slany
… programs to the Web, all under free open source licenses to foster learning, sharing, and remixing. All major mobile platforms are supported. Google is promoting …
Keynote: Humane Representation of Thought: A Trail Map for the 21st Century
Keynotes When: Fri 24 Oct 2014 08:30 - 10:00 People: Bret Victor
… which draw on the entire range of human capabilities — all senses, all forms of movement, all forms of understanding — instead of straining a few and atrophying …
Refactoring Java Generics by Inferring Wildcards, In Practice
OOPSLA Artifacts People: John Altidor, Yannis Smaragdakis
… no changes to the Java type system, while taking into account all its intricacies …
Structured Source Retrieval for Improving Software Search during Program Comprehension Tasks
Doctoral Symposium When: Mon 20 Oct 2014 09:15 - 10:00 People: Brian Eddy
… ), and traceability (i.e., determining where requirements are implemented in the program), are all …
An Experimental Survey of Energy Management Across the Stack
OOPSLA When: Thu 23 Oct 2014 11:15 - 11:37 People: Melanie Kambadur, Martha A. Kim
… Modern demand for energy-efficient computation has spurred research at all levels of the stack, from devices to microarchitecture, operating systems, compilers, and languages. Unfortunately, this breadth has resulted in a disjointed space …
Refactoring Java Generics by Inferring Wildcards, In Practice
OOPSLA When: Thu 23 Oct 2014 11:37 - 12:00 People: John Altidor, Yannis Smaragdakis
… no changes to the Java type system, while taking into account all its intricacies …
Natural Proofs for Asynchronous Programs using Almost-Synchronous Invariants
OOPSLA When: Fri 24 Oct 2014 11:37 - 12:00 People: Ankush Desai, Pranav Garg, P. Madhusudan
… argues that they cover all local states. We show that asynchronous programs often …
Static Analysis for Independent App Developers
OOPSLA Artifacts People: Lucas Brutschy, Pietro Ferrara, Peter Müller
… for a selection of all scripts shows that most of the alarms are real errors. …
Static Analysis for Independent App Developers
OOPSLA When: Fri 24 Oct 2014 14:37 - 15:00 People: Lucas Brutschy, Pietro Ferrara, Peter Müller
… of the analysis results for a selection of all scripts shows that most of the alarms …
Bounded Exhaustive Test Input Generation from Hybrid Invariants
OOPSLA When: Fri 24 Oct 2014 10:30 - 10:52 People: Nico Rosner, Valeria Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, Sarfraz Khurshid
… . Moreover, our technique automatically evaluates all different possible ways …
Efficient Subcubic Alias Analysis for C
OOPSLA When: Fri 24 Oct 2014 14:15 - 14:37 People: Qirun Zhang, Xiao Xiao, Charles Zhang, Hao Yuan, Zhendong Su
… -reachability algorithm propagates along all summary edges. We also utilize …
Keynote: Software Security - A Study in Technology Transfer
Keynotes When: Wed 22 Oct 2014 08:30 - 10:00 People: Gary McGraw
… people believe that the original researchers need to be involved all the way along …
Using Web Corpus Statistics for Program Analysis
OOPSLA When: Wed 22 Oct 2014 11:37 - 12:00 People: Chun-Hung Hsiao, Michael Cafarella, Satish Narayanasamy
… a code n-gram as a subgraph of the program dependence graph that contains all nodes …
Finding Minimum Type Error Sources
OOPSLA When: Thu 23 Oct 2014 15:52 - 16:15 People: Zvonimir Pavlinovic, Tim King, Thomas Wies
… errors. Our algorithm finds all minimum error sources, where the exact …
Fast Conservative Garbage Collection
OOPSLA When: Wed 22 Oct 2014 11:37 - 12:00 People: Rifat Shahriyar, Steve Blackburn, Kathryn S McKinley
… conservative collectors either (1) use mark-sweep and forgo moving all objects …
Fast Conservative Garbage Collection
OOPSLA Artifacts People: Steve Blackburn, Kathryn S McKinley, Rifat Shahriyar
… conservative collectors either (1) use mark-sweep and forgo moving all objects …
Multithreaded Test Synthesis for Deadlock Detection
OOPSLA Artifacts People: Malavika Samak, Murali Krishna Ramanathan
… it on many multithreaded Java libraries. OMEN synthesizes multithreaded tests for all …
Multithreaded Test Synthesis for Deadlock Detection
OOPSLA When: Thu 23 Oct 2014 14:15 - 14:37 People: Malavika Samak, Murali Krishna Ramanathan
… it on many multithreaded Java libraries. OMEN synthesizes multithreaded tests for all …
Late Data Layout: Unifying Data Representation Transformations
OOPSLA Artifacts People: Vlad Ureche, Eugene Burmako, Martin Odersky
… -stage programming mechanisms: they all expose a concept which they later refine …
Late Data Layout: Unifying Data Representation Transformations
OOPSLA When: Thu 23 Oct 2014 14:15 - 14:37 People: Vlad Ureche, Eugene Burmako, Martin Odersky
… -stage programming mechanisms: they all expose a concept which they later refine …