Programming Languages & Software Engineering       

links

Programming Languages & Software Engineering Publications



2016

X10 and APGAS at Petascale
Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri, Wei Zhang
j-TOPC 2(4), 25:1--25:32, 2016
Abstract


2014

Friendly Barriers: Efficient Work-stealing with Return Barriers
Vivek Kumar, Stephen M. Blackburn, David Grove
Proceedings of the 10th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, pp. 165--176, ACM, 2014

GLB: Lifeline-based Global Load Balancing Library in X10
Wei Zhang, Olivier Tardieu, David Grove, Benjamin Herta, Tomio Kamada, Vijay Saraswat, Mikio Takeuchi
Proceedings of the First Workshop on Parallel Programming for Analytics Applications, pp. 31--40, ACM, 2014
Abstract

Resilient x10: Efficient failure-aware programming
David Cunningham, David Grove, Benjamin Herta, Arun Iyengar, Kiyokuni Kawachiya, Hiroki Murata, Vijay Saraswat, Mikio Takeuchi, Olivier Tardieu
Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of parallel programming, pp. 67--80, ACM, 2014


2013

The Liquid Metal Blokus Duo Design
Erik R. Altman, Joshua S. Auerbach, David F. Bacon, Ioana Baldini, Perry Cheng, Stephen J. Fink, Rodric M. Rabbah
International Conference on Field-Programmable Technology, pp. 490-493, 2013
Abstract

Java interoperability in managed X10
Mikio Takeuchi, David Cunningham, David Grove, Vijay Saraswat
Proceedings of the third ACM SIGPLAN X10 Workshop, pp. 39--46, ACM, 2013

FPGA Programming for the Masses
David F. Bacon, Rodric Rabbah, Sunil Shukla
Communications of the ACM 56(4), 56--63, ACM, 2013

Technique for Compiling and Running High-Level Programs on Heterogeneous Computers
Joshua S Auerbach, David F Bacon, Perry S Cheng, Rodric Rabbah
US Patent 20,130,036,409

The Shape of Things to Run
Josh Auerbach, Dave F Bacon, Perry Cheng, Steve Fink, Rodric Rabbah
Proceedings of the European Conference on Object-Oriented Programming (ECOOP), pp. 679--706, Springer, 2013

Dynamic Determinacy Analysis
Max Schaefer and Manu Sridharan and Julian Dolby and Frank Tip
PLDI, 2013
Abstract

Thresher: Precise Refutations for Heap Reachability
Sam Blackshear and Bor-Yuh Evan Chang and Manu Sridharan
PLDI, 2013
Abstract

Efficient Construction of Approximate Call Graphs for JavaScript IDE Services
Asger Feldthaus and Max Schaefer and Manu Sridharan and Julian Dolby and Frank Tip
ICSE, 2013
Abstract

Research Highlight: And then There Were None: A Stall-free Real-time Garbage Collector for Reconfigurable Hardware
David F. Bacon, Perry Cheng, Sunil Shukla
Communications of the ACM 56(12), 101--109, ACM, 2013


2012

And Then There Were None: A Stall-Free Real-Time Garbage Collector for Reconfigurable Hardware
David F. Bacon, Perry Cheng, Sunil Shukla
Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation, pp. 23--34, ACM, 2012
Abstract

Enhancing Javascript with Transactions
Mohan Dhawan, Chung-chieh Shan, Vinod Ganapathy
26th European Conference on Object-Oriented Programming (ECOOP'12), pp. 383--408, Springer, 2012

Fathom: A Browser-based Network Measurement Platform
Mohan Dhawan, Justin Samuel, Renata Teixeira, Christian Kreibich, Mark Allman, Nicholas Weaver, Vern Paxson
12th ACM Conference on Internet Measurement Conference (IMC'12), pp. 73--86, 2012

Priv3: A Third Party Cookie Policy
Mohan Dhawan, Christian Kreibich, Nicholas Weaver
W3C Workshop: Do Not Track and Beyond, 2012

An Analysis of the Mozilla Jetpack Extension Framework
Rezwana Karim, Mohan Dhawan, Vinod Ganapathy, Chung-chieh Shan
26th European Conference on Object-Oriented Programming (ECOOP'12), pp. 333--355, Springer, 2012

Work-stealing without the baggage
V. Kumar, D. Frampton, S.M. Blackburn, D. Grove, O. Tardieu
Proceedings of the ACM international conference on Object oriented programming systems languages and applications, OOPLSA'12, pp. 297--314, 2012

Correlation Tracking for Points-to Analysis of Javascript
M. Sridharan, J. Dolby, S. Chandra, M. Schaefer, F. Tip
European Conference on Object Oriented Programming (ECOOP), pp. 435--458, Springer, 2012
Abstract

Alternate and Learn: Finding Witnesses without looking all over
N. Sinha, N. Singhania, S. Chandra, M. Sridharan
Computer Aided Verification (CAV), pp. 599-615, 2012
Abstract

Race detection for web applications
B. Petrov, M. Vechev, M. Sridharan, J. Dolby
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation, pp. 251--262, 2012
Abstract

SatX10: a scalable plug & play parallel SAT framework
Bard Bloom, David Grove, Benjamin Herta, Ashish Sabharwal, Horst Samulowitz, Vijay Saraswat
Proceedings of the 15th international conference on Theory and Applications of Satisfiability Testing, pp. 463--468, Springer-Verlag, 2012

Extraction of Functional Semantics and Isolated Dataflow from Imperative Object Oriented Languages
Joshua S Auerbach, David F Bacon, Perry S Cheng, Rodric Rabbah
US Patent 20,120,054,718

Compiling a high-level language for GPUs:(via language support for architectures and compilers)
C. Dubach, P. Cheng, R. Rabbah, D.F. Bacon, S.J. Fink
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI), pp. 1--12, 2012

A compiler and runtime for heterogeneous computing
Joshua Auerbach, David F. Bacon, Ioana Burcea, Perry Cheng, Stephen J. Fink, Rodric Rabbah, Sunil Shukla
Proceedings of the 49th Annual Design Automation Conference (DAC), pp. 271--276, ACM, 2012
Abstract

Compiling a High-Level Language for GPUs (via Language Support for Architectures and Compilers)
Christophe Dubach, Perry Cheng, Rodric Rabbah, David F. Bacon, Stephen J. Fink
Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation, pp. 1--11, ACM, 2012
Abstract

A Stall-Free Real-Time Garbage Collector for FPGAs
David F. Bacon, Perry Cheng, Sunil Shukla
The Second Workshop on the Intersections of Computer Architecture and Reconfigurable Logic, 2012
Abstract   (slides)

Predicting Your Own Effort
David F. Bacon, Yiling Chen, Ian Kash, David Parkes, Malvika Rao, Manu Sridharan
Proceedings of the Eleventh International Conference on Autonomous Agents and Multi-agent Systems, 2012
Abstract   Best paper award


2011

Atlantis: Robust, Extensible Execution Environments for Web Applications
James Mickens, Mohan Dhawan
23rd ACM Symposium on Operating Systems Principles (SOSP'11), pp. 217--231, 2011

A performance model for X10 applications: what's going on under the hood?
D. Grove, O. Tardieu, D. Cunningham, B. Herta, I. Peshansky, V. Saraswat
Proceedings of the 2011 ACM SIGPLAN X10 Workshop, pp. 1:1--1:8

Refactoring Java Programs for Flexible Locking
Max Schaefer, Manu Sridharan, Julian Dolby, Frank Tip
International Conference on Software Engineering (ICSE), pp. 71--80, 2011

The Flow-Insensitive Precision of Andersen's Analysis in Practice
S Blackshear, B Y Chang, S Sankaranarayanan, M Sridharan
Static Analysis, 60--76, Springer, 2011

F4F: taint analysis of framework-based web applications
M Sridharan, S Artzi, M Pistoia, S Guarnieri, O Tripp, R Berg
Object-Oriented Programming, Systems Languages & Applications, pp. 1053--1068, 2011

Virtualization of heterogeneous machines hardware description in a synthesizable object-oriented language
JS Auerbach, DM Bacon, P Cheng, RM Rabbah, and S Shukla
Proceedings of the 48th Annual Design Automation Conference (DAC), 2011

Virtualization of Heterogeneous Machines: Hardware Description in a Synthesizable Object-Oriented Language
Joshua Auerbach, David F. Bacon, Perry Cheng, Rodric Rabbah, Sunil Shukla
Proceedings of the 48th Design Automation Conference, pp. 890--894, ACM, 2011
Abstract   (slides)

Virtualization in the Age of Heterogeneous Machines (Keynote)
David F. Bacon
Proceedings of the Seventh ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, pp. 1--2, ACM, 2011
Abstract   (slides)

Lifeline-based global load balancing
Vijay A Saraswat, Prabhanjan Kambadur, Sreedhar Kodali, David Grove, Sriram Krishnamoorthy
Proceedings of the 16th ACM symposium on Principles and Practice of Parallel Programming (PPoPP), pp. 201--212, ACM, 2011
Abstract

X10 as a parallel language for scientific computation: practice and experience
Josh Milthorpe, V Ganesh, Alistair P Rendell, David Grove
IEEE International Parallel and Distributed Processing Symposium, pp. 1080--1088, IEEE, 2011
Abstract

Communication Optimizations for Distributed-Memory X10 Programs
Rajkishore Barik, Jisheng Zhao, David Grove, Igor Peshansky, Zoran Budimlic, Vivek Sarkar
Proceedings of the 25th IEEE International Parallel and Distributed Processing Symposium, IEEE, 2011


2010

The Case for JavaScript Transactions: Position Paper
Mohan Dhawan, Chung-chieh Shan, Vinod Ganapathy
5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS'10), pp. 6, 2010

The Asynchronous Partitioned Global Address Space Model
V. Saraswat, G. Almasi, G. Bikshandi, C. Cascaval, D. Cunningham, D. Grove, S. Kodali, I. Peshansky, O. Tardieu
AMP'10: Proceedings of The First Workshop on Advances in Message Passing, 2010

Lime: The Liquid Metal Programming Language --- Language Reference Manual
Joshua Auerbach, David F. Bacon, Perry Cheng, Rodric Rabbah
Technical Report RC25004, IBM, 2010
version 2.0

Software Economies
David F. Bacon, Eric Bokelberg, Yiling Chen, Ian A. Kash, David C. Parkes, Malvika Rao, Manu Sridharan
Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research, pp. 7--12, ACM, 2010
Abstract   (slides)

Lime: a Java-compatible and Synthesizable Language for Heterogeneous Architectures
Joshua Auerbach, David F. Bacon, Perry Cheng, Rodric Rabbah
Proceedings of the ACM International Conference on Object-Oriented Programming Systems, Languages, and Applications, pp. 89--108, ACM, 2010
Abstract

A Compiler Framework for Restructuring Data Declarations to Enhance Cache and TLB Effectiveness
David F. Bacon, Jyh-Herng Chow, Dz-Ching R. Ju, Kalyan Muthukumar, Vivek Sarkar
CASCON First Decade High Impact Papers, pp. 146--158, ACM, 2010
Abstract

Lime: a Java-compatible and synthesizable language for heterogeneous architectures
Joshua Auerbach, David F Bacon, Perry Cheng, Rodric Rabbah
Proceedings of the ACM International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pp. 89--108, ACM, 2010
Abstract

Lime language manual (version 2.0)
J Auerbach, DF Bacon, P Cheng, R Rabbah
IBM Tech. Rep. RC-25004, 2010

PHALANX: parallel checking of expressive heap assertions
M Vechev, E Yahav, G Yorsh
Proceedings of the 2010 international symposium on Memory management, pp. 41--50

Verifying safety properties of concurrent heap-manipulating programs
E Yahav, M Sagiv
ACM Transactions on Programming Languages and Systems (TOPLAS) 32(5), 1--50, ACM, 2010

Abstraction-guided synthesis of synchronization
M Vechev, E Yahav, G Yorsh
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 327--338, 2010

Correct Refactoring of Concurrent Java Code
Max Schaefer, Julian Dolby, Manu Sridharan, Frank Tip, Emina Torlak
European Conference on Object-Oriented Programming (ECOOP), pp. 225--249, Springer, 2010

Detecting Inefficiently-Used Containers to Avoid Bloat
G Xu, A Rountev
2010 ACM Conference on Programming Language Design and Implementation (PLDI), ACM

Finding Low-Utility Data Structures
G Xu, N Mitchell, M Arnold, A Rountev, E Schonberg, G Sevitsky
2010 ACM SIGPLAN conference on Programming language design and implementation (PLDI), pp. 174--186, ACM

Making Defect-Finding Tools Work For You
M. G. Nanda, M. Gupta, S. Sinha, S. Chandra, D. Schmidt, P. Balachandran
International Conference on Software Engineering (ICSE), Software Engineering in Practice track, pp. 99--108, ACM, 2010
Abstract

Four trends leading to Java runtime bloat
N Mitchell, E Schonberg, G Sevitsky
IEEE software 27(1), 56--63, 2010

MemSAT: Checking axiomatic specifications of memory models
E Torlak, M Vaziri, J Dolby
PLDI'10, 2010

Effective Interprocedural Resource Leak Detection
E. Torlak and S. Chandra
International Conference on Software Engineering (ICSE), ACM, 2010

Programming with Angelic Nondeterminism
R. Bodik, S. Chandra, J. Galenson, D. Kimelman, N. Tung, S. Barman, C. Rodarmor
ACM Symposium on Principles of Programming Languages (POPL), pp. 339--352, ACM, 2010

Observations on Tuning a Java Enterprise Application for Performance and Scalability
Erik Altman, Matthew Arnold, Rajesh Bordawekar, Robert Delmonico, Nick Mitchell, Peter F. Sweeney
IBM Journal of Research and Development 54(5), 2, IBM, 2010


2009

Analyzing Information Flow in JavaScript-based Browser Extensions
Mohan Dhawan, Vinod Ganapathy
25th AnnualComputer Security Applications Conference (ACSAC'09), pp. 382--391, 2009

Scaling CFL-reachability-based points-to analysis using context-sensitive must-not-alias analysis
G Xu, A Rountev, M Sridharan
European Conference on Object-Oriented Programming, pp. 98--122, 2009

The Complexity of Andersen's Analysis in Practice
Manu Sridharan, Stephen J. Fink
The 16th International Static Analysis Symposium (SAS), 2009

A Market-Based Approach to Software Evolution
David F. Bacon, Yiling Chen, David Parkes, Malvika Rao
Companion to the 24th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 973--980, ACM, 2009
Abstract   (slides)

Minimizing Dependencies within Generic Classes for Faster and Smaller Programs
Dan Tsafrir, Robert W. Wisniewski, David F. Bacon, Bjarne Stroustrup
Proceedings of the 24th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 425--444, ACM, 2009
Abstract

Avoiding Unbounded Priority Inversion in Barrier Protocols using Gang Priority Management
Harald R"ock, Joshua Auerbach, Christoph M. Kirsch, David F. Bacon
Proceedings of the Seventh International Workshop on Java Technologies for Real-Time and Embedded Systems, pp. 70--79, ACM, 2009
Abstract

A Computing Origami: Folding Streams in FPGAs
Andrei Hagiescu, Weng-Fai Wong, David F. Bacon, Rodric Rabbah
Proceedings of the 46th Annual Design Automation Conference (DAC), pp. 282--287, ACM, 2009
Abstract

PTIDES on Flexible Task Graph: Real-Time Embedded System Building from Theory to Practice
Jia Zou, Joshua Auerbach, David F. Bacon, Edward A. Lee
Proceedings of the ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, pp. 31--40, ACM, 2009
Abstract

Low-Latency Time-Portable Real-Time Programming with Exotasks
Joshua Auerbach, David F. Bacon, Daniel Iercan, Christoph M. Kirsch, V. T. Rajan, Harald R"ock, Rainer Trummer
ACM Transactions on Embedded Computing Systems 8(2), 1--48, ACM, 2009
Abstract

Chameleon: Adaptive selection of collections
O Shacham, M Vechev, E Yahav
Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation, pp. 408--418

Experience with model checking linearizability
M Vechev, E Yahav, G Yorsh
Model Checking Software, 261--278, Springer, 2009

Copy-on-Write in the PHP Language
Akihiko Tozawa, Michiaki Tatsubori, Tamiya Onodera, Yasuhiko Minamide
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2009), Savannah, Georgia, USA, January 21-23, 2009, pp. 200-212, ACM

Inferring synchronization under limited observability
M Vechev, E Yahav, G Yorsh
Tools and Algorithms for the Construction and Analysis of Systems, 139--154, Springer, 2009

Software hardening: a research agenda
T Wrigstad, P Eugster, J Field, N Nystrom, J Vitek
Proceedings for the 1st workshop on Script to Program Evolution, pp. 58--70, 2009

Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications
J Field, M C Marinescu, C Stefansen
Coordination Models and Languages, pp. 76--95, Elsevier Science Publishers Ltd., 2009

Gaining insight into programs that analyze programs: by visualizing the analyzed program
Agastya Nanda, Mangala Gowri Nanda
Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, pp. 1023--1030, ACM, 2009

Refactoring for reentrancy
J Wloka, M Sridharan, F Tip
The Seventh Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), pp. 173--182, 2009

Making sense of large heaps
N Mitchell, E Schonberg, G Sevitsky
Proceedings of the 23rd European Conference on ECOOP 2009---Object-Oriented Programming, pp. 77--97, Springer

Go with the flow: profiling copies to find runtime bloat
G Xu, M Arnold, N Mitchell, A Rountev, G Sevitsky
Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation, pp. 419--430

Thorn: Robust, concurrent, extensible scripting on the JVM
B Bloom, J Field, N Nystrom, J Ostlund, G Richards, R Strnisa, J Vitek, T Wrigstad
Conf. on Object Oriented Programming, Systems, Languages, and Applications, pp. 117-136, 2009

Demystifying magic: high-level low-level programming
Daniel Frampton, Stephen M Blackburn, Perry Cheng, Robin J Garner, David Grove, Eliot J B Moss, Sergey I Salishev
VEE '09: Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments, pp. 81--90, ACM
Abstract

Snugglebug: A Powerful Approach to Weakest Preconditions
S. Chandra, S. Fink, M. Sridharan
ACM Conference on Programming Language Design and Implementation (PLDI), pp. 363--374, ACM, 2009

TAJ: effective taint analysis of web applications
Omer Tripp, Marco Pistoia, Stephen J Fink, Manu Sridharan, Omri Weisman
Programming Language Design and Implementation, pp. 87--97, ACM, 2009

Flextream: Adaptive Compilation of Streaming Applications for Heterogeneous Architectures
A H Hormati, Y Choi, M Kudlur, R Rabbah, T Mudge, S Mahlke
Proceedings of the 18th International Conference on Parallel Architectures and Compilation Techniques (PACT), pp. 214--223, 2009

Ferret: Programming language support for multiple dynamic classification
B Bloom, P Keyser, I Simmonds, M Wegman
Computer Languages, Systems \& Structures 35(3), 306--321, Elsevier, 2009


2008

Enforcing Authorization Policies using Transactional Memory Introspection
Arnar Birgisson, Mohan Dhawan, Ulfar Erlingsson, Vinod Ganapathy, Liviu Iftode
15th ACM Conference on Computer and Communications Security (CCS'08), pp. 223--234, 2008

Secure Delegation for Web 2.0 and Mashups
P.Austel S. Bhola, S. Chari, L. Koved, M. McIntosh, M. Steiner, S. Weber
Web 2.0 Security and Privacy, Citeseer, 2008

Secure Delegation for Web 2.0 and Mashups
S Chari, L Koved, M Mcintosh, M Steiner, S Weber
W2SP 2008: Web 2.0 Security and Privacy

SWORD4J: Security WORkbench Development environment 4 Java
Ted Habeck; Larry Koved; Marco Pistoia
IBM Research Report RC24554, P.O. Box 704, Yorktown Heights, NY 10598, IBM T. J. Watson Research Center, 2008

Tax-and-Spend: Democratic Scheduling for Real-Time Garbage Collection
Joshua Auerbach, David F. Bacon, Perry Cheng, David Grove, Ben Biron, Charlie Gracie, Bill McCloskey, Aleksandar Micic, Ryan Sciampacone
Proceedings of the 8th ACM International Conference on Embedded Software, pp. 245--254, ACM, 2008
Abstract

Languages and Performance Engineering: Method, Instrumentation, and Pedagogy
Doug Lea, David F. Bacon, David Grove
Proceedings of the 2008 SIGPLAN Workshop on Programming Language Curriculum, pp. 87--92, ACM
Abstract

Staccato: A Parallel and Concurrent Real-time Compacting Garbage Collector for Multiprocessors
Bill McCloskey, David F. Bacon, Perry Cheng, David Grove
Technical Report RC24504, 2008
Abstract

Optimus: Efficient Realization of Streaming Applications on FPGAs
Amir Hormati, Manjunath Kudlur, Scott Mahlke, David F. Bacon, Rodric Rabbah
Proceedings of the International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES), pp. 41--50, ACM, 2008
Abstract

Flexible Task Graphs: a Unified Restricted Thread Programming Model for Java
Joshua Auerbach, David F. Bacon, Rachid Guerraoui, Jesper Honig Spring, Jan Vitek
Proceedings of the ACM SIGPLAN-SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, pp. 1--11, ACM, 2008
Abstract

On the complexity of partially-flow-sensitive alias analysis
N Rinetzky, G Ramalingam, M Sagiv, E Yahav
ACM Transactions on Programming Languages and Systems (TOPLAS) 30(3), 1--28, ACM, 2008

Establishing Local Temporal Heap Safety Propertieswith Applications to
C Memory, E Yahav, E K Kolodner, M Sagiv
2008 - en.scientificcommons.org

Effective typestate verification in the presence of aliasing
Stephen Fink, Eran Yahav, Nurit Dor, Ramalingam, and Emmanuel Geay
Transactions on Software Engineering and Methodology (TOSEM) 17(2), 2008

Static Specification Mining Using Automata-Based Abstractions
Sharon Shoham, Eran Yahav, Stephen J. Fink, Marco Pistoia
IEEE Transactions on Software Engineering 34(5), 2008

Modular verification with shared abstractions
U Juhasz, N Rinetzky, A Poetzsch-Heffter, M Sagiv, E Yahav
Heffter, M Sagiv, E ... - 2008 - cs.tau.ac.il, Tech. rep.(in preperation), Tel Aviv University, 2008

Deriving linearizable fine-grained concurrent objects
M Vechev, E Yahav
2008 - portal.acm.org

The CLOSER: Automating Resource Management in Java
I. Dillig, T. Dillig, E. Yahav, S. Chandra
International Symposium on Memory Management (ISMM), pp. 1--10, 2008

Verifying Dereference Safety via Expanding-Scope Analysis
A. Loginov, E. Yahav, S. Chandra, S. Fink, N. Rinetzky, M. Nanda
International Symposium on Software Testing and Analysis (ISSTA), pp. 213--224, ACM, 2008
Abstract

Generating Precise and Concise Procedure Summaries
G. Yorsh, E. Yahav, S. Chandra
ACM Symposium on Principles of Programming Languages (POPL), pp. 221--234, 2008

QVM: An efficient runtime for detecting defects in deployed systems
M Arnold, M Vechev, E Yahav
ACM SIGPLAN Notices 43(10), 143--162, ACM, 2008

Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary
Shan Shan Huang, Amir Hormati, David F. Bacon, Rodric Rabbah
Proceedings of the 22nd European Conference on Object-Oriented Programming (ECOOP), pp. 76--103, Springer-Verlag, 2008
Abstract


2007

TuningFork: a Platform for Visualization and Analysis of Complex Real-Time Systems
David F. Bacon, Perry Cheng, David Grove
Companion to the 22nd ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 854--855, ACM, 2007
Abstract

Generational Real-Time Garbage Collection: A Three-Part Invention for Young Objects
Daniel Frampton, David F. Bacon, Perry Cheng, David Grove
Proceedings of the 21st European Conference on Object-Oriented Programming, pp. 101--125, Springer, 2007
Abstract

The ExoVM System for Automatic VM and Application Reduction
Ben L. Titzer, Joshua Auerbach, David F. Bacon, Jens Palsberg
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 352--362, ACM, 2007
Abstract

Realtime Garbage Collection
David F. Bacon
Queue 5(1), 40--49, ACM, 2007
Abstract

Real-Time Music Synthesis in Java Using the Metronome Garbage Collector
Joshua Auerbach, David F. Bacon, Florian B"omers, Perry Cheng
Proceedings of the International Computer Music Conference, 2007
Abstract   (slides)

Ownership You Can Count On: A Hybrid Approach to Safe Explicit Memory Management
Adam Dingle, David F. Bacon
Unpublished, 2007
Abstract   Unpublished

Java Takes Flight: Time-Portable Real-Time Programming with Exotasks
Joshua Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald R"ock, Rainer Trummer
Proceedings of the ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, pp. 51--62, ACM, 2007
Abstract   (slides)

Design and Implementation of a Comprehensive Real-Time Java Virtual Machine
Joshua Auerbach, David F. Bacon, Bob Blainey, Perry Cheng, Michael Dawson, Mike Fulton, David Grove, Darren Hart, Mark Stoodley
Proceedings of the Seventh ACM/IEEE International Conference on Embedded Software, pp. 249--258, ACM, 2007
Abstract

Abstract counterexample-based refinement for powerset domains
R Manevich, J Field, T Henzinger, G Ramalingam, M Sagiv
Program Analysis and Compilation, Theory and Practice, 273--292, Springer, 2007

The History of Self
D Ungar, R B Smith
Proceedings of the third ACM SIGPLAN conference on History of programming languages, pp. 9--50, 2007

Modular Shape Analysis for Dynamically Encapsulated Programs
A Poetzsch
Heffter, G Ramalingam, M Sagiv, E Yahav - LECTURE NOTES IN COMPUTER SCIENCE, 2007 - Springer

Fast online pointer analysis
M Hirzel, D Von Dincklage, A Diwan, M Hind
ACM Transactions on Programming Languages and Systems ( …, 2007 - portal.acm.org

Cartesian Partial-Order Reduction
G Gueta, C Flanagan, E Yahav, M Sagiv
LECTURE NOTES IN COMPUTER SCIENCE, 2007 - Springer

A Survey of Static Analysis Methods for Identifying Security Vulnerabilities in Software Systems
M. Pistoia, S. Chandra, S. J. Fink, E. Yahav
IBM Systems Journal 46(2), 265--288, IBM Corp., 2007

Comparison Under Abstraction for Verifying Linearizability
D Amit, N Rinetzky, T Reps, M Sagiv, E Yahav
LECTURE NOTES IN COMPUTER SCIENCE, 2007 - Springer

An efficient on-the-fly cycle collection
Harel Paz, David F Bacon, Elliot K Kolodner, Erez Petrank, VT Rajan
Compiler Construction, pp. 20, ACM, 2007
Abstract   (slides)

Declarative Object Identity Using Relation Types
M Vaziri, F Tip, S Fink, J Dolby
Proceedings of the 21st European Conference on Object-Oriented Programming (ECOOP'2007), pp. 54-78

CGCExplorer: a Semi-Automated Search Procedure for Provably Correct Concurrent Collectors
Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 456--467, ACM, 2007
Abstract

Object-oriented analysis and design with applications
G Booch, R Maksimchuk, M Engle, B Young, J Conallen, K Houston
2007 - portal.acm.org, Addison-Wesley Professional


2006

INTELLECT: INTErmediate-Language LEvel C Translator
S K Jain, G Marceau, X Zhang, L Koved, T Jaeger
Technical Report, 2006

The case for analysis preserving language transformation
X Zhang, L Koved, M Pistoia, S Weber, T Jaeger, G Marceau, L Zeng
Proceedings of the 2006 international symposium on Software testing and analysis, pp. 202, ACM
Abstract

Correctness-Preserving Derivation of Concurrent Garbage Collection Algorithms
Martin T. Vechev, Eran Yahav, David F. Bacon
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 341--353, ACM, 2006
Abstract   (slides)

Eventrons: a Safe Programming Construct for High-Frequency Hard Real-Time Applications
Daniel Spoonhower, Joshua Auerbach, David F. Bacon, Perry Cheng, David Grove
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 283--294, ACM, 2006
Abstract

Braids and Fibers: Language Constructs with Architectural Support for Adaptive Responses to Memory Latencies
David F. Bacon, Xiaowei Shen
IBM Journal of Research and Development 50(2/3), 209--221, IBM Corp., 2006
Abstract

On-Line Visualization and Analysis of Real-Time Systems with TuningFork (demonstration)
David F. Bacon, Perry Cheng, Daniel Frampton, David Grove, Matthias Hauswirth, V. T. Rajan
Proceedings of the 15th International Conference on Compiler Construction, pp. 96-100, Springer, 2006
Abstract


2005

Interprocedural analysis for privileged code placement and tainted variable detection
M. Pistoia, R. Flynn, L. Koved, V. Sreedhar
ECOOP 2005-Object-Oriented Programming, 734--734, Springer

High-Level Real-Time Programming in Java
David F. Bacon, Perry Cheng, David Grove, Michael Hind, V. T. Rajan, Eran Yahav, Matthias Hauswirth, Christoph M. Kirsch, Daniel Spoonhower, Martin T. Vechev
Proceedings of the Fifth ACM International Conference on Embedded Software, pp. 68--78, ACM, 2005
Abstract   (slides)

Derivation and Evaluation of Concurrent Collectors
Martin T. Vechev, David F. Bacon, Perry Cheng, David Grove
Proceedings of the 19th European Conference on Object-Oriented Programming, pp. 577--601, Springer-Verlag, 2005
Abstract   (slides)

Syncopation: Generational Real-Time Garbage Collection in the Metronome
David F. Bacon, Perry Cheng, David Grove, Martin T. Vechev
Proceedings of the ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, pp. 183--192, ACM, 2005
Abstract   (slides)

Balancing agility and discipline: A guide for the perplexed
B W Boehm, R Turner
books.google.com, Addison-Wesley, 2005

Unified Modeling Language User Guide, The (Addison-Wesley Object Technology Series)
G Booch, J Rumbaugh, I Jacobson
2005 - portal.acm.org, Addison-Wesley Professional


2004

Validating structural properties of nested objects
D Reimer, E Schonberg, K Srinivas, H Srinivasan, J Dolby, A Kershenbaum, L Koved
Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, pp. 294--304, Vancouver, BC, Canada, 2004
Abstract

Experiences with Building Security Checking and Understanding Tool
T Habeck, L Koved, O Marquez, VC Sreedhar, M Steiner, W Venema, S Weber
domino.research.ibm.com, IBM Research, 2004

Applying Static Analysis to Verifying Security Properties
X Zhang, T Jaegert, L Koved
Proceedings of the 2004 Grace Hopper Celebration of Women in Computing Conference

SABER: smart analysis based error reduction
D Reimer, E Schonberg, K Srinivas, H Srinivasan, B Alpern, R D Johnson, A Kershenbaum, L Koved
Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis 29(4), 243--251, IEEE
Abstract

Detecting Unwanted Synchronization in Java Programs
Leeman, G., Kershenbaum, A., Koved, L., and Reimer, D.
Software Engineering and Applications (SEA 2004). Sponsored by International Association of Science and Technology for Development (IASTED)., MIT

Braids and Fibers: Language Constructs with Architectural Support for Adaptive Response to Memory Latencies
David F. Bacon, Xiaowei Shen
First Watson Conference on Interaction between Architecture, Circuits, and Compilers, 2004
Abstract   (slides)

Dynamic Selection of Application-Specific Garbage Collectors
Sunil Soman, Chandra Krintz, David F. Bacon
Proceedings of the Fourth International Symposium on Memory Management, pp. 49--60, ACM, 2004
Abstract   (slides)

Write Barrier Elision for Concurrent Garbage Collectors
Martin T. Vechev, David F. Bacon
Proceedings of the Fourth International Symposium on Memory Management, pp. 13--24, ACM, 2004
Abstract   (slides)

A Unified Theory of Garbage Collection
David F. Bacon, Perry Cheng, V. T. Rajan
Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 50--68, ACM, 2004
Abstract   (slides)

Garbage Collection for Embedded Systems
David F. Bacon, Perry Cheng, David Grove
Proceedings of the Fourth ACM International Conference on Embedded Software, pp. 125--136, ACM, 2004
Abstract   (slides)

Retrospective: Thin Locks
David F. Bacon, Ravi Konuru, Chet Murthy, Mauricio J. Serrano
Twenty Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation (1979--1999): A Selection, pp. 583--595, ACM, 2004

The Virtualized Virtual Machine
David F. Bacon
Third International Workshop on Language Runtimes, 2004
Abstract   (slides)

Unified Modeling Language Reference Manual, The
J Rumbaugh, I Jacobson, G Booch
portal.acm.org, Pearson Higher Education, 2004


2003

MJ: a Rational Module System for Java and its Applications
John Corwin, David F. Bacon, David Grove, Chet Murthy
Proceedings of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications, pp. 241--254, ACM, 2003
Abstract   (slides)

Controlling Fragmentation and Space Consumption in the Metronome, a Real-Time Garbage Collector for Java
David F. Bacon, Perry Cheng, V. T. Rajan
Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems, pp. 81--92, ACM, 2003
Abstract   (slides)

The Metronome: A Simpler Approach to Garbage Collection in Real-Time Systems
David F. Bacon, Perry Cheng, V. T. Rajan
Proceedings of the OTM 2003 Workshops: On The Move to Meaningful Internet Systems, pp. 466-478, Springer
Abstract   (slides)

Kava: A Java Dialect with a Uniform Object Model for Lightweight Classes
David F. Bacon
Concurrency---Practice and Experience 15(3--5), 185--206, 2003
Abstract

A Pure Reference Counting Garbage Collector
David F. Bacon, Clement R. Attanasio, V. T. Rajan, Stephen Smith, Han B. Lee
Technical Report, 2003
Abstract   An extended journal-style paper describing the Recycler, combining and extending material from the PLDI'01 and ECOOP'01 papers

A Real-Time Garbage Collector with Low Overhead and Consistent Utilization
David F. Bacon, Perry Cheng, V. T. Rajan
Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 285--298, ACM, 2003
Abstract   (slides)


2002

Access rights analysis for Java
L. Koved, M. Pistoia, A. Kershenbaum
ACM SIGPLAN Notices, pp. 359--372, ACM, 2002

Space- and Time-Efficient Implementation of the Java Object Model
David F. Bacon, Stephen J. Fink, David Grove
Proceedings of the Sixteenth European Conference on Object-Oriented Programming, pp. 111--132, Springer-Verlag, 2002
Abstract   (slides)

Modeling of software concerns in Cosmos
S M Sutton Jr, I Rouvellou
Proceedings of the 1st international conference on Aspect-oriented software development, pp. 127--133, ACM, 2002

Efficient and precise datarace detection for multithreaded object-oriented programs
Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, Manu Sridharan
ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI)


2001

A framework for call graph construction algorithms
David Grove, Craig Chambers
ACM Trans. Program. Lang. Syst. 23(6), 685--746, ACM, 2001
Abstract

Concurrent Cycle Collection in Reference Counted Systems
David F. Bacon, V. T. Rajan
Proceedings of the Fifteenth European Conference on Object-Oriented Programming, pp. 207--235, Springer-Verlag, 2001
Abstract

Java without the Coffee Breaks: a Non-Intrusive Multiprocessor Garbage Collector
David F. Bacon, Clement R. Attanasio, Han B. Lee, V. T. Rajan, Stephen Smith
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 92--103, ACM, 2001
Abstract   (slides)

A Comparative Evaluation of Parallel Garbage Collector Implementations
Clement R. Attanasio, David F. Bacon, Anthony Cocchi, Stephen Smith
Proceedings of the 14th International Conference on Languages and Compilers for Parallel Computing, pp. 177--192, Springer-Verlag, 2001
Abstract   (slides)

Kava: a Java Dialect with a Uniform Object Model for Lightweight Classes
David F. Bacon
Proceedings of the Joint ACM Java Grande/ISCOPE Conference, pp. 68--77, ACM, 2001
Abstract   (slides)

A parallel, real-time garbage collector
P Cheng, G E Blelloch
ACM SIGPLAN Notices 36(5), 125--136, ACM New York, NY, USA, 2001



2000

Automatic Detection of Immutable Fields in Java
S Porat, M Biberstein, L Koved, B Mendelson
CASCON, pp. 10, IBM Press, 2000
Abstract

Static extraction of mutability information from Java component
L Koved, S Porat, M Biberstein, B Mendelson
IBM Internal Report, 2000

Guava: a Dialect of Java without Data Races
David F. Bacon, Robert E. Strom, Ashis Tarafdar
Proceedings of the 15th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 382--400, ACM, 2000
Abstract   (slides)

Adaptive optimization in the Jalapeno JVM
Matthew Arnold, Stephen Fink, David Grove, Michael Hind, Peter F Sweeney
OOPSLA '00: Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp. 47--65, ACM, 2000
Abstract

The Jalapeno virtual machine
B Alpern, C R Attanasio, J J Barton, M G Burke, P Cheng, J D Choi, A Cocchi, S J Fink, D Grove, M Hind, others
IBM Systems Journal 39(1), 211, Armonk, NY: International Business Machines Corp., 2000


1999

Interprocedural Pointer Alias Analysis
M HIND, M BURKE, P CARINI, JD CHOI
ACM Transactions on Programming Languages and Systems, 1999 - portal.acm.org

The Jalapeno dynamic optimizing compiler for Java
Michael G. Burke, Jong-Deok Choi, Stephen Fink, David Grove, Michael Hind, Vivek Sarkar, Mauricio J. Serrano, V. C. Sreedhar, Harini Srinvasan, John Whaley
JAVA'99: Proceedings of the ACM 1999 confernece on Java Grande, pp. 129-141, ACM

Managing software requirements: a unified approach
D Leffingwell, D Widrig
portal.acm.org, Addison-Wesley Longman Publishing Co., Inc. Boston, MA, USA, 1999

The unified software development process
I Jacobson, G Booch, J Rumbaugh
Addison-Wesley, Addison-Wesley, 1999


1998

Thin Locks: Featherweight Synchronization for Java
David F. Bacon, Ravi Konuru, Chet Murthy, Mauricio J. Serrano
Proceedings of the 1998 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 258--268, ACM
Abstract   (slides)

Execution patterns in object-oriented visualization
W De Pauw, D Lorenz, J Vlissides, M Wegman
Proceedings Conference on Object-Oriented Technologies and Systems (COOTS’98), pp. 219--234, 1998

Thin locks: Featherweight synchronization for Java
D F Bacon, R Konuru, C Murthy, M Serrano
Proceedings of the 1998 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 258--268


1997

Fast and Effective Optimization of Statically Typed Object-Oriented Languages
David Francis Bacon
Ph.D. Thesis, University of California, Berkeley, 1997
Abstract   Report No. UCB/CSD-98-1017



1996

Fast Static Analysis of C++ Virtual Function Calls
David F. Bacon, Peter F. Sweeney
Proceedings of the Eleventh ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 324--341, ACM, 1996
Abstract   (slides)

Fast static analysis of C++ virtual function calls
D F Bacon, P F Sweeney
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp. 324--341, 1996


1995

Bisimulation can't be traced
B Bloom, S Istrail, AR Meyer
Journal of the ACM (JACM), 1995 - portal.acm.org

Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis
Jeffrey Dean, David Grove, Craig Chambers
ECOOP '95: Proceedings of the 9th European Conference on Object-Oriented Programming, pp. 77--101, Springer-Verlag, 1995


1994

Compiler Transformations for High-Performance Computing
David F. Bacon, Susan L. Graham, Oliver J. Sharp
Computing Surveys 26(4), 345--420, ACM, 1994
Abstract

Cache Advantage
David F. Bacon
BYTE 19(8), 79--86, 1994

A Compiler Framework for Restructuring Data Declarations to Enhance Cache and TLB Effectiveness
David F. Bacon, Jyh-Herng Chow, Dz-Ching R. Ju, Kalyan Muthukumar, Vivek Sarkar
Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, IBM Press
Abstract

Measure for Measure
Oliver Sharp, David F. Bacon
BYTE 19(10), 1994


1993

A toolkit for developing multi-user, distributed virtual environments
C F Codella, R Jalili, L Koved, J B Lewis
Proceedings of IEEE 1993 Virtual Reality Annual International Symposium, VRAIS '93, pp. 401--407, IEEE

GROOP: an object-oriented toolkit for animated 3D graphics
Larry Koved, Wayne L Wooten
OOPSLA '93: Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, pp. 309--325, ACM, 1993




1992

Dialog Manager Support For Real-Time Conferencing In Virtual Worlds
L Koved, Thomas Watson IBM Research J Center
Research Report RC17968, Citeseer, 1992

Dialog manager support For real-time conferencing In Virutal Worlds
L Koved, C Codella, R Jalili, J B Lewis, D T Ling, J S Lipscomb, D A Rabenhorst, C P Wang
In Virtual Worlds, Research Report RC17968, IBM Research, PO Box 218, Yorktown Heights, NY 10598, Citeseer, 1992

Debugging optimized code with dynamic deoptimization
U H{\"o}lzle, C Chambers, D Ungar
ACM SIGPLAN Notices 27(7), 32--43, ACM New York, NY, USA, 1992


1991

Dialogue structures for virtual worlds
J B Lewis, L Koved, D T Ling
Proceedings of the SIGCHI conference on Human factors in computing systems: Reaching through technology, pp. 131-136, ACM, 1991

Optimistic Parallelization of Communicating Sequential Processes
David F. Bacon, Robert E. Strom
Proceedings of the Third ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 155--166, ACM, 1991
Abstract   (slides)

High-Level Language Support for Programming Distributed Systems
J. S. Auerbach, D. F. Bacon, A. P. Goldberg, G. S. Goldszmidt, M. T. Kennedy, A. R. Lowry, J. R. Russell, W. Silverman, R. E. Strom, D. M. Yellin, S. A. Yemini
Proceedings of the 1991 Conference of the Centre for Advanced Studies on Collaborative Research, pp. 173--196, IBM Press
Abstract

Hermes: A Language for Distributed Computing
Robert E. Strom, David F. Bacon, Arthur Goldberg, Andy Lowry, Daniel Yellin, Shaula Alexander Yemini
Prentice-Hall, 1991

An efficient implementation of Self, a dynamically-typed object-oriented language based on prototypes
C Chambers, D Ungar, E Lee
Lisp and symbolic computation 4(3), 243--281, Springer, 1991

Constant propagation with conditional branches
Mark N Wegman, Kenneth F Zadeck
ACM Trans. Program. Lang. Syst. 13(2), 181--210, ACM, 1991
Abstract

Self: The power of simplicity
D Ungar, R B Smith
Lisp and symbolic computation (also OOPSLA'97, IEEE COMPCON'88) 4(3), 187--205, Springer, 1991

Object oriented design with applications
G Booch
win.tue.nl, Benjamin/Cummings Redwood City, CA, 1991

Efficiently computing static single assignment form and the control dependence graph
Ron Cytron, Jeanne Ferrante, Barry K Rosen, Mark N Wegman, Kenneth F Zadeck
ACM Trans. Program. Lang. Syst. 13(4), 451--490, ACM, 1991


1990

Hermes: A Tutorial and Reference Manual
Robert E. Strom, David F. Bacon, Arthur Goldberg, Andy Lowry, Daniel Yellin, Shaula Alexander Yemini
Technical Report, 1990

Hermes: An Integrated Language and System for Distributed Programming
Robert E. Strom
Proceedings of the IEEE Workshop on Experimental Distributed Systems, pp. 75--82, 1990

A Portable Run-Time System for the Hermes Distributed Programming Language
David F. Bacon, Andy Lowry
Proceedings of the Summer USENIX Technical Conference, pp. 39--49, Usenix Association, 1990
Abstract   (slides)

Analysis of pointers and structures
David R Chase, Mark Wegman, Kenneth F Zadeck
PLDI '90: Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation, pp. 296--310, ACM


1988

A Recoverable Object Store
Robert E. Strom, Shaula Alexander Yemini, David F. Bacon
Proceedings of the Twenty-First Annual Hawaii International Conference on Systems Sciences, pp. 215--221, IEEE Computer Society Press, 1988
Abstract

Global value numbers and redundant computations
B K Rosen, M N Wegman, F K Zadeck
POPL '88: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 12--27, ACM, 1988

Detecting equality of variables in programs
B Alpern, M N Wegman, F K Zadeck
POPL '88: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 1--11, ACM, 1988


1987

Recognizing safety and liveness
B Alpern, FB Schneider
Distributed computing, 1987 - Springer


1986

Improving availability of software subsystems through on-line error detection
L Koved, G Waldbaum
IBM Systems Journal 25(1), 105--115, IBM Corp., 1986
Abstract


1985

Defining liveness
B Alpern, FB Schneider
1985 - test-ir.library.cornell.edu


1984

The Object Model: A Historical Perspective
L Koved
Technical Report RC 10809, IBM Research Division, 1984