OOPSLA 2015 - PDF Preprint Papers

OOPSLA 2015 Security for Object-Oriented Systems

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed OOPSLA-2015 Paper

click to vote

OOPSLA
2015
Springer

29views Security Privacy» more OOPSLA 2015»

Finding deep compiler bugs via guided stochastic program mutation

8 years 5 days ago

Download vuminhle.com

Compiler testing is important and challenging. Equivalence Modulo Inputs (EMI) is a recent promising approach for compiler validation. It is based on mutating the unexecuted state...

Vu Le, Chengnian Sun, Zhendong Su

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	29	Finding deep compiler bugs via guided stochastic program mutation	claim
2	25	Columnar objects: improving the performance of analytical applications	claim
3	24	Trace register allocation	claim
4	24	Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures	claim
5	23	Probability type inference for flexible approximate programming	claim
6	23	Automating grammar comparison	claim
7	22	Towards a theory of conceptual design for software	claim
8	21	Programming with enumerable sets of structures	claim
9	20	Towards secure integration of cryptographic software	claim
10	19	Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach	claim
11	18	SATCheck: SAT-directed stateless model checking for SC and TSO	claim
12	18	Customizable gradual polymorphic effects for Scala	claim
13	17	Approximate computation with outlier detection in Topaz	claim
14	16	Scalable race detection for Android applications	claim
15	16	A sound and optimal incremental build system with dynamic dependencies	claim
16	16	A formal foundation for trace-based JIT compilers	claim
17	15	Runtime metric meets developer: building better cloud applications using feedback	claim
18	15	Using C language extensions for developing embedded software: a case study	claim
19	14	Measuring the usability and capability of App inventor to create mobile Applications	claim
20	14	Versatile yet lightweight record-and-replay for Android	claim
21	14	Race-driven UI-level test generation for JavaScript-based web applications	claim
22	14	Constraints as a design pattern	claim
23	14	Learning a strategy for adapting a program analysis via bayesian optimisation	claim
24	13	Stateless model checking of event-driven applications	claim
25	13	Gaps and future directions in mobile security research	claim
26	12	Just-in-time data structures	claim
27	12	Towards a dynamic object model within Unix processes	claim
28	12	Automating ad hoc data representation transformations	claim
29	11	ShamDroid: gracefully degrading functionality in the presence of limited resource access	claim
30	11	A bootstrapping infrastructure to build and extend Pharo-like languages	claim
31	11	Cross-layer memory management for managed language applications	claim
32	11	Optimizing hash-array mapped tries for fast and lean immutable JVM collections	claim
33	11	Use at your own risk: the Java unsafe API in the wild	claim
34	10	Static analysis of event-driven Node.js JavaScript applications	claim
35	10	Ayudante: identifying undesired variable interactions	claim
36	10	Automatic memory reclamation for lock-free data structures	claim
37	10	Runtime pointer disambiguation	claim
38	10	Interactively verifying absence of explicit information flows in Android apps	claim
39	10	AutoMO: automatic inference of memory order parameters for C/C++11	claim
40	9	Pyrlang: a high performance Erlang virtual machine based on RPython	claim
41	9	Conditionally correct superoptimization	claim
42	9	Making live programming practical by bridging the gap between trial-and-error development and unit testing	claim
43	9	Fraglight: shedding light on broken pointcuts in evolving aspect-oriented software	claim
44	8	Declarative fence insertion	claim
45	8	Infection size as a measure of bug severity	claim
46	8	Incremental computation with names	claim
47	7	Scrap your boilerplate with object algebras	claim
48	7	Slimming languages by reducing sugar: a case for semantics-altering transformations	claim
49	7	Trace oblivious computation	claim
50	7	EXPLORER : query- and demand-driven exploration of interprocedural control flow properties	claim
51	7	Partial evaluation of machine code	claim
52	6	Galois transformers and modular abstract interpreters: reusable metatheory for program analysis	claim
53	6	Automated backward error analysis for numerical code	claim
54	6	Synthesizing Java expressions from free-form queries	claim
55	6	Towards deployment-time dynamic analysis of server applications	claim
56	6	Consensus-based mining of API preconditions in big code	claim
57	6	Effectively mapping linguistic abstractions for message-passing concurrency to threads on the Java virtual machine	claim
58	6	Shiranui: a live programming with support for unit testing	claim
59	6	Musiplectics: computational assessment of the complexity of music scores	claim
60	5	Disjointness domains for fine-grained aliasing	claim
61	5	Recovering execution data from incomplete observations	claim
62	5	One parser to rule them all	claim
63	5	Tracing vs. partial evaluation: comparing meta-compilation approaches for self-optimizing interpreters	claim
64	4	Reasoning about the POSIX file system: local update and global pathnames	claim
65	4	Selective control-flow abstraction via jumping	claim
66	4	RAIVE: runtime assessment of floating-point instability by vectorization	claim
67	4	GTInspector: a moldable domain-aware object inspector	claim
68	4	Toward tool support for interactive synthesis	claim
69	4	Performance problems you can fix: a dynamic analysis of memoization opportunities	claim
70	3	The moldable inspector	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers