|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 195 occurrences of 88 keywords
|
|
|
|
|
Results
Found 98 publication records. Showing 98 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yingyi Bu, Bill Howe, Magdalena Balazinska, Michael D. Ernst |
The HaLoop approach to large-scale iterative data analysis.  |
VLDB J.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Colin S. Gordon, Michael D. Ernst, Dan Grossman |
Static lock capabilities for deadlock freedom. |
TLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Tip, Robert M. Fuhrer, Adam Kiezun, Michael D. Ernst, Ittai Balaban, Bjorn De Sutter |
Refactoring using type constraints. |
ACM Trans. Program. Lang. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst, Arvind Krishnamurthy, Thomas E. Anderson |
Mining temporal invariants from partially ordered logs. |
Operating Systems Review |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sai Zhang, David Saff, Yingyi Bu, Michael D. Ernst |
Combined static and dynamic automated test generation. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Robinson, Michael D. Ernst, Jeff H. Perkins, Vinay Augustine, Nuo Li |
Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sai Zhang, Cheng Zhang, Michael D. Ernst |
Automated documentation inference to explain failed tests. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst |
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Dietl, Michael D. Ernst, Peter Müller |
Tunable Static Inference for Generic Universe Types. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Bayne, Richard Cook, Michael D. Ernst |
Always-available static and dynamic feedback. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Kivanç Muslu, Todd W. Schiller |
Building and using pluggable type-checkers. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Spoto, Michael D. Ernst |
Inference of field initialization. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Beschastnikh, Yuriy Brun, Sigurd Schneider, Michael Sloan, Michael D. Ernst |
Leveraging existing instrumentation to automatically infer invariant-constrained models. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin |
Crystal: precise and unobtrusive conflict warnings. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Beschastnikh, Jenny Abrahamson, Yuriy Brun, Michael D. Ernst |
Synoptic: studying logged behavior with inferred models. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin |
Proactive detection of collaboration conflicts. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst |
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking. |
IEEE Trans. Software Eng. |
2010 |
DBLP DOI BibTeX RDF |
reliability, verification, Software testing, Web applications, dynamic analysis, PHP |
| 1 | Yingyi Bu, Bill Howe, Magdalena Balazinska, Michael D. Ernst |
HaLoop: Efficient Iterative Data Processing on Large Clusters. |
PVLDB |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michael D. Ernst |
How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback. |
TAP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoav Zibin, Alex Potanin, Paley Li, Mahmood Ali, Michael D. Ernst |
Ownership and immutability in generic Java. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael D. Ernst, Mahmood Ali |
Building and using pluggable type systems. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Todd W. Schiller, Michael D. Ernst |
Rethinking the economics of software engineering. |
FoSER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin |
Speculative analysis: exploring future development states of software. |
FoSER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst |
Parameter reference immutability: formal definition, inference tool, and comparison. |
Autom. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Reference immutability, Combined analysis, Definition, Readonly |
| 1 | Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst |
HAMPI: a solver for string constraints. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
string constraints, regular languages, context-free languages |
| 1 | Jeff H. Perkins, Sunghun Kim, Samuel Larsen, Saman P. Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Greg Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, Martin C. Rinard |
Automatically patching errors in deployed software. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
self healing |
| 1 | Adam Kiezun, Philip J. Guo, Karthick Jayaraman, Michael D. Ernst |
Automatic creation of SQL Injection and cross-site scripting attacks. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Danny Dig, John Marrero, Michael D. Ernst |
Refactoring sequential Java code for concurrency via concurrent libraries. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Danny Dig, John Marrero, Michael D. Ernst |
Concurrencer: A tool for retrofitting concurrency into sequential java applications via concurrent libraries. |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shay Artzi, Sunghun Kim, Michael D. Ernst |
ReCrashJ: a tool for capturing and reproducing program crashes in deployed applications. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
monitoring, tracing, unit test, reproducing, crash |
| 1 | Stephen McCamant, Michael D. Ernst |
Quantitative information flow as network flow capacity. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
implicit flow, dynamic analysis, information-flow analysis |
| 1 | Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst |
Finding bugs in dynamic web applications. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
software testing, web applications, dynamic analysis, php |
| 1 | Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst |
Practical pluggable types for java. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
igj, javari, pluggable type, java, verification, compiler, annotation, case study, type system, polymorphism, intern, type qualifier, bug finding, flow sensitivity, readonly, immutable, nonnull, javac |
| 1 | Mahmood Ali, Yoav Zibin, Matthew M. Papi, Michael D. Ernst |
Enforcing reference and object immutability in Java. |
OOPSLA Companion |
2008 |
DBLP DOI BibTeX RDF |
IGJ, java, verification, compiler, case study, type system, polymorphism, assignable, bug finding, flow-sensitive, readonly, immutability, mutable, javac |
| 1 | Matthew M. Papi, Mahmood Ali, Michael D. Ernst |
Compile-time type-checking for custom type qualifiers in java. |
OOPSLA Companion |
2008 |
DBLP DOI BibTeX RDF |
java, verification, compiler, annotation, type system, type qualifier, nonnull, javac |
| 1 | Matthew M. Papi, Mahmood Ali, Michael D. Ernst |
Compile-time type-checking for custom type qualifiers in Java. |
OOPSLA Companion |
2008 |
DBLP DOI BibTeX RDF |
java, verification, compiler, annotation, type system, type qualifier, nonnull, javac |
| 1 | Jaime Quinonez, Matthew S. Tschantz, Michael D. Ernst |
Inference of Reference Immutability. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shay Artzi, Sunghun Kim, Michael D. Ernst |
ReCrash: Making Software Failures Reproducible by Preserving Object States. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
test generation, object, failure, Fault, bug, replay, reproducing, capture, crash |
| 1 | Michael D. Ernst, Jeff H. Perkins, Philip J. Guo, Stephen McCamant, Carlos Pacheco, Matthew S. Tschantz, Chen Xiao |
The Daikon system for dynamic detection of likely invariants. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen McCamant, Michael D. Ernst |
A simulation-based proof technique for dynamic information flow. |
PLAS |
2007 |
DBLP DOI BibTeX RDF |
implicit flow, dynamic analysis, information-flow analysis |
| 1 | Shay Artzi, Adam Kiezun, David Glasser, Michael D. Ernst |
Combined static and dynamic mutability analysis. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
reference immutability, readonly |
| 1 | Matthew M. Papi, Michael D. Ernst |
Compile-time type-checking for custom type qualifiers in Java. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
Java, verification, compiler, annotation, type system, type qualifier, NonNull, javac |
| 1 | Carlos Pacheco, Michael D. Ernst |
Randoop: feedback-directed random testing for Java. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
Java, random testing, automatic test generation |
| 1 | Telmo Luis Correa Jr., Jaime Quinonez, Michael D. Ernst |
Tools for enforcing and inferring reference immutability in Java. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
Javari, Java, verification, type system, assignable, side effects, readonly, immutability, mutable |
| 1 | Matthew M. Papi, Michael D. Ernst |
Compile-time type-checking for custom type qualifiers in Java. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
Java, verification, compiler, annotation, type system, type qualifier, NonNull, javac |
| 1 | Adam Kiezun, Michael D. Ernst, Frank Tip, Robert M. Fuhrer |
Refactoring for Parameterizing Java Classes. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball |
Feedback-Directed Random Test Generation. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst |
Object and reference immutability using java generics. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
IGJ, const, java, generic, readonly, immutability |
| 1 | Sunghun Kim, Michael D. Ernst |
Which warnings should I fix first? |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
bug-finding tool, prediction, patterns, fault, bug, fix |
| 1 | Sunghun Kim, Michael D. Ernst |
Prioritizing Warning Categories by Analyzing Software History. |
MSR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard |
Inference and enforcement of data structure consistency specifications. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
data structure repair, dynamic invariant detection |
| 1 | Philip J. Guo, Jeff H. Perkins, Stephen McCamant, Michael D. Ernst |
Dynamic inference of abstract types. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
mixed-level analysis, values and variables, Java, interaction, C++, C, dynamic analysis, type inference, abstract types, units |
| 1 | Marcelo d'Amorim, Carlos Pacheco, Tao Xie, Darko Marinov, Michael D. Ernst |
An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing. |
ASE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll |
An overview of JML tools and applications. |
STTT |
2005 |
DBLP DOI BibTeX RDF |
Assertion checking, Java, Formal specification, Program verification, Design by Contract |
| 1 | David Saff, Shay Artzi, Jeff H. Perkins, Michael D. Ernst |
Automatic test factoring for java. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
test factoring, unit testing, mock objects |
| 1 | Michael D. Ernst, Thomas P. Jensen (eds.) |
Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal, September 5-6, 2005 |
PASTE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Shay Artzi, Michael D. Ernst |
Using predicate fields in a highly flexible industrial control system. |
OOPSLA Companion |
2005 |
DBLP DOI BibTeX RDF |
experimental control system, predicate fields, structure, classifiers, predicates, user interface development |
| 1 | Matthew S. Tschantz, Michael D. Ernst |
Javari: adding reference immutability to Java. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
Javari, Java, verification, type system, assignable, readonly, immutability, mutable |
| 1 | Carlos Pacheco, Michael D. Ernst |
Eclat: Automatic Generation and Classification of Test Inputs. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Amy Williams, William Thies, Michael D. Ernst |
Static Deadlock Detection for Java Libraries. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael D. Ernst |
The Groupthink Specification Exercise. |
Software Education and Training Sessions @ ICSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Saff, Michael D. Ernst |
Test factoring: focusing test suites for the task at hand. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
test factoring, unit testing, mock objects |
| 1 | Michael D. Ernst, John Chapin |
The groupthink specification exercise. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Saff, Michael D. Ernst |
Continuous testing in eclipse. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
continuous testing, testing, development environments |
| 1 | David Saff, Michael D. Ernst |
Continuous Testing in Eclipse. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch |
Using simulated execution in verifying distributed algorithms. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Invariant detection, Static analysis, Theorem proving, Dynamic analysis |
| 1 | Lee Lin, Michael D. Ernst |
Improving the adaptability of multi-mode systems via program steering. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
mode selection, multi-mode systems, program steering, adaptability |
| 1 | David Saff, Michael D. Ernst |
An experimental evaluation of continuous testing during development. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
continuous compilation, continuous testing, test-first development, unit testing |
| 1 | David Saff, Michael D. Ernst |
Mock object creation for test factoring. |
PASTE |
2004 |
DBLP DOI BibTeX RDF |
test factoring, unit testing, mock objects |
| 1 | Michael D. Ernst |
Invited Talk Static and dynamic analysis: synergy and duality. |
PASTE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Donovan, Adam Kiezun, Matthew S. Tschantz, Michael D. Ernst |
Converting java programs to use generic libraries. |
OOPSLA |
2004 |
DBLP DOI BibTeX RDF |
JSR-14, Java 1.5, Java 5, instantiation types, raw types, type inference, parametric polymorphism, generic types, parameterized types |
| 1 | Adrian Birka, Michael D. Ernst |
A practical type system and language for reference immutability. |
OOPSLA |
2004 |
DBLP DOI BibTeX RDF |
Javari, const, Java, verification, type system, readonly, immutability, mutable |
| 1 | Stephen McCamant, Michael D. Ernst |
Early Identification of Incompatibilities in Multi-component Upgrades. |
ECOOP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuriy Brun, Michael D. Ernst |
Finding Latent Code Errors via Machine Learning over Program Executions. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff H. Perkins, Michael D. Ernst |
Efficient incremental algorithms for dynamic detection of likely invariants. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
batch algorithm, reversing optimizations, incremental algorithm, dynamic invariant detection |
| 1 | Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll |
An overview of JML tools and applications. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan E. Cook, Michael D. Ernst |
Summary: ICSE workshop on dynamic analysis (WODA 2003). |
ACM SIGSOFT Software Engineering Notes |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David Saff, Michael D. Ernst |
Reducing wasted development time via continuous testing. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch |
Using Simulated Execution in Verifying Distributed Algorithms. |
VMCAI |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Harder, Jeff Mellen, Michael D. Ernst |
Improving Test Suites via Operational Abstraction. (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan E. Cook, Michael D. Ernst |
ICSE Workshop on Dynamic Analysis (WODA 2003). (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen McCamant, Michael D. Ernst |
Predicting problems caused by component upgrades. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
software components, software upgrades, specification matching |
| 1 | Michael D. Ernst, Greg J. Badros, David Notkin |
An Empirical Analysis of C Preprocessor Use. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
C preprocessor, macro substitution, file inclusion, C++, empirical study, C, program understanding, macro, conditional compilation, Cpp |
| 1 | Elizabeth L. Wilmer, Michael D. Ernst |
Graphs induced by Gray codes. |
Discrete Mathematics |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy W. Nimmer, Michael D. Ernst |
Automatic generation of program specifications. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy W. Nimmer, Michael D. Ernst |
Invariant inference for static checking. |
SIGSOFT FSE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin |
Dynamically Discovering Likely Program Invariants to Support Program Evolution. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
pattern recognition, formal specification, software evolution, dynamic analysis, execution traces, logical inference, Program invariants |
| 1 | Jeremy W. Nimmer, Michael D. Ernst |
Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshio Kataoka, Michael D. Ernst, William G. Griswold, David Notkin |
Automated Support for Program Refactoring Using Invariants. (PDF / PS) |
ICSM |
2001 |
DBLP DOI BibTeX RDF |
static analysis, refactoring, dynamic analysis, invariant, program understanding, maintainability, readability |
| 1 | Michael D. Ernst |
Summary of Dynamically Discovering Likely Program Invariants. (PDF / PS) |
ICSM |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | David Notkin, Marc Donner, Michael D. Ernst, Michael M. Gorlick, E. James Whitehead Jr. |
Panel: Perspectives on Software Engineering. |
ICSE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Michael D. Ernst, Adam Czeisler, William G. Griswold, David Notkin |
Quickly detecting relevant program invariants. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin |
Dynamically Discovering Likely Program Invariants to Support Program Evolution. |
ICSE |
1999 |
DBLP BibTeX RDF |
pattern recognition, formal specification, software evolution, dynamic analysis, execution traces, logical inference, program invariants |
| 1 | Michael D. Ernst |
Research Summary for Dynamic Detection of Program Invariants. |
ICSE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Michael D. Ernst, Craig S. Kaplan, Craig Chambers |
Predicate Dispatching: A Unified Theory of Dispatch. |
ECOOP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael D. Ernst, Todd D. Millstein, Daniel S. Weld |
Automatic SAT-Compilation of Planning Problems. |
IJCAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | Michael D. Ernst (eds.) |
Proceedings ACM SIGPLAN Workshop on Intermediate Representations (IR'95), San Francisco, CA, USA, January 22, 1995 |
Intermediate Representations Workshop |
1995 |
DBLP BibTeX RDF |
|
| 1 | Daniel Weise, Roger F. Crew, Michael D. Ernst, Bjarne Steensgaard |
Value Dependence Graphs: Representation without Taxation. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #98 of 98 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")