Back to Homepage 
Publications:
2010
Reflexes: Abstractions for integrating highly responsive tasks into Java applications. Jesper Honig Spring, Filip Pizlo, Jean Privat, Rachid Guerraoui, Jan Vitek. ACM Trans. Embedded Comput. Syst. volume( 10).Analyzing multicore dumps to facilitate concurrency bug reproduction. Dasarath Weeratunge, Xiangyu Zhang, Suresh Jagannathan. ASPLOS: 155-166.
Distributed Memory Management Units Architecture for NoC-based CMPs. Man Cao, Bin Xin, Fuming Qiao, Qingsong Shi, Tianzhou Chen, Like Yan. CIT: 54-61.
Efficient Session Type Guided Distributed Interaction. K. C. Sivaramakrishnan, Karthik Nagaraj, Lukasz Ziarek, Patrick Eugster. COORDINATION: 152-167.
Scalable Efficient Composite Event Detection. K. R. Jayaram, Patrick Th. Eugster. COORDINATION: 168-182.
Lightweight asynchrony using parasitic threads. K. C. Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan. DAMP: 63-72.
A Type System for Data-Centric Synchronization. Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek. ECOOP: 304-328.
How to authenticate graphs without leaking. Ashish Kundu, Elisa Bertino. EDBT: 609-620.
Experiences with PDG-Based IFC. Christian Hammer. ESSoS: 44-60.
High-level programming of embedded hard real-time devices. Filip Pizlo, Lukasz Ziarek, Ethan Blanton, Petr Maj, Jan Vitek. EuroSys: 69-82.
Precise calling context encoding. William N. Sumner, Yunhui Zheng, Dasarath Weeratunge, Xiangyu Zhang. ICSE (1): 525-534.
The locality of concurrent write barriers. Laurence Hellyer, Richard Jones, Antony L. Hosking. ISMM: 83-92.
Analyzing concurrency bugs using dual slicing. Dasarath Weeratunge, Xiangyu Zhang, William N. Sumner, Suresh Jagannathan. ISSTA: 253-264.
Strict control dependence and its effect on dynamic information flow analyses. Tao Bao, Yunhui Zheng, Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu. ISSTA: 13-24.
Developing safety critical Java applications with oSCJ/L0. Ales Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomás Kalibera, Jan Vitek. JTRES: 95-101.
PRP: priority rollback protocol -- a PIP extension for mixed criticality systems: short paper. Lukasz Ziarek. JTRES: 82-84.
Static checking of safety critical Java annotations. Daniel Tang, Ales Plsek, Jan Vitek. JTRES: 148-154.
An analysis of the dynamic behavior of JavaScript programs. Gregor Richards, Sylvain Lebresne, Brian Burg, Jan Vitek. PLDI: 1-12.
Schism: fragmentation-tolerant real-time garbage collection. Filip Pizlo, Lukasz Ziarek, Petr Maj, Antony L. Hosking, Ethan Blanton, Jan Vitek. PLDI: 146-159.
Challenge benchmarks for verification of real-time programs. Tomás Kalibera, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, Jan Vitek. PLPV: 57-62.
Integrating typed and untyped code in a scripting language. Tobias Wrigstad, Francesco Zappa Nardelli, Sylvain Lebresne, Johan Östlund, Jan Vitek. POPL: 377-388.
RTTM: real-time transactional memory. Martin Schoeberl, Florian Brandner, Jan Vitek. SAC: 326-333.
Exploring desktop resources based on user activity analysis. Yukun Li, Xiangyu Zhang, Xiaofeng Meng. SIGIR: 700.
One Stack to Run Them All - Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling. Nicholas Kidd, Suresh Jagannathan, Jan Vitek. SPIN: 245-261.
Formal methods applied to high-performance computing software design: a case study of MPI one-sided communication-based locking. Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp. Softw., Pract. Exper. volume( 40): 23-43.
2009
MapReduce-Based Pattern Finding Algorithm Applied in Motif Detection for Prescription Compatibility Network. Yang Liu, Xiaohong Jiang, Huajun Chen, Jun Ma, Xiangyu Zhang. APPT: 341-355.Precise slicing of concurrent programs. Dennis Giffhorn, Christian Hammer. Autom. Softw. Eng. volume( 16): 197-234.
Alchemist: A Transparent Dependence Distance Profiling Infrastructure. Xiangyu Zhang, Armand Navabi, Suresh Jagannathan. CGO: 47-58.
SN2K Attacks and Honest Services. Ashish Kundu. COMPSAC (2): 445-450.
Exceptionally Safe Futures. Armand Navabi, Suresh Jagannathan. COORDINATION: 47-65.
High-Performance Transactional Event Processing. Antonio Cunei, Rachid Guerraoui, Jesper Honig Spring, Jean Privat, Jan Vitek. COORDINATION: 27-46.
An efficient multi-dimensional index for cloud data management. Xiangyu Zhang, Jing Ai, Zhongyuan Wang, Jiaheng Lu, Xiaofeng Meng. CloudDb: 17-24.
Accurate garbage collection in uncooperative environments revisited. Jason Baker, Antonio Cunei, Tomás Kalibera, Filip Pizlo, Jan Vitek. Concurrency and Computation: Practice and Experience volume( 21): 1572-1606.
Speculative N-Way barriers. Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar. DAMP: 1-12.
VNsnap: Taking snapshots of virtual networked environments with minimal downtime. Ardalan Kangarlou, Patrick Eugster, Dongyan Xu. DSN: 524-533.
EventJava: An Extension of Java for Event Correlation. Patrick Th. Eugster, K. R. Jayaram. ECOOP: 570-594.
Introduction to: The Myths of Object-Orientation. Jan Vitek. ECOOP: 618.
Loci: Simple Thread-Locality for Java. Tobias Wrigstad, Filip Pizlo, Fadi Meawad, Lei Zhao, Jan Vitek. ECOOP: 445-469.
An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees. Hao Yuan, Patrick Th. Eugster. ESOP: 175-189.
Constructing Domain-Specific Component Frameworks through Architecture Refinement. Frédéric Loiret, Ales Plsek, Philippe Merle, Lionel Seinturier, Michal Malohlava. EUROMICRO-SEAA: 375-382.
Pervasive Load-Time Transformation for Transparently Distributed Java. Phil McGachey, Antony L. Hosking, J. Eliot B. Moss. Electr. Notes Theor. Comput. Sci. volume( 253): 47-64.
Pervaho: A specialized middleware for mobile context-aware applications. Patrick Th. Eugster, Benoît Garbinato, Adrian Holzer. Electronic Commerce Research volume( 9): 245-268.
Mobile Agents. Niranjan Suri, Jan Vitek. Encyclopedia of Complexity and Systems Science: 5604-5618.
Interface. Patrick Th. Eugster. Encyclopedia of Database Systems: 1553-1557.
Algorithms for Automatically Computing the Causal Paths of Failures. William N. Sumner, Xiangyu Zhang. FASE: 355-369.
Verifying Information Flow Control over Unbounded Processes. William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps. FM: 773-789.
Problem difficulty analysis for particle swarm optimization: deception and modality. Bin Xin, Jie Chen, Feng Pan. GEC Summit: 623-630.
Classifying Java class transformations for pervasive virtualized access. Phil McGachey, Antony L. Hosking, J. Eliot B. Moss. GPCE: 75-84.
Partial memoization of concurrency and communication. Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan. ICFP: 161-172.
Scheduling Hard Real-Time Garbage Collection. Tomás Kalibera, Filip Pizlo, Antony L. Hosking, Jan Vitek. IEEE Real-Time Systems Symposium: 81-92.
Memory slicing. Bin Xin, Xiangyu Zhang. ISSTA: 165-176.
Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs. Christian Hammer, Gregor Snelting. Int. J. Inf. Sec. volume( 8): 399-422.
Efficient tag detection in RFID systems. Bogdan Carbunar, Murali Krishna Ramanathan, Mehmet Koyutürk, Suresh Jagannathan, Ananth Grama. J. Parallel Distrib. Comput. volume( 69): 180-196.
A technology compatibility kit for safety critical Java. Lei Zhao, Daniel Tang, Jan Vitek. JTRES: 160-168.
CDx: a family of real-time Java benchmarks. Tomás Kalibera, Jeff Hagelberg, Filip Pizlo, Ales Plsek, Ben Titzer, Jan Vitek. JTRES: 41-50.
Real time Java on resource-constrained platforms with Fiji VM. Filip Pizlo, Lukasz Ziarek, Jan Vitek. JTRES: 110-119.
Thorn: robust, concurrent, extensible scripting on the JVM. Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad. OOPSLA: 117-136.
Thorn: robust concurrent scripting on the JVM. Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad. OOPSLA Companion: 789-790.
Semantics-aware trace analysis. Kevin J. Hoffman, Patrick Eugster, Suresh Jagannathan. PLDI: 453-464.
A multidisciplinary approach towards computational thinking for science majors. Susanne E. Hambrusch, Christoph Hoffmann, John T. Korb, Mark Haugan, Antony L. Hosking. SIGCSE: 183-187.
A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks. Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps. SPIN: 125-142.
Cooperative aspect-oriented programming. Kevin J. Hoffman, Patrick Th. Eugster. Sci. Comput. Program. volume( 74): 333-354.
Evolutionary decision-makings for the dynamic weapon-target assignment problem. Jie Chen, Bin Xin, ZhiHong Peng, LiHua Dou, Juan Zhang. Science in China Series F: Information Sciences volume( 52): 2006-2018.
Statistical learning makes the hybridization of particle swarm and differential evolution more efficient - A novel hybrid optimizer. Jie Chen, Bin Xin, ZhiHong Peng, Feng Pan. Science in China Series F: Information Sciences volume( 52): 1278-1282.
Programming Models for Concurrency and Real-Time. Jan Vitek. TOOLS (47): 17.
Preface. Marcello M. Bonsangue, Einar Broch Johnsen, Amy L. Murphy, Jan Vitek. Theor. Comput. Sci. volume( 410): 113.
Finding Concurrency-Related Bugs Using Random Isolation. Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri. VMCAI: 198-213.
2008
Avoiding Program Failures Through Safe Execution Perturbations. Sriraman Tallam, Chen Tian, Rajiv Gupta, Xiangyu Zhang. COMPSAC: 152-159.On the Adequacy of Statecharts as a Source of Tests for Cryptographic Protocols. K. R. Jayaram, Aditya P. Mathur. COMPSAC: 937-942.
Wake up and smell the coffee: evaluation methodology for the 21st century. Stephen M. Blackburn, Kathryn S. McKinley, Robin Garner, Chris Hoffmann, Asjad M. Khan, Rotem Bentzur, Amer Diwan, Daniel Feinberg, Daniel Frampton, Samuel Z. Guyer, Martin Hirzel, Antony L. Hosking, Maria Jump, Han Lee, J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanovic, Thomas VanDrunen, Daniel von Dincklage, Ben Wiedermann. Commun. ACM volume( 51): 83-89.
A domain-specific compiler theory based framework for automated reaction network generation. Shuo-Huan Hsu, Balachandra Krishnamurthy, Prathima Rao, Chunhua Zhao, Suresh Jagannathan, Venkat Venkatasubramanian. Computers & Chemical Engineering volume( 32): 2455-2470.
Convicting exploitable software vulnerabilities: An efficient input provenance based approach. Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu. DSN: 247-256.
A Uniform Transactional Execution Environment for Java. Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, Suresh Jagannathan. ECOOP: 129-154.
Scalable Data Collection in Sensor Networks. Asad Awan, Suresh Jagannathan, Ananth Grama. HiPC: 415-426.
Flattening tuples in an SSA intermediate representation. Lukasz Ziarek, Stephen Weeks, Suresh Jagannathan. Higher-Order and Symbolic Computation volume( 21): 333-358.
Efficient Data Authentication in an Environment of Untrusted Third-Party Distributors. Mikhail J. Atallah, YounSun Cho, Ashish Kundu. ICDE: 696-704.
Dynamic detection of atomic-set-serializability violations. Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip. ICSE: 231-240.
Towards reusable components with aspects: an empirical study on modularity and obliviousness. Kevin J. Hoffman, Patrick Eugster. ICSE: 91-100.
A Systematic Study of Failure Proximity. Chao Liu 0001, Xiangyu Zhang, Jiawei Han. IEEE Trans. Software Eng. volume( 34): 826-843.
A New Model for Secure Dissemination of XML Content. Ashish Kundu, Elisa Bertino. IEEE Transactions on Systems, Man, and Cybernetics, Part C volume( 38): 292-301.
Scalable dynamic information flow tracking and its applications. Rajiv Gupta, Neelam Gupta, Xiangyu Zhang, Dennis Jeffrey, Vijay Nagarajan, Sriraman Tallam, Chen Tian. IPDPS: 1-5.
Path specialization: reducing phased execution overheads. Filip Pizlo, Erez Petrank, Bjarne Steensgaard. ISMM: 81-90.
A Real-Time Java Component Model. Ales Plsek, Philippe Merle, Lionel Seinturier. ISORC: 281-288.
Memory Management for Real-Time Java: State of the Art. Filip Pizlo, Jan Vitek. ISORC: 248-254.
A tree-covering problem arising in integrity of tree-structured data. Mikhail J. Atallah, Greg N. Frederickson, Ashish Kundu. Inf. Process. Lett. volume( 109): 79-82.
Semantic indexing in structured peer-to-peer networks. Ronaldo A. Ferreira, Mehmet Koyutürk, Suresh Jagannathan, Ananth Grama. J. Parallel Distrib. Comput. volume( 68): 64-77.
Flexible task graphs: a unified restricted thread programming model for java. Joshua S. Auerbach, David F. Bacon, Rachid Guerraoui, Jesper Honig Spring, Jan Vitek. LCTES: 1-11.
A Component Framework for Java-Based Real-Time Embedded Systems. Ales Plsek, Frédéric Loiret, Philippe Merle, Lionel Seinturier. Middleware: 124-143.
Automatic Protocol Format Reverse Engineering through Context-Aware Monitored Execution. Zhiqiang Lin, Xuxian Jiang, Dongyan Xu, Xiangyu Zhang. NDSS.
Matchete: Paths through the Pattern Matching Jungle. Martin Hirzel, Nathaniel Nystrom, Bard Bloom, Jan Vitek. PADL: 150-166.
Static path conditions for Java. Christian Hammer, Rüdiger Schaade, Gregor Snelting. PLAS: 57-66.
A study of concurrent real-time garbage collectors. Filip Pizlo, Erez Petrank, Bjarne Steensgaard. PLDI: 33-44.
Efficient program execution indexing. Bin Xin, William N. Sumner, Xiangyu Zhang. PLDI: 238-248.
Quasi-static scheduling for safe futures. Armand Navabi, Xiangyu Zhang, Suresh Jagannathan. PPOPP: 23-32.
Lazy argument passing in Java RMI. Christopher Line, K. R. Jayaram, Patrick Eugster. PPPJ: 127-136.
Structural signatures for tree data structures. Ashish Kundu, Elisa Bertino. PVLDB volume( 1): 138-150.
Carmen: Software Component Model Checker. Ales Plsek, Jirí Adámek. QoSA: 71-85.
PHALANX: a graph-theoretic framework for test case prioritization. Murali Krishna Ramanathan, Mehmet Koyutürk, Ananth Grama, Suresh Jagannathan. SAC: 667-673.
Language Strength Reduction. Nicholas Kidd, Akash Lal, Thomas W. Reps. SAS: 283-298.
Protocol Inference Using Static Path Profiles. Murali Krishna Ramanathan, Koushik Sen, Ananth Grama, Suresh Jagannathan. SAS: 78-92.
Precise Analysis of Java Programs Using JOANA. Dennis Giffhorn, Christian Hammer. SCAM: 267-268.
Deriving input syntactic structure from execution. Zhiqiang Lin, Xiangyu Zhang. SIGSOFT FSE: 83-93.
Implicit ownership types for memory management. Tian Zhao, Jason Baker, James Hunt, James Noble, Jan Vitek. Sci. Comput. Program. volume( 71): 213-241.
An efficient and flexible toolkit for composing customized method dispatchers. Antonio Cunei, Jan Vitek. Softw., Pract. Exper. volume( 38): 33-73.
Interprocedural Analysis of Concurrent Programs Under a Context Bound. Akash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps. TACAS: 282-298.
2007
A real-time Java virtual machine with applications in avionics. Austin Armbruster, Jason Baker, Antonio Cunei, Chapman Flack, David Holmes, Filip Pizlo, Edward Pla, Marek Prochazka, Jan Vitek. ACM Trans. Embedded Comput. Syst. volume( 7).Encapsulating objects with confined types. Christian Grothoff, Jens Palsberg, Jan Vitek. ACM Trans. Program. Lang. Syst. volume( 29).
Type-based publish/subscribe: Concepts and experiences. Patrick Eugster. ACM Trans. Program. Lang. Syst. volume( 29).
Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks. Jason Baker, Antonio Cunei, Filip Pizlo, Jan Vitek. CC: 64-79.
Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2006 at ECOOP'06 Roland Ducournau, Etienne Gagnon, Chandra Krintz, Philippe Mulet, Jan Vitek, Olivier Zendra. CoRR volume( abs/0710.2887).
Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2007 at ECOOP'07 Olivier Zendra, Eric Jul, Roland Ducournau, Etienne Gagnon, Richard E. Jones, Chandra Krintz, Philippe Mulet, Jan Vitek. CoRR volume( abs/0712.1189).
Efficient distributed subtyping tests. Sébastien Baehni, João Barreto, Patrick Eugster, Rachid Guerraoui. DEBS: 214-225.
Randomized leader election. Murali Krishna Ramanathan, Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama, Wojciech Szpankowski. Distributed Computing volume( 19): 403-418.
A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships. Stephanie Balzer, Thomas R. Gross, Patrick Eugster. ECOOP: 323-346.
Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. Olivier Zendra, Eric Jul, Roland Ducournau, Etienne Gagnon, Richard E. Jones, Chandra Krintz, Philippe Mulet, Jan Vitek. ECOOP Workshops: 50-64.
Modular Checkpointing for Atomicity. Lukasz Ziarek, Philip Schatz, Suresh Jagannathan. Electr. Notes Theor. Comput. Sci. volume( 174): 85-115.
A study of effectiveness of dynamic slicing in locating real faults. Xiangyu Zhang, Neelam Gupta, Rajiv Gupta. Empirical Software Engineering volume( 12): 143-160.
Macroprogramming heterogeneous sensor networks using cosmos. Asad Awan, Suresh Jagannathan, Ananth Grama. EuroSys: 159-172.
STMBench7: a benchmark for software transactional memory. Rachid Guerraoui, Michal Kapalka, Jan Vitek. EuroSys: 315-324.
Program Analysis Using Weighted Pushdown Systems. Thomas W. Reps, Akash Lal, Nicholas Kidd. FSTTCS: 23-51.
Path-Sensitive Inference of Function Precedence Protocols. Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan. ICSE: 240-250.
Indexing Noncrashing Failures: A Dynamic Program Slicing-Based Approach. Chao Liu 0001, Xiangyu Zhang, Yu Zhang, Jiawei Han, Bharat K. Bhargava. ICSM: 455-464.
Matching Control Flow of Program Versions. Vijayanand Nagarajan, Rajiv Gupta, Matias Madou, Xiangyu Zhang, Bjorn De Sutter. ICSM: 84-93.
User Tasks and Access Control overWeb Services. Jacques Thomas, Federica Paci, Elisa Bertino, Patrick Eugster. ICWS: 60-69.
Randomized Protocols for Duplicate Elimination in Peer-to-Peer Storage Systems. Ronaldo A. Ferreira, Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan. IEEE Trans. Parallel Distrib. Syst. volume( 18): 686-696.
Stopless: a real-time garbage collector for multiprocessors. Filip Pizlo, Daniel Frampton, Erez Petrank, Bjarne Steensgaard. ISMM: 159-172.
Efficient online detection of dynamic control dependence. Bin Xin, Xiangyu Zhang. ISSTA: 185-195.
Enabling tracing Of long-running multithreaded programs via dynamic execution reduction. Sriraman Tallam, Chen Tian, Rajiv Gupta, Xiangyu Zhang. ISSTA: 207-218.
Building Verifiable Sensing Applications Through Temporal Logic Specification. Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ananth Grama. International Conference on Computational Science (1): 1205-1212.
Garbage collection for safety critical Java. Martin Schoeberl, Jan Vitek. JTRES: 85-93.
Reflecting on an Existing Programming Language . Andreas Leitner, Patrick Th. Eugster, Manuel Oriol, Ilinca Ciupa. Journal of Object Technology volume( 6): 319-339.
Hierarchical real-time garbage collection. Filip Pizlo, Antony L. Hosking, Jan Vitek. LCTES: 123-133.
Streamflex: high-throughput stream programming in java. Jesper Honig Spring, Jean Privat, Rachid Guerraoui, Jan Vitek. OOPSLA: 211-228.
The "art" of programming gossip-based systems. Patrick Th. Eugster, Pascal Felber, Fabrice Le Fessant. Operating Systems Review volume( 41): 37-42.
Static specification inference using predicate mining. Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan. PLDI: 123-134.
Towards locating execution omission errors. Xiangyu Zhang, Sriraman Tallam, Neelam Gupta, Rajiv Gupta. PLDI: 415-424.
Open nesting in software transactional memory. Yang Ni, Vijay Menon, Ali-Reza Adl-Tabatabai, Antony L. Hosking, Richard L. Hudson, J. Eliot B. Moss, Bratin Saha, Tatiana Shpeisman. PPOPP: 68-78.
Bridging Java and AspectJ through explicit join points. Kevin J. Hoffman, Patrick Eugster. PPPJ: 63-72.
Practical Model-Checking Method for Verifying Correctness of MPI Programs. Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Robert Palmer, Rajeev Thakur, William Gropp. PVM/MPI: 344-353.
Aspect-Based Introspection and Change Analysis for Evolving Programs. Kevin J. Hoffman, Murali Krishna Ramanathan, Patrick Eugster, Suresh Jagannathan. RAM-SE: 59-70.
Scoped types and aspects for real-time Java memory management. Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao. Real-Time Systems volume( 37): 1-44.
Abstract Error Projection. Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili. SAS: 200-217.
An Evaluation of Slicing Algorithms for Concurrent Programs. Dennis Giffhorn, Christian Hammer. SCAM: 17-26.
Locating faulty code by multiple points slicing. Xiangyu Zhang, Neelam Gupta, Rajiv Gupta. Softw., Pract. Exper. volume( 37): 935-961.
Reflexes: abstractions for highly responsive systems. Jesper Honig Spring, Filip Pizlo, Rachid Guerraoui, Jan Vitek. VEE: 191-201.
Tracing Lineage Beyond Relational Operators. Mingwu Zhang, Xiangyu Zhang, Xiang Zhang, Sunil Prabhakar. VLDB: 1116-1127.
2006
Combining Offline and Online Optimizations: Register Allocation and Method Inlining. Hiroshi Yamauchi, Jan Vitek. APLAS: 307-322.Sieve: A Tool for Automatically Detecting Variations Across Program Versions. Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan. ASE: 241-252.
Generic Component Lookup. Till G. Bay, Patrick Th. Eugster, Manuel Oriol. CBSE: 182-197.
Identifying andTesting for Insecure Paths in Cryptographic Protocol Implementations. K. R. Jayaram. COMPSAC (2): 368-369.
Revocation techniques for Java concurrency. Adam Welc, Suresh Jagannathan, Antony L. Hosking. Concurrency and Computation: Practice and Experience volume( 18): 1613-1656.
Scoped Types and Aspects for Real-Time Java. Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao. ECOOP: 124-147.
Transparently Reconciling Transactions with Locking for Java Synchronization. Adam Welc, Antony L. Hosking, Suresh Jagannathan. ECOOP: 148-173.
Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. Roland Ducournau, Etienne Gagnon, Chandra Krintz, Philippe Mulet, Jan Vitek, Olivier Zendra. ECOOP Workshops: 1-14.
Secure Dissemination of XML Content Using Structure-based Routing. Ashish Kundu, Elisa Bertino. EDOC: 153-164.
Trace-Based Memory Aliasing Across Program Versions. Murali Krishna Ramanathan, Suresh Jagannathan, Ananth Grama. FASE: 381-395.
Distributed Uniform Sampling in Unstructured Peer-to-Peer Networks. Asad Awan, Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama. HICSS.
Dynamic state restoration using versioning exceptions. V. Krishna Nandivada, Suresh Jagannathan. Higher-Order and Symbolic Computation volume( 19): 101-124.
Stabilizers: a modular checkpointing abstraction for concurrent functional programs. Lukasz Ziarek, Philip Schatz, Suresh Jagannathan. ICFP: 136-147.
Locating faults through automated predicate switching. Xiangyu Zhang, Neelam Gupta, Rajiv Gupta. ICSE: 272-281.
A Real-time Java Virtual Machine for Avionics - An Experience Report. Jason Baker, Antonio Cunei, Chapman Flack, Filip Pizlo, Marek Prochazka, Jan Vitek, Austin Armbruster, Edward Pla, David Holmes. IEEE Real Time Technology and Applications Symposium: 384-396.
Dynamic aspects for runtime fault determination and recovery. Jeremy Manson, Jan Vitek, Suresh Jagannathan. IPDPS.
Query Protocols for Highly Resilient Peer-to-Peer Networks. Suresh Jagannathan, Gopal Pandurangan, Siriam Srinivasan. ISCA PDCS: 247-252.
Portable, mostly-concurrent, mostly-copying garbage collection for multi-processors. Antony L. Hosking. ISMM: 40-51.
Reducing generational copy reserve overhead with fallback compaction. Phil McGachey, Antony L. Hosking. ISMM: 17-28.
Intransitive Noninterference in Dependence Graphs. Christian Hammer, Jens Krinke, Frank Nodes. ISoLA: 119-128.
Type-based confinement. Tian Zhao, Jens Palsberg, Jan Vitek. J. Funct. Program. volume( 16): 83-128.
Locality in structured peer-to-peer networks. Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama. J. Parallel Distrib. Comput. volume( 66): 257-273.
The DaCapo benchmarks: java benchmarking development and analysis. Stephen M. Blackburn, Robin Garner, Chris Hoffmann, Asjad M. Khan, Kathryn S. McKinley, Rotem Bentzur, Amer Diwan, Daniel Feinberg, Daniel Frampton, Samuel Z. Guyer, Martin Hirzel, Antony L. Hosking, Maria Jump, Han Bok Lee, J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanovic, Thomas VanDrunen, Daniel von Dincklage, Ben Wiedermann. OOPSLA: 169-190.
Uniform proxies for Java. Patrick Th. Eugster. OOPSLA: 139-152.
Dynamic path conditions in dependence graphs. Christian Hammer, Martin Grimme, Jens Krinke. PEPM: 58-67.
Pruning dynamic slices with confidence. Xiangyu Zhang, Neelam Gupta, Rajiv Gupta. PLDI: 169-180.
Formal Verification of Programs That Use MPI One-Sided Communication. Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William D. Gropp. PVM/MPI: 30-39.
Unstructured peer-to-peer networks for sharing processor cycles. Asad Awan, Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama. Parallel Computing volume( 32): 115-135.
An Emprical Evaluation of Memory Management Alternatives for Real-Time Java. Filip Pizlo, Jan Vitek. RTSS: 35-46.
SCOOP - Concurrency Made Easy. Volkan Arslan, Patrick Eugster, Piotr Nienaltowski, Sebastien Vaucouleur. Research Results of the DICS Program: 82-102.
Dynamic slicing long running programs through execution fast forwarding. Xiangyu Zhang, Sriraman Tallam, Rajiv Gupta. SIGSOFT FSE: 81-91.
Composing atomic features. Patrick Th. Eugster, Sebastien Vaucouleur. Sci. Comput. Program. volume( 63): 130-146.
Nested transactional memory: Model and architecture sketches. J. Eliot B. Moss, Antony L. Hosking. Sci. Comput. Program. volume( 63): 186-201.
Verifying Concurrent Message-Passing C Programs with Recursive Calls. Sagar Chaki, Edmund M. Clarke, Nicholas Kidd, Thomas W. Reps, Tayssir Touili. TACAS: 334-349.
Improving duplicate elimination in storage systems. Deepak R. Bobbarjung, Suresh Jagannathan, Cezary Dubnicki. TOS volume( 2): 424-448.
Redundancy and coverage detection in sensor networks. Bogdan Carbunar, Ananth Grama, Jan Vitek, Octavian Carbunar. TOSN volume( 2): 94-128.
A new approach to real-time checkpointing. Antonio Cunei, Jan Vitek. VEE: 68-77.
2005
Building Applications Using End to End Composition of Web Services. Vikas Agarwal, Girish Chafle, Koustuv Dasgupta, Neeran M. Karnik, Arun Kumar, Ashish Kundu, Anupam Mediratta, Sumit Mittal, Biplav Srivastava. AAAI: 1672-1673.Experimental evaluation of using dynamic slices for fault location. Xiangyu Zhang, Haifeng He, Neelam Gupta, Rajiv Gupta. AADEBUG: 33-42.
An auctioning reputation system based on anomaly. Shai Rubin, Mihai Christodorescu, Vinod Ganapathy, Jonathon T. Giffin, Louis Kruger, Hao Wang, Nicholas Kidd. ACM Conference on Computer and Communications Security: 270-279.
Cost and precision tradeoffs of dynamic data slicing algorithms. Xiangyu Zhang, Rajiv Gupta, Youtao Zhang. ACM Trans. Program. Lang. Syst. volume( 27): 631-661.
Locating faulty code using failure-inducing chops. Neelam Gupta, Haifeng He, Xiangyu Zhang, Rajiv Gupta. ASE: 263-272.
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++. Gogul Balakrishnan, Thomas W. Reps, Nicholas Kidd, Akash Lal, Junghee Lim, David Melski, Radu Gruian, Suan Hsi Yong, Chi-Hua Chen, Tim Teitelbaum. CAV: 158-163.
Overview of the Face Recognition Grand Challenge. P. Jonathon Phillips, Patrick J. Flynn, W. Todd Scruggs, Kevin W. Bowyer, Jin Chang, Kevin J. Hoffman, Joe Marques, Jaesik Min, William J. Worek. CVPR (1): 947-954.
Object-oriented programming in peer-to-peer systems. Patrick Th. Eugster, Sébastien Baehni. Concurrency - Practice and Experience volume( 17): 1053-1078.
Reconsidering complete search algorithms for protein backbone NMR assignment. Olga Vitek, Chris Bailey-Kellogg, Bruce A. Craig, Paul Kuliniewicz, Jan Vitek. ECCB/JBI: 236.
Matching execution histories of program versions. Xiangyu Zhang, Rajiv Gupta. ESEC/SIGSOFT FSE: 197-206.
SENSS: Security Enhancement to Symmetric Shared Memory Multiprocessors. Youtao Zhang, Lan Gao, Jun Yang 0002, Xiangyu Zhang, Rajiv Gupta. HPCA: 352-362.
Extended Whole Program Paths. Sriraman Tallam, Rajiv Gupta, Xiangyu Zhang. IEEE PACT: 17-26.
Efficient Intrusion Detection using Automaton Inlining. Rajeev Gopalakrishna, Eugene H. Spafford, Jan Vitek. IEEE Symposium on Security and Privacy: 18-31.
DICTATE: DIstributed CerTification Authority with probabilisTic frEshness for Ad Hoc Networks. Jun Luo, Jean-Pierre Hubaux, Patrick Th. Eugster. IEEE Trans. Dependable Sec. Comput. volume( 2): 311-323.
VI-Attached Database Storage. Yuanyuan Zhou, Angelos Bilas, Suresh Jagannathan, Dimitrios Xinidis, Cezary Dubnicki, Kai Li. IEEE Trans. Parallel Distrib. Syst. volume( 16): 35-50.
The Seal Calculus. Giuseppe Castagna, Jan Vitek, Francesco Zappa Nardelli. Inf. Comput. volume( 201): 1-54.
Simultaneous Graph Drawing: Layout Algorithms and Visualization Schemes. Cesim Erten, Stephen G. Kobourov, Vu Le, Armand Navabi. J. Graph Algorithms Appl. volume( 9): 165-182.
Location-based Publish/Subscribe. Patrick Th. Eugster, Benoît Garbinato, Adrian Holzer. NCA: 279-282.
PolyD: a flexible dispatching framework. Antonio Cunei, Jan Vitek. OOPSLA: 487-503.
Safe futures for Java. Adam Welc, Suresh Jagannathan, Antony L. Hosking. OOPSLA: 439-453.
String analysis for x86 binaries. Mihai Christodorescu, Nicholas Kidd, Wen-Han Goh. PASTE: 88-95.
Randomized Protocols for Duplicate Elimination in Peer-to-Peer Storage Systems. Ronaldo A. Ferreira, Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan. Peer-to-Peer Computing: 201-208.
Search with Probabilistic Guarantees in Unstructured Peer-to-Peer Networks. Ronaldo A. Ferreira, Murali Krishna Ramanathan, Asad Awan, Ananth Grama, Suresh Jagannathan. Peer-to-Peer Computing: 165-172.
Can Aspects Implement Contracts?. Stephanie Balzer, Patrick Th. Eugster, Bertrand Meyer. RISE: 145-157.
Preemptible Atomic Regions for Real-Time Java. Jeremy Manson, Jason Baker, Antonio Cunei, Suresh Jagannathan, Marek Prochazka, Bin Xin, Jan Vitek. RTSS: 62-71.
A transactional object calculus. Suresh Jagannathan, Jan Vitek, Adam Welc, Antony L. Hosking. Sci. Comput. Program. volume( 57): 164-186.
Concurrency and synchronization in Java programs. Mark Moir, Nir Shavit, Jan Vitek. Sci. Comput. Program. volume( 58): 291-292.
Engineering a common intermediate representation for the Ovm framework. Krzysztof Palacz, Jason Baker, Chapman Flack, Christian Grothoff, Hiroshi Yamauchi, Jan Vitek. Sci. Comput. Program. volume( 57): 357-378.
The evaluation of two software watermarking algorithms. Ginger Myles, Christian S. Collberg, Zachary V. Heidepriem, Armand Navabi. Softw., Pract. Exper. volume( 35): 923-938.
Whole execution traces and their applications. Xiangyu Zhang, Rajiv Gupta. TACO volume( 2): 301-334.
A service creation environment based on end to end composition of Web services. Vikas Agarwal, Koustuv Dasgupta, Neeran M. Karnik, Arun Kumar, Ashish Kundu, Sumit Mittal, Biplav Srivastava. WWW: 128-137.
2004
Software prefetching for mark-sweep garbage collection: hardware analysis and software redesign. Chen-Yong Cher, Antony L. Hosking, T. N. Vijaykumar. ASPLOS: 199-210.Probabilistic reliable multicast in ad hoc networks. Jun Luo, Patrick Th. Eugster, Jean-Pierre Hubaux. Ad Hoc Networks volume( 2): 369-386.
Value-Based Partial Redundancy Elimination. Thomas VanDrunen, Antony L. Hosking. CC: 167-184.
Extending Path Profiling across Loop Backedges and Procedure Boundaries. Sriraman Tallam, Xiangyu Zhang, Rajiv Gupta. CGO: 251-264.
Optimistic Concurrency Semantics for Transactions in Coordination Languages. Suresh Jagannathan, Jan Vitek. COORDINATION: 183-198.
Data-Aware Multicast. Sébastien Baehni, Patrick Th. Eugster, Rachid Guerraoui. DSN: 233-242.
Transactional Monitors for Concurrent Objects. Adam Welc, Suresh Jagannathan, Antony L. Hosking. ECOOP: 519-542.
A Semantic Framework for Designer Transactions. Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L. Hosking. ESOP: 249-263.
BGP-Based Clustering for Scalable and Reliable Gossip Broadcast. M. Brahami, Patrick Th. Eugster, Rachid Guerraoui, Sidath B. Handurukande. Global Computing: 273-290.
Graphael: A System for Generalized Force-Directed Layouts. David Forrester, Stephen G. Kobourov, Armand Navabi, Kevin Wampler, Gary V. Yee. Graph Drawing: 454-464.
Plethora: An EfficientWide-Area Storage System. Ronaldo A. Ferreira, Ananth Grama, Suresh Jagannathan. HiPC: 252-261.
D-Reliable Broadcast: A Probabilistic Measure of Broadcast Reliability. Patrick Th. Eugster, Rachid Guerraoui, Petr Kouznetsov. ICDCS: 636-643.
Linguistic Support for Distributed Programming Abstractions. Christian Heide Damm, Patrick Th. Eugster, Rachid Guerraoui. ICDCS: 244-251.
A Secure Crediting Protocol for Hybrid Cellular and Ad-Hoc Networks. Bogdan Carbunar, Ioannis Ioannidis, Ananth Grama, Jan Vitek. ICETE (3): 142-149.
Distributed and Dynamic Voronoi Overlays for Coverage Detection and Distributed Hash Tables in Ad-Hoc Networks. Bogdan Carbunar, Ananth Grama, Jan Vitek. ICPADS: 549-.
Enhancing Locality in Structured Peer-to-Peer Networks. Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama. ICPADS: 25-.
Preemption-Based Avoidance of Priority Inversion for Java. Adam Welc, Antony L. Hosking, Suresh Jagannathan. ICPP: 529-538.
Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams. Xiangyu Zhang, Rajiv Gupta, Youtao Zhang. ICSE: 502-511.
Towards Safe Distributed Application Development. Patrick Th. Eugster, Christian Heide Damm, Rachid Guerraoui. ICSE: 347-356.
Epidemic Information Dissemination in Distributed Systems. Patrick Th. Eugster, Rachid Guerraoui, Anne-Marie Kermarrec, Laurent Massoulié. IEEE Computer volume( 37): 60-67.
Distributed Programming with Typed Events. Patrick Th. Eugster, Rachid Guerraoui. IEEE Software volume( 21): 56-64.
Pilot: Probabilistic Lightweight Group Communication System for Ad Hoc Networks. Jun Luo, Patrick Th. Eugster, Jean-Pierre Hubaux. IEEE Trans. Mob. Comput. volume( 3): 164-179.
Barriers: friend or foe? Stephen M. Blackburn, Antony L. Hosking. ISMM: 143-151.
Real-Time Java Scoped Memory: Design Patterns and Semantics. Filip Pizlo, J. M. Fox, David Holmes, Jan Vitek. ISORC: 101-110.
Whole Execution Traces. Xiangyu Zhang, Rajiv Gupta. MICRO: 105-116.
Coordination and mobility in CoreLime. Bogdan Carbunar, Marco Tulio de Oliveira Valente, Jan Vitek. Mathematical Structures in Computer Science volume( 14): 397-419.
An improved slicer for Java. Christian Hammer, Gregor Snelting. PASTE: 17-22.
Cost effective dynamic program slicing. Xiangyu Zhang, Rajiv Gupta. PLDI: 94-106.
Scoped Types for Real-Time Java. Tian Zhao, James Noble, Jan Vitek. RTSS: 241-251.
2003
The many faces of publish/subscribe. Patrick Th. Eugster, Pascal Felber, Rachid Guerraoui, Anne-Marie Kermarrec. ACM Comput. Surv. volume( 35): 114-131.Lightweight probabilistic broadcast. Patrick Th. Eugster, Rachid Guerraoui, Sidath B. Handurukande, Petr Kouznetsov, Anne-Marie Kermarrec. ACM Trans. Comput. Syst. volume( 21): 341-374.
Hiding Program Slices for Software Security. Xiangyu Zhang, Rajiv Gupta. CGO: 325-336.
Type-Based Distributed Access Control. Tom Chothia, Dominic Duggan, Jan Vitek. CSFW: 170-.
Java Subtype Tests in Real-Time. Krzysztof Palacz, Jan Vitek. ECOOP: 378-404.
Simultaneous Graph Drawing: Layout Algorithms and Visualization Schemes. Cesim Erten, Stephen G. Kobourov, Vu Le, Armand Navabi. Graph Drawing: 437-449.
Pragmatic Type Interoperability. Sébastien Baehni, Patrick Th. Eugster, Rachid Guerraoui, Philippe Altherr. ICDCS: 404-411.
Precise Dynamic Slicing Algorithms. Xiangyu Zhang, Rajiv Gupta, Youtao Zhang. ICSE: 319-329.
Route Driven Gossip: Probabilistic Reliable Multicast in Ad Hoc Networks. Jun Luo, Patrick Th. Eugster, Jean-Pierre Hubaux. INFOCOM.
Secure Composition of Untrusted Code: Box pi, Wrappers, and Causality. Peter Sewell, Jan Vitek. Journal of Computer Security volume( 11): 135-188.
PAN: providing reliable storage in mobile ad hoc networks with probabilistic quorum systems. Jun Luo, Jean-Pierre Hubaux, Patrick Th. Eugster. MobiHoc: 1-12.
Penumbra: an Eclipse plugin for introductory programming. Frank Mueller, Antony L. Hosking. OOPSLA Workshop on Eclipse Technology eXchange: 65-68.
Coordinating processes with secure spaces. Jan Vitek, Ciarán Bryce, Manuel Oriol. Sci. Comput. Program. volume( 46): 163-193.
2002
Probabilistic Multicast. Patrick Th. Eugster, Rachid Guerraoui. DSN: 313-324.Resource Management for Safe Languages. Grzegorz Czajkowski, Jan Vitek. ECOOP Workshops: 1-14.
OS Support for P2P Programming: a Case for TPS. Sébastien Baehni, Patrick Th. Eugster, Rachid Guerraoui. ICDCS: 355-362.
Event Systems: How to Have Your Cake and Eat It Too. Patrick Th. Eugster, Pascal Felber, Rachid Guerraoui, Sidath B. Handurukande. ICDCS Workshops: 625-632.
Experiences with VI Communication for Database Storage. Yuanyuan Zhou, Kai Li, Angelos Bilas, Suresh Jagannathan, Cezary Dubnicki, James Philbin. ISCA: 257-.
Abstracting remote object interaction in a peer-2-peer environment. Patrick Th. Eugster, Sébastien Baehni. Java Grande: 46-55.
Incommunicado: efficient communication for isolates. Krzysztof Palacz, Jan Vitek, Grzegorz Czajkowski, Laurent Daynès. OOPSLA: 262-274.
2001
The JavaSeal Mobile Agent Kernel. Ciarán Bryce, Jan Vitek. Autonomous Agents and Multi-Agent Systems volume( 4): 359-384.Content-Based Publish/Subscribe with Structural Reflection. Patrick Th. Eugster, Rachid Guerraoui. COOTS: 131-146.
Effective multicast programming in large scale distributed systems. Patrick Th. Eugster, Romain Boichat, Rachid Guerraoui, Joe Sventek. Concurrency and Computation: Practice and Experience volume( 13): 421-447.
Lightweight Probabilistic Broadcast. Patrick Th. Eugster, Rachid Guerraoui, Sidath B. Handurukande, Petr Kouznetsov, Anne-Marie Kermarrec. DSN: 443-452.
On the Usefulness of Liveness for Garbage Collection and Leak Detection. Martin Hirzel, Amer Diwan, Antony L. Hosking. ECOOP: 181-206.
Lime Revisited: Reverse Engineering an Agent Communication Model. Bogdan Carbunar, Marco Tulio de Oliveira Valente, Jan Vitek. Electr. Notes Theor. Comput. Sci. volume( 54).
Lime Revisited. Bogdan Carbunar, Marco Tulio de Oliveira Valente, Jan Vitek. Mobile Agents: 54-69.
Encapsulating Objects with Confined Types. Christian Grothoff, Jens Palsberg, Jan Vitek. OOPSLA: 241-253.
On Objects and Events. Patrick Th. Eugster, Rachid Guerraoui, Christian Heide Damm. OOPSLA: 254-269.
Confined types in Java. Jan Vitek, Boris Bokowski. Softw., Pract. Exper. volume( 31): 507-532.
2000
Secure Composition of Untrusted Code: Wrappers and Causality Types. Peter Sewell, Jan Vitek. CSFW: 269-284.Distributed Asynchronous Collections: Abstractions for Publish/Subscribe Interaction. Patrick Th. Eugster, Rachid Guerraoui, Joe Sventek. ECOOP: 252-276.
Flow-Directed Closure Conversion for Typed Languages. Henry Cejtin, Suresh Jagannathan, Stephen Weeks. ESOP: 56-71.
A Framework for Persistence-Enabled Optimization of Java Object Stores. David Whitlock, Antony L. Hosking. POS: 4-17.
Session 4: Overview. Antony L. Hosking. POS: 157-160.
Concurrency Analysis for Java. Cristian Ungureanu, Suresh Jagannathan. SAS: 413-432.
Experiences with object group systems. Rachid Guerraoui, Patrick Th. Eugster, Pascal Felber, Benoît Garbinato, Karim Mazouni. Softw., Pract. Exper. volume( 30): 1375-1404.
Persistent object systems. Antony L. Hosking, Quintin I. Cutts. Softw., Pract. Exper. volume( 30): 293-294.
Continuation-based transformations for coordination languages. Suresh Jagannathan. Theor. Comput. Sci. volume( 240): 117-146.
1999
Mobile and Distributed Agents in Mobidget. Satoru Fujita, Kazuya Koyama, Toru Yamanouchi, Suresh Jagannathan, Richard Kelsey, James Philbin. ASA/MA: 276-292.The JavaSeal Mobile Agent Kernel. Ciarán Bryce, Jan Vitek. ASA/MA: 103-117.
A Coordination Model Agents Based on Secure Spaces. Ciarán Bryce, Manuel Oriol, Jan Vitek. COORDINATION: 4-20.
Secure Composition of Insecure Components. Peter Sewell, Jan Vitek. CSFW: 136-150.
Replicating CORBA objects: a marriage between active and passive replication. Pascal Felber, Xavier Défago, Patrick Th. Eugster, André Schiper. DAIS: 375-388.
Aliasing in Object Oriented Systems. James Noble, Jan Vitek, Doug Lea, Paulo Sérgio Almeida. ECOOP Workshops: 136-163.
Partial Redundancy Elimination for Access Path Expressions. Antony L. Hosking, Nathaniel Nystrom, David Whitlock, Quintin I. Cutts, Amer Diwan. ECOOP Workshops: 138-141.
Transparent Communication for Distributed Objects in Java. Michael W. Hicks, Suresh Jagannathan, Richard Kelsey, Jonathan T. Moore, Cristian Ungureanu. Java Grande: 160-170.
Confined Types. Jan Vitek, Boris Bokowski. OOPSLA: 82-96.
Mostly-copying Reachability-based Orthogonal Persistence. Antony L. Hosking, Jiawan Chen. OOPSLA: 382-398.
PM3: An Orthogonal Persistent Systems Programming Language - Design, Implementation, Performance. Antony L. Hosking, Jiawan Chen. VLDB: 587-598.
1998
Polymorphic Splitting: An Effective Polyvariant Flow Analysis. Andrew K. Wright, Suresh Jagannathan. ACM Trans. Program. Lang. Syst. volume( 20): 166-207.JAZZ: an efficient compressed format for Java archive files. Quetzalcoatl Bradley, R. Nigel Horspool, Jan Vitek. CASCON: 7.
Flexible Alias Protection. James Noble, Jan Vitek, John Potter. ECOOP: 158-185.
4th ECOOP Workshop on Mobility: Secure Internet Mobile Computations. Ciarán Bryce, Leila Ismail, Jan Vitek. ECOOP Workshops: 288-290.
On the Interaction between Mobile Processes and Objects. Suresh Jagannathan, Richard Kelsey. Heterogeneous Computing Workshop: 163-170.
Seal: A Framework for Secure Mobile Computations. Jan Vitek, Giuseppe Castagna. ICCL Workshop: Internet Programming Languages: 47-77.
Single and Loving It: Must-Alias Analysis for Higher-Order Languages. Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright. POPL: 329-341.
Optimizing the Read and Write Barriers for Orthogonal Persistence. Antony L. Hosking, Nathaniel Nystrom, Quintin I. Cutts, Kumar Brahnmath. POS/PJW: 149-159.
Reconciling Buffer Management with Persistence Optimisations. Quintin I. Cutts, Stuart Lennon, Antony L. Hosking. POS/PJW: 51-63.
Swizzle Barrier Optimizations for Orthogonal Persistence in Java. Kumar Brahnmath, Nathaniel Nystrom, Antony L. Hosking, Quintin I. Cutts. POS/PJW: 268-278.
Compiling Java to a Typed Lambda-Calculus: A Preliminary Report. Andrew K. Wright, Suresh Jagannathan, Cristian Ungureanu, Aaron Hertzmann. Types in Compilation: 9-27.
Distributed World Wide Web Processing: Applications and Techniques of Web Agents - Preface. Paolo Ciancarini, Robert Tolksdorf, Jan Vitek. World Wide Web volume( 1): 109.
1997
Communication-Passing Style for Coordination Languages. Suresh Jagannathan. COORDINATION: 131-149.Near Optimal Hierarchical Encoding of Types. Andreas Krall, Jan Vitek, R. Nigel Horspool. ECOOP: 128-145.
On Extending Java. Andreas Krall, Jan Vitek. JMLC: 321-335.
Efficient Type Inclusion Tests. Jan Vitek, R. Nigel Horspool, Andreas Krall. OOPSLA: 142-157.
Type-Directed Flow Analysis for Typed Intermediate Languages. Suresh Jagannathan, Stephen Weeks, Andrew K. Wright. SAS: 232-249.
1996
Compiling Functional Languages with Flow Analysis. Suresh Jagannathan, Andrew K. Wright. ACM Comput. Surv. volume( 28): 337-339.Compact Dispatch Tables for Dynamically Typed Object Oriented Languages. Jan Vitek, R. Nigel Horspool. CC: 309-325.
Security and Communication in Mobile Object Systems. Jan Vitek, Manuel Serrano, Dimitri Thanos. Mobile Object Systems: 177-200.
Flow-directed Inlining. Suresh Jagannathan, Andrew K. Wright. PLDI: 193-205.
Residency Check Elimination for Object-Oriented Persistent Language. Antony L. Hosking. POS: 174-183.
Uniformity of Environment and Computation in MAP. Elisabeth Freeman, David Gelernter, Suresh Jagannathan. VL: 130-137.
1995
Higher-Order Distributed Objects. Henry Cejtin, Suresh Jagannathan, Richard Kelsey. ACM Trans. Program. Lang. Syst. volume( 17): 704-739.Message Dispatch on Pipelined Processors. Karel Driesen, Urs Hölzle, Jan Vitek. ECOOP: 253-282.
Virtual Topologies: A New Concurrency Abstraction for High-Level Parallel Languages. James Philbin, Suresh Jagannathan, Rajiv Mirani. LCPC: 450-464.
A Unified Treatment of Flow Analysis in Higher-Order Languages. Suresh Jagannathan, Stephen Weeks. POPL: 393-407.
Effective Flow Analysis for Avoiding Run-Time Checks Suresh Jagannathan, Andrew K. Wright. SAS: 207-224.
In Search of a Simple Visual Vocabulary. Elisabeth Freeman, David Gelernter, Suresh Jagannathan. VL: 302-309.
1994
Metalevel Building Blocks for Modular Systems. Suresh Jagannathan. ACM Trans. Program. Lang. Syst. volume( 16): 456-492.Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages. Jan Vitek, R. Nigel Horspool. ECOOP: 432-449.
Dynamic Modules in Higher-Order Languages. Suresh Jagannathan. ICCL: 74-87.
Analyzing Stores and References in a Parallel Symbolic Language. Suresh Jagannathan, Stephen Weeks. LISP and Functional Programming: 294-305.
A Concurrent Abstract Interpreter. Stephen Weeks, Suresh Jagannathan, James Philbin. Lisp and Symbolic Computation volume( 7): 173-193.
TS/Scheme: Distributed Data Structures in Lisp. Suresh Jagannathan. Lisp and Symbolic Computation volume( 7): 291-314.
Expressing Object Residency Optimizations Using Pointer Type Annotations. J. Eliot B. Moss, Antony L. Hosking. POS: 3-15.
High-Level Abstractions for Efficient Concurrent Systems. Suresh Jagannathan, James Philbin. Programming Languages and System Architectures: 171-190.
Locality Abstractions for Parallel and Distributed Computing. Suresh Jagannathan. Theory and Practice of Parallel Programming: 320-345.
1993
Static Analysis of PostScript Code. R. Nigel Horspool, Jan Vitek. Comput. Lang. volume( 19): 65-78.Object Fault Handling for Persistent Programming Languages: A Performance Evaluation. Antony L. Hosking, J. Eliot B. Moss. OOPSLA: 288-303.
Protection Traps and Alternatives for Memory Management of an Object-Oriented Language. Antony L. Hosking, J. Eliot B. Moss. SOSP: 106-119.
Update Logging for Persistent Programming Languages: A Comparative Performance Evaluation. Antony L. Hosking, Eric W. Brown, J. Eliot B. Moss. VLDB: 429-440.
1992
Compile-Time Analysis of Object-Oriented Programs. Jan Vitek, R. Nigel Horspool, James S. Uhl. CC: 236-250.A Reflective Model of Inheritance. Suresh Jagannathan, Gul Agha. ECOOP: 350-371.
Static analysis of PostScript code. R. Nigel Horspool, Jan Vitek. ICCL: 14-23.
A Foundation for an Efficient Multi-Threaded Scheme System. Suresh Jagannathan, James Philbin. LISP and Functional Programming: 345-357.
A Comparative Performance Evaluation of Write Barrier Implementations. Antony L. Hosking, J. Eliot B. Moss, Darko Stefanovic. OOPSLA: 92-109.
A Customizable Substrate for Concurrent Languages. Suresh Jagannathan, James Philbin. PLDI: 55-67.
TS/Scheme: Distributed Data Structures in Lisp. Suresh Jagannathan. Parallel Symbolic Computing: 260-267.
1991
Customization of First Class Tuple-Spaces in a Higher-Order Language. Suresh Jagannathan. PARLE (2): 254-276.Expressing Fine-Grained Parallelism Using Concurrent Data Structures. Suresh Jagannathan. Research Directions in High-Level Parallel Programming Languages: 77-92.
1990
Coercion as a Metaphor for Computatiion. Suresh Jagannathan. ICCL: 116-127.Towards Compile-Time Optimizations for Persistence. Antony L. Hosking, J. Eliot B. Moss. POS: 17-27.
1987
Parallelism, persistence and meta-cleanliness in the symmetric Lisp interpreter. David Gelernter, Suresh Jagannathan, Thomas London. PLDI: 274-282.Environments as First Class Objects. David Gelernter, Suresh Jagannathan, Thomas London. POPL: 98-110.