Julia L. Lawall

Shi-Min Hu

ACM Trans. Comput. Syst., 2020

Automatic Android Deprecated-API Usage Update by Learning from Single Updated Example.

[BibT_eX]

[DOI]

Stefanus Agus Haryono

CoRR, 2020

CC2Vec: Distributed Representations of Code Changes.

[BibT_eX]

[DOI]

CoRR, 2020

Automated Deprecated-API Usage Update for Android Apps: How Far are We?

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

SPINFER: Inferring Semantic Patches for the Linux Kernel.

[BibT_eX]

[DOI]

Proceedings of the 2020 USENIX Annual Technical Conference, 2020

Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler for Improved Application Performance.

[BibT_eX]

[DOI]

Proceedings of the 2020 USENIX Annual Technical Conference, 2020

Provable multicore schedulers with Ipanema: application to work conservation.

[BibT_eX]

[DOI]

Maria-Virginia Aponte

Proceedings of the EuroSys '20: Fifteenth EuroSys Conference 2020, 2020

2019

RACOON++: A Semi-Automatic Framework for the Selfishness-Aware Design of Cooperative Systems.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2019

Semantic Patches for Java Program Transformation (Artifact).

[BibT_eX]

[DOI]

DARTS, 2019

PatchNet: Hierarchical Deep Learning-Based Stable Patch Identification for the Linux Kernel.

[BibT_eX]

[DOI]

Thong Hoang

Richard Jayadi Oentaryo

CoRR, 2019

Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers.

[BibT_eX]

[DOI]

Proceedings of the 2019 USENIX Annual Technical Conference, 2019

Fork/Wait and Multicore Frequency Scaling: a Generational Clash.

[BibT_eX]

[DOI]

Proceedings of the 10th Workshop on Programming Languages and Operating Systems, 2019

Fuzzing Error Handling Code in Device Drivers Based on Software Fault Injection.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

PatchNet: a tool for deep patch classification.

[BibT_eX]

[DOI]

Thong Hoang

Richard Jayadi Oentaryo

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

Semantic Patches for Java Program Transformation (Experience Report).

[BibT_eX]

[DOI]

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

DCNS: Automated Detection Of Conservative Non-Sleep Defects in the Linux Kernel.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2018

Cleaning up copy-paste clones with interactive merging.

[BibT_eX]

[DOI]

Krishna Narasimhan

Christoph Reichenbach

Autom. Softw. Eng., 2018

Coccinelle: 10 Years of Automated Evolution in the Linux Kernel.

[BibT_eX]

[DOI]

Proceedings of the 2018 USENIX Annual Technical Conference, 2018

The Battle of the Schedulers: FreeBSD ULE vs. Linux CFS.

[BibT_eX]

[DOI]

Proceedings of the 2018 USENIX Annual Technical Conference, 2018

DSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel Modules.

[BibT_eX]

[DOI]

Proceedings of the 2018 USENIX Annual Technical Conference, 2018

2017

Code Coverage and Postrelease Defects: A Large-Scale Study on Open Source Projects.

[BibT_eX]

[DOI]

Pavneet Singh Kochhar

Nachiappan Nagappan

IEEE Trans. Reliab., 2017

Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers.

[BibT_eX]

[DOI]

Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Interactive data representation migration: exploiting program dependence to aid program transformation.

[BibT_eX]

[DOI]

Krishna Narasimhan

Christoph Reichenbach

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2017

Towards Proving Optimistic Multicore Schedulers.

[BibT_eX]

[DOI]

Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

JMake: Dependable Compilation for Kernel Janitors.

[BibT_eX]

[DOI]

Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2017

Analysing Selfishness Flooding with SEINE.

[BibT_eX]

[DOI]

Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2017

2016

Fast and Portable Locking for Multicore Architectures.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2016

Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel.

[BibT_eX]

[DOI]

Laurent Réveillère

Autom. Softw. Eng., 2016

Understanding the Memory Consumption of the MiBench Embedded Benchmark.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - 4th International Conference, 2016

Recommending Code Changes for Automatic Backporting of Linux Device Drivers.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

From Sets to Bits in Coq.

[BibT_eX]

[DOI]

Arthur Blot

Pierre-Évariste Dagand

Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016

Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality Embedded System.

[BibT_eX]

[DOI]

Proceedings of the 28th Euromicro Conference on Real-Time Systems, 2016

2015

Supporting Time-Based QoS Requirements in Software Transactional Memory.

[BibT_eX]

[DOI]

ACM Trans. Parallel Comput., 2015

Implementing an embedded compiler using program transformation rules.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2015

Improving pattern tracking with a language-aware tree differencing algorithm.

[BibT_eX]

[DOI]

Nicolas Palix

Jean-Rémy Falleri

Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015

A Framework for the Design Configuration of Accountable Selfish-Resilient Peer-to-Peer Systems.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems, 2015

Are These Bugs Really "Normal"?

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE/ACM Working Conference on Mining Software Repositories, 2015

Increasing Automation in the Backporting of Linux Drivers Using Coccinelle.

[BibT_eX]

[DOI]

Luis R. Rodriguez

Proceedings of the 11th European Dependable Computing Conference, 2015

Incinerator - Eliminating Stale References in Dynamic OSGi Applications.

[BibT_eX]

[DOI]

Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

2014

Faults in Linux 2.6.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2014

Coccinelle: Tool support for automated CERT C Secure Coding Standard certification.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

Continuously measuring critical section pressure with the free-lunch profiler.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Oops! where did that code snippet come from?

[BibT_eX]

[DOI]

Lisong Guo

Proceedings of the 11th Working Conference on Mining Software Repositories, 2014

Compositional Vector Space Models for Improved Bug Localization.

[BibT_eX]

[DOI]

Shaowei Wang

Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

On the Effectiveness of Information Retrieval Based Bug Localization for C Programs.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

SEWordSim: software-specific word similarity database.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

Automated construction of a software-specific word similarity database.

[BibT_eX]

[DOI]

Proceedings of the 2014 Software Evolution Week, 2014

An Empirical Study on the Adequacy of Testing in Open Source Projects.

[BibT_eX]

[DOI]

Pavneet Singh Kochhar

Ferdian Thung

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

Coccinelle: reducing the barriers to modularization in a large C code base.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Modularity, 2014

2013

BtrPlace: A Flexible Consolidation Manager for Highly Available Applications.

[BibT_eX]

[DOI]

Fabien Hermenier

IEEE Trans. Dependable Secur. Comput., 2013

WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2013

SIGPLAN professional activities committee report.

[BibT_eX]

[DOI]

Cristina V. Lopes

ACM SIGPLAN Notices, 2013

Editorial TFP 2009/2010.

[BibT_eX]

[DOI]

Viktória Zsók

Rex L. Page

High. Order Symb. Comput., 2013

Automated library recommendation.

[BibT_eX]

[DOI]

Ferdian Thung

Proceedings of the 20th Working Conference on Reverse Engineering, 2013

Understanding the genetic makeup of Linux device drivers.

[BibT_eX]

[DOI]

Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, 2013

Automatic recommendation of API methods from feature requests.

[BibT_eX]

[DOI]

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Hector: Detecting Resource-Release Omission Faults in error-handling code for systems software.

[BibT_eX]

[DOI]

Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

2012

Preface to the special issue on feature-oriented software development (FOSD 2009).

[BibT_eX]

[DOI]

Sven Apel

Christian Lengauer

Sci. Comput. Program., 2012

Editorial PEPM2012.

[BibT_eX]

[DOI]

Oleg Kiselyov

Simon J. Thompson

High. Order Symb. Comput., 2012

Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications.

[BibT_eX]

[DOI]

Proceedings of the 2012 USENIX Annual Technical Conference, 2012

Diagnosys: automatic generation of a debugging interface to the Linux kernel.

[BibT_eX]

[DOI]

Laurent Réveillère

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Semantic patch inference.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Identifying Linux bug fixing patches.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Zebu: A Language-Based Approach for Network Protocol Message Processing.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2011

Finding resource-release omission faults in Linux.

[BibT_eX]

[DOI]

Suman Saha

ACM SIGOPS Oper. Syst. Rev., 2011

Editorial.

[BibT_eX]

[DOI]

Germán Puebla

Germán Vidal

High. Order Symb. Comput., 2011

Faire levier sur les architectures logicielles pour guider et vérifier le développement d'applications SCC

[BibT_eX]

[DOI]

CoRR, 2011

An approach to improving the structure of error-handling code in the linux kernel.

[BibT_eX]

[DOI]

Suman Saha

Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011

Leveraging software architectures to guide and verify the development of sense/compute/control applications.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

Deadline-aware scheduling for Software Transactional Memory.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

Faults in linux: ten years later.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010

Preface to special issue on Generative Programming and Component Engineering (GPCE 2007).

[BibT_eX]

[DOI]

Sci. Comput. Program., 2010

Improving the Security of Infrastructure Software using Coccinelle.

[BibT_eX]

[DOI]

ERCIM News, 2010

Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification.

[BibT_eX]

[DOI]

ECEASST, 2010

Generic patch inference.

[BibT_eX]

[DOI]

Jesper Andersen

Autom. Softw. Eng., 2010

VMKit: a substrate for managed runtime environments.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Virtual Execution Environments, 2010

Scheduling support for transactional memory contention management.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

Bridging the Gap between Legacy Services and Web Services.

[BibT_eX]

[DOI]

Proceedings of the Middleware 2010 - ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29, 2010

An automated approach for finding variable-constant pairing bugs.

[BibT_eX]

[DOI]

Proceedings of the ASE 2010, 2010

Finding Error Handling Bugs in OpenSSL Using Coccinelle.

[BibT_eX]

[DOI]

Proceedings of the Eighth European Dependable Computing Conference, 2010

Development of a Synchronous Subset of AADL.

[BibT_eX]

[DOI]

Mamoun Filali-Amine

Proceedings of the Abstract State Machines, 2010

Tracking code patterns over multiple software versions with Herodotos.

[BibT_eX]

[DOI]

Nicolas Palix

Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010

2009

Entropy: a consolidation manager for clusters.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Virtual Execution Environments, 2009

A foundation for flow-based program matching: using temporal logic and model checking.

[BibT_eX]

[DOI]

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Automatic Generation of Network Protocol Gateways.

[BibT_eX]

[DOI]

Proceedings of the Middleware 2009, ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30, 2009

WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2008

Software Architecture Evolution.

[BibT_eX]

[DOI]

Olivier Barais

Laurence Duchien

Proceedings of the Software Evolution, 2008

Editorial.

[BibT_eX]

[DOI]

Michael Leuschel

Peter Sestoft

High. Order Symb. Comput., 2008

Editorial.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2008

Editorial.

[BibT_eX]

[DOI]

J. Funct. Program., 2008

High-level Programming Support for Robust Pervasive Computing Applications.

[BibT_eX]

[DOI]

Proceedings of the Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), 2008

Pantaxou: a domain-specific language for developing safe coordination services.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2008

Documenting and automating collateral evolutions in linux device drivers.

[BibT_eX]

[DOI]

Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK, April 1-4, 2008, 2008

2007

SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers.

[BibT_eX]

[DOI]

Yoann Padioleau

Electron. Notes Theor. Comput. Sci., 2007

Automatic Verification of Bossa Scheduler Properties.

[BibT_eX]

[DOI]

Electron. Notes Theor. Comput. Sci., 2007

A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), 2007

Towards easing the diagnosis of bugs in OS code.

[BibT_eX]

[DOI]

Proceedings of the 4th workshop on Programming languages and operating systems, 2007

A stepwise approach to developing languages for SIP telephony service creation.

[BibT_eX]

[DOI]

Proceedings of the Principles, 2007

Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications.

[BibT_eX]

[DOI]

Richard Urunuela

Proceedings of the Power-aware Computing Systems, 21.01. - 26.01.2007, 2007

2006

Semantic patches considered helpful.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 2006

Minimizing Cache Misses in an Event-driven Network Server: A Case Study of TUX.

[BibT_eX]

[DOI]

Sapan Bhatia

Proceedings of the LCN 2006, 2006

Memory-manager/scheduler co-design: optimizing event-driven servers to improve cache behavior.

[BibT_eX]

[DOI]

Sapan Bhatia

Proceedings of the 5th International Symposium on Memory Management, 2006

Language Technology for Internet-Telephony Service Creation.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2006

Understanding collateral evolution in Linux device drivers.

[BibT_eX]

[DOI]

Yoann Padioleau

Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, 2006

Energy adaptation for multimedia information kiosks.

[BibT_eX]

[DOI]

Richard Urunuela

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Safe Integration of New Concerns in a Software Architecture.

[BibT_eX]

[DOI]

Olivier Barais

Laurence Duchien

Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 2006

Semantic patches for documenting and automating collateral evolutions in Linux device drivers.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, 2006

Issues in holistic system design.

[BibT_eX]

[DOI]

Christian W. Probst

Ulrik Pagh Schultz

Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, 2006

2005

Editorial.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2005

Providing Support for Safe Software Architecture Transformations.

[BibT_eX]

[DOI]

Olivier Barais

Laurence Duchien

Proceedings of the Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 2005

Formal Methods Meet Domain Specific Languages.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation.

[BibT_eX]

[DOI]

Hervé Duchesne

Proceedings of the Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 2005

Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language.

[BibT_eX]

[DOI]

Hervé Duchesne

Proceedings of the Generative Programming and Component Engineering, 2005

2004

A tour of Tempo: a program specializer for the C language.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2004

Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2004

Constructing component-based extension interfaces in legacy systems code.

[BibT_eX]

[DOI]

Proceedings of the 11st ACM SIGOPS European Workshop, 2004

Invited application paper: language design for implementing process scheduling hierarchies.

[BibT_eX]

[DOI]

Hervé Duchesne

Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004

On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004

2003

A domain-specific language approach to programmable networks.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part C, 2003

Automatic program specialization for Java.

[BibT_eX]

[DOI]

Ulrik Pagh Schultz

ACM Trans. Program. Lang. Syst., 2003

On the automatic evolution of an OS kernel using temporal logic and AOP.

[BibT_eX]

[DOI]

Marc Ségura-Devillechaise

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

Web cache prefetching as an aspect: towards a dynamic-weaving based solution.

[BibT_eX]

[DOI]

Jean-Marc Menaud

Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, 2003

2002

Think: A Software Framework for Component-based Operating System Kernels.

[BibT_eX]

[DOI]

Jean-Philippe Fassino

Jean-Bernard Stefani

Proceedings of the General Track: 2002 USENIX Annual Technical Conference, 2002

Capturing OS expertise in an event type system: the Bossa experience.

[BibT_eX]

[DOI]

Luciano Porto Barreto

Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

Towards bridging the gap between programming languages and partial evaluation.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), 2002

Distributing MPEG Movies Over the Internet using Programmable Networks.

[BibT_eX]

[DOI]

Dan He

Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002

2001

Partial Evaluation of Pattern Matching in Strings, revisited.

[BibT_eX]

[DOI]

Bernd Grobauer

Nord. J. Comput., 2001

Editorial.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2001

Implementing Circularity Using Partial Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Programs as Data Objects, Second Symposium, 2001

2000

Static and Dynamic Program Compilation by Interpreter Specialization.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2000

Specialization Patterns.

[BibT_eX]

[DOI]

Ulrik Pagh Schultz

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

Sharing Continuations: Proofnets for Languages with Explicit Control.

[BibT_eX]

[DOI]

Harry G. Mairson

Proceedings of the Programming Languages and Systems, 2000

Efficient Incremental Checkpointing of Java Programs.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

1999

Towards Automatic Specialization of Java Programs.

[BibT_eX]

[DOI]

Proceedings of the ECOOP'99, 1999

1998

Faster Fourier Transforms via Automatic Program Specialization.

[BibT_eX]

[DOI]

Proceedings of the Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29, 1998

Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study.

[BibT_eX]

[DOI]

Proceedings of the 1998 International Conference on Computer Languages, 1998

1997

Sound Specialization in the Presence of Computational Effects.

[BibT_eX]

[DOI]

Peter Thiemann

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

on Global Dynamics of Optimal Graph Reduction.

[BibT_eX]

[DOI]

Harry G. Mairson

Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

1996

Optimality and Inefficiency: What Isn't a Cost Model of the Lambda Calculus?

[BibT_eX]

[DOI]

Harry G. Mairson

Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996

1994

Continuation-Based Partial Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994

1993

Separating Stages in the Continuation-Passing Style Transformation.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

Proofs by Structural Induction using Partial Evaluation.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1993

1992

Back to Direct Style II: First-Class Continuations.

[BibT_eX]

[DOI]