|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 30 occurrences of 22 keywords
|
|
|
|
|
Results
Found 28 publication records. Showing 28 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner |
Equality Saturation: A New Approach to Optimization  |
Logical Methods in Computer Science  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ross Tate, Alan Leung, Sorin Lerner |
Taming wildcards in Java's type system. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Macneil Shonle, William G. Griswold, Sorin Lerner |
Using metaphors from natural discussion to improve the design of arcum. |
PLATEAU |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Stepp, Ross Tate, Sorin Lerner |
Equality-Based Translation Validator for LLVM. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta |
Translation Validation of High-Level Synthesis. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zachary Tatlock, Sorin Lerner |
Bringing extensibility to verified compilers. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
compiler optimization, correctness, extensibility |
| 1 | Ross Tate, Michael Stepp, Sorin Lerner |
Generating compiler optimizations from proofs. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
proof generalization, compiler optimization, explanation-based learning |
| 1 | Sorin Lerner, Atanas Rountev (eds.) |
Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'10, Toronto, Ontario, Canada, June 5-6, 2010 |
PASTE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Dongseok Jang, Ranjit Jhala, Sorin Lerner, Hovav Shacham |
An empirical study of privacy-violating information flows in JavaScript web applications. |
ACM Conference on Computer and Communications Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Diane Hu, Laurens van der Maaten, Youngmin Cho, Lawrence K. Saul, Sorin Lerner |
Latent Variable Models for Predicting File Dependencies in Large-Scale Software Development. |
NIPS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sudipta Kundu, Zachary Tatlock, Sorin Lerner |
Proving optimizations correct using parameterized program equivalence. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
compiler optimization, correctness, translation validation |
| 1 | Ravi Chugh, Jeffrey A. Meister, Ranjit Jhala, Sorin Lerner |
Staged information flow for javascript. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
integrity, web applications, confidentiality, flow analysis, set constraints |
| 1 | Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner |
Equality saturation: a new approach to optimization. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
equality reasoning, compiler optimization, intermediate representation |
| 1 | Ravi Chugh, Jan Wen Voung, Ranjit Jhala, Sorin Lerner |
Dataflow analysis for concurrent programs using datarace detection. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
locksets, interprocedural analysis, multithreaded programs, summaries |
| 1 | Macneil Shonle, William G. Griswold, Sorin Lerner |
Addressing common crosscutting problems with Arcum. |
PASTE |
2008 |
DBLP DOI BibTeX RDF |
design patterns, aspect-oriented programming, refactoring |
| 1 | Zachary Tatlock, Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner |
Deep typechecking and refactoring. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
JPA query analysis, cross language refactoring, cross language typechecking |
| 1 | Sudipta Kundu, Sorin Lerner, Rajesh Gupta |
Validating High-Level Synthesis. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Erika Rice Scherpelz, Sorin Lerner, Craig Chambers |
Automatic inference of optimizer flow functions from semantic meanings. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner |
OPIUM: Optimal Package Install/Uninstall Manager. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Wen Voung, Ranjit Jhala, Sorin Lerner |
RELAY: static race detection on millions of lines of code. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
static analysis, race detection |
| 1 | Macneil Shonle, William G. Griswold, Sorin Lerner |
Beyond refactoring: a framework for modular maintenance of crosscutting design idioms. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
design patterns, refactoring |
| 1 | Sudipta Kundu, Sorin Lerner, Rajesh Gupta |
Automated refinement checking of concurrent systems. |
ICCAD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sorin Lerner, Todd D. Millstein, Craig Chambers |
Cobalt: A Language for Writing Provably-Sound Compiler Optimizations. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers |
Automated soundness proofs for dataflow analyses and transformations via local rules. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
automated correctness proofs, compiler optimization |
| 1 | Sorin Lerner, Todd D. Millstein, Craig Chambers |
Automatically proving the correctness of compiler optimizations. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
automated correctness proofs, compiler optimization |
| 1 | Manuvir Das, Sorin Lerner, Mark Seigle |
ESP: Path-Sensitive Program Verification in Polynomial Time. |
PLDI |
2002 |
DBLP DOI BibTeX RDF |
error detection, dataflow analysis, path-sensitive analysis |
| 1 | Sorin Lerner, David Grove, Craig Chambers |
Composing dataflow analyses and transformations. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer |
Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. |
SAS |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #28 of 28 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")