TDG Scholar TDGScholar Committed to research! Version 1.7
Home | Bibliography | Writers | Journals | Conferences | Publishers Help | News

Bibliography

| Report | Share
More than 125 records were found in 1.141 seconds
Fetch | Report | Google
Constraint-Based Refactoring
Friedrich Steimann
ACM Trans. Program. Lang. Syst., 40(1):2:1-2:40, 2018
Fetch | Report | Google
Verifying Reliability Properties Using the Hyperball Abstract Domain
Jacob Lidman, Sally A. McKee
ACM Trans. Program. Lang. Syst., 40(1):3:1-3:29, 2018
Fetch | Report | Google
Conditioning in Probabilistic Programming
Federico Olmedo, Friedrich Gretz, Nils Jansen 0001, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver
ACM Trans. Program. Lang. Syst., 40(1):4:1-4:50, 2018
Fetch | Report | Google
On Subtyping-Relation Completeness, with an Application to Iso-Recursive Types
Jay Ligatti, Jeremy Blackburn, Michael Nachtigal
ACM Trans. Program. Lang. Syst., 39(1):4:1-4:36, 2017
Fetch | Report | Google
SPL: An Extensible Language for Distributed Stream Processing
Martin Hirzel, Scott Schneider 0001, Bugra Gedik
ACM Trans. Program. Lang. Syst., 39(1):5:1-5:39, 2017
Fetch | Report | Google
Polymorphic Manifest Contracts, Revised and Resolved
Taro Sekiyama, Atsushi Igarashi, Michael Greenberg 0002
ACM Trans. Program. Lang. Syst., 39(1):3:1-3:36, 2017
Fetch | Report | Google
Programs from Proofs: A Framework for the Safe Execution of Untrusted Software
Marie-Christine Jakobs, Heike Wehrheim
ACM Trans. Program. Lang. Syst., 39(2):7:1-7:56, 2017
Fetch | Report | Google
From Clarity to Efficiency for Distributed Algorithms
Yanhong A. Liu, Scott D. Stoller, Bo Lin
ACM Trans. Program. Lang. Syst., 39(3):12:1-12:41, 2017
Fetch | Report | Google
Multiple Facets for Dynamic Information Flow with Exceptions
Thomas H. Austin, Thomas Schmitz, Cormac Flanagan
ACM Trans. Program. Lang. Syst., 39(3):10:1-10:56, 2017
Fetch | Report | Google
Foreword
Andrew Myers
ACM Trans. Program. Lang. Syst., 39(1):1:1, 2017
Fetch | Report | Google
Newtonian Program Analysis via Tensor Product
Thomas W. Reps, Emma Turetsky, Prathmesh Prabhu
ACM Trans. Program. Lang. Syst., 39(2):9:1-9:72, 2017
Fetch | Report | Google
Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion
Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl
ACM Trans. Program. Lang. Syst., 39(2):6:1-6:38, 2017
Fetch | Report | Google
Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types
Colin S. Gordon, Michael D. Ernst, Dan Grossman, Matthew J. Parkinson
ACM Trans. Program. Lang. Syst., 39(3):11:1-11:54, 2017
Fetch | Report | Google
A Simple, Possibly Correct LR Parser for C11
Jacques-Henri Jourdan, François Pottier
ACM Trans. Program. Lang. Syst., 39(4):14:1-14:36, 2017
Fetch | Report | Google
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform
Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Stephen Adams, Stavros Aronis, Robert Baker 0001, Eva Bihari, Olivier Boudeville, Francesco Cesarini, Maurizio Di Stefano, Sverker Eriksson, Viktoria Fordós, Amir Ghaffari, Aggelos Giantsios, Rickard Green, Csaba Hoch, David Klaftenegger, Huiqing Li, Kenneth Lundin, Kenneth MacKenzie, Katerina Roukounaki, Yiannis Tsiouris, Kjell Winblad
ACM Trans. Program. Lang. Syst., 39(4):17:1-17:46, 2017
Fetch | Report | Google
SHErrLoc: A Static Holistic Error Locator
Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones
ACM Trans. Program. Lang. Syst., 39(4):18:1-18:47, 2017
Fetch | Report | Google
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
Vojtech Forejt, Saurabh Joshi 0001, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma
ACM Trans. Program. Lang. Syst., 39(4):15:1-15:27, 2017
Fetch | Report | Google
Sound Non-Statistical Clustering of Static Analysis Alarms
Woosuk Lee, Wonchan Lee, Dongok Kang, Kihong Heo, Hakjoo Oh, Kwangkeun Yi
ACM Trans. Program. Lang. Syst., 39(4):16:1-16:35, 2017
Fetch | Report | Google
Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic
Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson, Kasper Svendsen, Lars Birkedal
ACM Trans. Program. Lang. Syst., 38(2):4, 2016
Fetch | Report | Google
An Abstract Interpretation-Based Model of Tracing Just-in-Time Compilation
Stefano Dissegna, Francesco Logozzo, Francesco Ranzato
ACM Trans. Program. Lang. Syst., 38(2):7, 2016
Fetch | Report | Google
A Practical Approach for Model Checking C/C++11 Code
Brian Norris, Brian Demsky
ACM Trans. Program. Lang. Syst., 38(3):10:1-10:51, 2016
Fetch | Report | Google
The Pluto+ Algorithm: A Practical Approach for Parallelization and Locality Optimization of Affine Loop Nests
Uday Bondhugula, Aravind Acharya, Albert Cohen 0001
ACM Trans. Program. Lang. Syst., 38(3):12:1-12:32, 2016
Fetch | Report | Google
ThisType for Object-Oriented Languages: From Theory to Practice
Sukyoung Ryu
ACM Trans. Program. Lang. Syst., 38(3):8:1-8:66, 2016
Fetch | Report | Google
Thinking Inside the Box: Compartmentalized Garbage Collection
Gregor Wagner, Per Larsen, Stefan Brunthaler, Michael Franz
ACM Trans. Program. Lang. Syst., 38(3):9:1-9:37, 2016
Fetch | Report | Google
Automatic Storage Optimization for Arrays
Somashekaracharya G. Bhaskaracharya, Uday Bondhugula, Albert Cohen 0001
ACM Trans. Program. Lang. Syst., 38(3):11:1-11:23, 2016
Fetch | Report | Google
Selective X-Sensitive Analysis Guided by Impact Pre-Analysis
Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi
ACM Trans. Program. Lang. Syst., 38(2):6, 2016
Fetch | Report | Google
Compiler-Driven Software Speculation for Thread-Level Parallelism
Paraskevas Yiapanis, Gavin Brown, Mikel Luján
ACM Trans. Program. Lang. Syst., 38(2):5, 2016
Fetch | Report | Google
Automated Classification of Data Races Under Both Strong and Weak Memory Models
Baris Kasikci, Cristian Zamfir, George Candea
ACM Trans. Program. Lang. Syst., 37(3):8, 2015
Fetch | Report | Google
A Logical Approach to Deciding Semantic Subtyping
Nils Gesbert, Pierre Genevès, Nabil Layaïda
ACM Trans. Program. Lang. Syst., 38(1):3, 2015
Fetch | Report | Google
Fast: A Transducer-Based Language for Tree Manipulation
Loris D'Antoni, Margus Veanes, Benjamin Livshits, David Molnar
ACM Trans. Program. Lang. Syst., 38(1):1, 2015
Fetch | Report | Google
The Design and Implementation of a Verification Technique for GPU Kernels
Adam Betts, Nathan Chong, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer, Paul Thomson, John Wickerson
ACM Trans. Program. Lang. Syst., 37(3):10, 2015
Fetch | Report | Google
Polyhedral AST Generation Is More Than Scanning Polyhedra
Tobias Grosser, Sven Verdoolaege, Albert Cohen 0001
ACM Trans. Program. Lang. Syst., 37(4):12, 2015
Fetch | Report | Google
Behavioral Subtyping, Specification Inheritance, and Modular Reasoning
Gary T. Leavens, David A. Naumann
ACM Trans. Program. Lang. Syst., 37(4):13, 2015
Fetch | Report | Google
Affine Refinement Types for Secure Distributed Programming
Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei
ACM Trans. Program. Lang. Syst., 37(4):11, 2015
Fetch | Report | Google
An Extension of ATL with Strategy Interaction
Farn Wang, Sven Schewe, Chung-Hao Huang
ACM Trans. Program. Lang. Syst., 37(3):9, 2015
Fetch | Report | Google
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
Dariusz Biernacki, Olivier Danvy, Kevin Millikin
ACM Trans. Program. Lang. Syst., 38(1):2, 2015
Fetch | Report | Google
MCALIB: Measuring Sensitivity to Rounding Error with Monte Carlo Programming
Michael Frechtling, Philip Heng Wai Leong
ACM Trans. Program. Lang. Syst., 37(2):5, 2015
Fetch | Report | Google
Verification of a Cryptographic Primitive: SHA-256
Andrew W. Appel
ACM Trans. Program. Lang. Syst., 37(2):7, 2015
Fetch | Report | Google
Secure Compilation to Protected Module Architectures
Marco Patrignani, Pieter Agten, Raoul Strackx, Bart Jacobs 0002, Dave Clarke, Frank Piessens
ACM Trans. Program. Lang. Syst., 37(2):6, 2015
Fetch | Report | Google
Editorial
Jens Palsberg
ACM Trans. Program. Lang. Syst., 37(1):1e:1, 2014
Fetch | Report | Google
Reactive Imperative Programming with Dataflow Constraints
Camil Demetrescu, Irene Finocchi, Andrea Ribichini
ACM Trans. Program. Lang. Syst., 37(1):3:1-3:53, 2014
Fetch | Report | Google
A Scheduling Framework for Spatial Architectures Across Multiple Constraint-Solving Theories
Tony Nowatzki, Michael Sartin-Tarm, Lorenzo De Carli, Karthikeyan Sankaralingam, Cristian Estan, Behnam Robatmili
ACM Trans. Program. Lang. Syst., 37(1):2:1-2:30, 2014
Fetch | Report | Google
Practical Fine-Grained Information Flow Control Using Laminar
Donald E. Porter, Michael D. Bond, Indrajit Roy, Kathryn S. McKinley, Emmett Witchel
ACM Trans. Program. Lang. Syst., 37(1):4:1-4:51, 2014
Fetch | Report | Google
Foundations of Typestate-Oriented Programming
Ronald Garcia, Éric Tanter, Roger Wolff, Jonathan Aldrich
ACM Trans. Program. Lang. Syst., 36(4):12:1-12:44, 2014
Fetch | Report | Google
Abstract Domains of Affine Relations
Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps
ACM Trans. Program. Lang. Syst., 36(4):11:1-11:73, 2014
Fetch | Report | Google
Kitsune: Efficient, General-Purpose Dynamic Software Updating for C
Christopher M. Hayden, Karla Saur, Edward K. Smith, Michael W. Hicks, Jeffrey S. Foster
ACM Trans. Program. Lang. Syst., 36(4):13:1-13:38, 2014
Fetch | Report | Google
A Widening Approach to Multithreaded Program Verification
Alexander Kaiser 0001, Daniel Kroening, Thomas Wahl
ACM Trans. Program. Lang. Syst., 36(4):14:1-14:29, 2014
Fetch | Report | Google
Extending Type Inference to Variational Programs
Sheng Chen 0008, Martin Erwig, Eric Walkingshaw
ACM Trans. Program. Lang. Syst., 36(1):1, 2014
Fetch | Report | Google
Æminium: A Permission-Based Concurrent-by-Default Programming Language Approach
Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich
ACM Trans. Program. Lang. Syst., 36(1):2, 2014
Fetch | Report | Google
Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations
Hongjin Liang, Xinyu Feng, Ming Fu
ACM Trans. Program. Lang. Syst., 36(1):3, 2014
Fetch | Report | Google
Formal Verification of an SSA-Based Middle-End for CompCert
Gilles Barthe, Delphine Demange, David Pichardie
ACM Trans. Program. Lang. Syst., 36(1):4, 2014
Fetch | Report | Google
Specialization Slicing
Min Aung, Susan Horwitz, Richard Joiner, Thomas W. Reps
ACM Trans. Program. Lang. Syst., 36(2):5:1-5:67, 2014
Fetch | Report | Google
Global Sparse Analysis Framework
Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park 0001, Jeehoon Kang, Kwangkeun Yi
ACM Trans. Program. Lang. Syst., 36(3):8:1-8:44, 2014
Fetch | Report | Google
Atomicity Refinement for Verified Compilation
Suresh Jagannathan, Vincent Laporte, Gustavo Petri, David Pichardie, Jan Vitek
ACM Trans. Program. Lang. Syst., 36(2):6:1-6:30, 2014
Fetch | Report | Google
Pattern-Based Verification for Multithreaded Programs
Javier Esparza, Pierre Ganty, Tomás Poch
ACM Trans. Program. Lang. Syst., 36(3):9:1-9:29, 2014
Fetch | Report | Google
Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory
Jade Alglave, Luc Maranget, Michael Tautschnig
ACM Trans. Program. Lang. Syst., 36(2):7:1-7:74, 2014
Fetch | Report | Google
Lazy Scheduling: A Runtime Adaptive Scheduler for Declarative Parallelism
Alexandros Tzannes, George C. Caragea, Uzi Vishkin, Rajeev Barua
ACM Trans. Program. Lang. Syst., 36(3):10:1-10:51, 2014
Fetch | Report | Google
Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
ACM Trans. Program. Lang. Syst., 37(1):1:1-1:35, 2014
Fetch | Report | Google
TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis
Junghee Lim, Thomas W. Reps
ACM Trans. Program. Lang. Syst., 35(1):4, 2013
Fetch | Report | Google
A Transformation Framework for Optimizing Task-Parallel Programs
V. Krishna Nandivada, Jun Shirako, Jisheng Zhao, Vivek Sarkar
ACM Trans. Program. Lang. Syst., 35(1):3, 2013
Fetch | Report | Google
Editorial
Jens Palsberg
ACM Trans. Program. Lang. Syst., 35(1):1, 2013
Fetch | Report | Google
Practical Integrated Analysis of Pointers, Dataflow and Control Flow
Stefan Staiger-Stöhr
ACM Trans. Program. Lang. Syst., 35(1):5, 2013
Fetch | Report | Google
Mixin' Up the ML Module System
Andreas Rossberg, Derek Dreyer
ACM Trans. Program. Lang. Syst., 35(1):2, 2013
Fetch | Report | Google
Efficient Identification of Linchpin Vertices in Dependence Clusters
David Binkley, Nicolas Gold, Mark Harman, Syed S. Islam, Jens Krinke, Zheng Li
ACM Trans. Program. Lang. Syst., 35(2):7, 2013
Fetch | Report | Google
Proof-Directed Parallelization Synthesis by Separation Logic
Matko Botincan, Mike Dodds, Suresh Jagannathan
ACM Trans. Program. Lang. Syst., 35(2):8, 2013
Fetch | Report | Google
Dependent Type Theory for Verification of Information Flow and Access Control Policies
Aleksandar Nanevski, Anindya Banerjee, Deepak Garg 0001
ACM Trans. Program. Lang. Syst., 35(2):6, 2013
Fetch | Report | Google
Probabilistic Relational Reasoning for Differential Privacy
Gilles Barthe, Boris Köpf, Federico Olmedo, Santiago Zanella Béguelin
ACM Trans. Program. Lang. Syst., 35(3):9, 2013
Fetch | Report | Google
Analysis of Recursively Parallel Programs
Ahmed Bouajjani, Michael Emmi
ACM Trans. Program. Lang. Syst., 35(3):10, 2013
Fetch | Report | Google
Contracts for First-Class Classes
T. Stephen Strickland, Christos Dimoulas, Asumu Takikawa, Matthias Felleisen
ACM Trans. Program. Lang. Syst., 35(3):11, 2013
Fetch | Report | Google
Making the java memory model safe
Andreas Lochbihler
ACM Trans. Program. Lang. Syst., 35(4):12, 2013
Fetch | Report | Google
Divergence analysis
Diogo Sampaio, Rafael Martins de Souza, Sylvain Collange, Fernando Magno Quintão Pereira
ACM Trans. Program. Lang. Syst., 35(4):13, 2013
Fetch | Report | Google
Reachability analysis of program variables
Durica Nikolic, Fausto Spoto
ACM Trans. Program. Lang. Syst., 35(4):14, 2013
Fetch | Report | Google
Multivariate amortized resource analysis
Jan Hoffmann 0002, Klaus Aehlig, Martin Hofmann 0001
ACM Trans. Program. Lang. Syst., 34(3):14, 2012
Fetch | Report | Google
Equivalence checking of static affine programs using widening to handle recurrences
Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe
ACM Trans. Program. Lang. Syst., 34(3):11, 2012
Fetch | Report | Google
Essential AOP: The a calculus
Bruno De Fraine, Erik Ernst, Mario Südholt
ACM Trans. Program. Lang. Syst., 34(3):12, 2012
Fetch | Report | Google
Space overhead bounds for dynamic memory management with partial compaction
Anna Bendersky, Erez Petrank
ACM Trans. Program. Lang. Syst., 34(3):13, 2012
Fetch | Report | Google
Natural and Flexible Error Recovery for Generated Modular Language Environments
Maartje de Jonge, Lennart C. L. Kats, Eelco Visser, Emma Söderberg
ACM Trans. Program. Lang. Syst., 34(4):15, 2012
Fetch | Report | Google
On the Termination of Integer Loops
Amir M. Ben-Amram, Samir Genaim, Abu Naser Masud
ACM Trans. Program. Lang. Syst., 34(4):16, 2012
Fetch | Report | Google
Bisimulation for Quantum Processes
Yuan Feng, Runyao Duan, Mingsheng Ying
ACM Trans. Program. Lang. Syst., 34(4):17, 2012
Fetch | Report | Google
On a Technique for Transparently Empowering Classical Compiler Optimizations on Multithreaded Code
Pramod G. Joisha, Robert S. Schreiber, Prithviraj Banerjee, Hans-Juergen Boehm, Dhruva R. Chakrabarti
ACM Trans. Program. Lang. Syst., 34(2):9, 2012
Fetch | Report | Google
Structured Communication-Centered Programming for Web Services
Marco Carbone, Kohei Honda, Nobuko Yoshida
ACM Trans. Program. Lang. Syst., 34(2):8, 2012
Fetch | Report | Google
Partially Evaluating Finite-State Runtime Monitors Ahead of Time
Eric Bodden, Patrick Lam, Laurie J. Hendren
ACM Trans. Program. Lang. Syst., 34(2):7, 2012
Fetch | Report | Google
Reasoning about Web Applications: An Operational Semantics for HOP
Gérard Boudol, Zhengqin Luo, Tamara Rezk, Manuel Serrano
ACM Trans. Program. Lang. Syst., 34(2):10, 2012
Fetch | Report | Google
A data-centric approach to synchronization
Julian Dolby, Christian Hammer 0001, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek
ACM Trans. Program. Lang. Syst., 34(1):4, 2012
Fetch | Report | Google
ScalaExtrap: Trace-based communication extrapolation for SPMD programs
Xing Wu, Frank Mueller
ACM Trans. Program. Lang. Syst., 34(1):5, 2012
Fetch | Report | Google
Implicit dynamic frames
Jan Smans, Bart Jacobs 0002, Frank Piessens
ACM Trans. Program. Lang. Syst., 34(1):2, 2012
Fetch | Report | Google
Editorial
Jens Palsberg
ACM Trans. Program. Lang. Syst., 34(1):1, 2012
Fetch | Report | Google
Parameterized loop tiling
Lakshminarayanan Renganarayanan, DaeGon Kim, Michelle Mills Strout, Sanjay V. Rajopadhye
ACM Trans. Program. Lang. Syst., 34(1):3, 2012
Fetch | Report | Google
Algorithmic verification of asynchronous programs
Pierre Ganty, Rupak Majumdar
ACM Trans. Program. Lang. Syst., 34(1):6, 2012
Fetch | Report | Google
Floyd-hoare logic for quantum programs
Mingsheng Ying
ACM Trans. Program. Lang. Syst., 33(6):19, 2011
Fetch | Report | Google
Separating ownership topology and encapsulation with generic universe types
Werner Dietl, Sophia Drossopoulou, Peter Müller 0001
ACM Trans. Program. Lang. Syst., 33(6):20, 2011
Fetch | Report | Google
Fast interprocedural linear two-variable equalities
Andrea Flexeder, Markus Müller-Olm, Michael Petter, Helmut Seidl
ACM Trans. Program. Lang. Syst., 33(6):21, 2011
Fetch | Report | Google
Editorial note
Jens Palsberg
ACM Trans. Program. Lang. Syst., 33(6):18, 2011
Fetch | Report | Google
On contract satisfaction in a higher-order world
Christos Dimoulas, Matthias Felleisen
ACM Trans. Program. Lang. Syst., 33(5):16, 2011
Fetch | Report | Google
Software model checking using languages of nested trees
Rajeev Alur, Swarat Chaudhuri, P. Madhusudan
ACM Trans. Program. Lang. Syst., 33(5):15, 2011
Fetch | Report | Google
Bottom-up shape analysis using LISF
Bhargav S. Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya V. Nori
ACM Trans. Program. Lang. Syst., 33(5):17, 2011
Fetch | Report | Google
Automated termination proofs for haskell by term rewriting
Jürgen Giesl, Matthias Raffelsieper, Peter Schneider-Kamp, Stephan Swiderski, René Thiemann
ACM Trans. Program. Lang. Syst., 33(2):7, 2011
Fetch | Report | Google
Mathematical foundation of trace scheduling
Utpal Banerjee
ACM Trans. Program. Lang. Syst., 33(3):10, 2011
Fetch | Report | Google
JavaGI: The Interaction of Type Classes with Interfaces and Inheritance
Stefan Wehr, Peter Thiemann
ACM Trans. Program. Lang. Syst., 33(4):12, 2011
Fetch | Report | Google
Editorial
Jens Palsberg
ACM Trans. Program. Lang. Syst., 33(1):1, 2011
Fetch | Report | Google
Refactoring using type constraints
Frank Tip, Robert M. Fuhrer, Adam Kiezun, Michael D. Ernst, Ittai Balaban, Bjorn De Sutter
ACM Trans. Program. Lang. Syst., 33(3):9, 2011
Fetch | Report | Google
A Theory of Synchronous Relational Interfaces
Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee
ACM Trans. Program. Lang. Syst., 33(4):14, 2011
Fetch | Report | Google
Solving systems of rational equations through strategy iteration
Thomas Martin Gawlitza, Helmut Seidl
ACM Trans. Program. Lang. Syst., 33(3):11, 2011
Fetch | Report | Google
Mechanically verified proof obligations for linearizability
John Derrick, Gerhard Schellhorn, Heike Wehrheim
ACM Trans. Program. Lang. Syst., 33(1):4, 2011
Fetch | Report | Google
Refinement types for secure implementations
Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
ACM Trans. Program. Lang. Syst., 33(2):8, 2011
Fetch | Report | Google
An Abstract Model of Certificate Translation
Gilles Barthe, César Kunz
ACM Trans. Program. Lang. Syst., 33(4):13, 2011
Fetch | Report | Google
Morphing: Structurally shaping a class by reflecting on others
Shan Shan Huang, Yannis Smaragdakis
ACM Trans. Program. Lang. Syst., 33(2):6, 2011
Fetch | Report | Google
LOCKSMITH: Practical static race detection for C
Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks
ACM Trans. Program. Lang. Syst., 33(1):3, 2011
Fetch | Report | Google
Environmental bisimulations for higher-order languages
Davide Sangiorgi, Naoki Kobayashi 0001, Eijiro Sumii
ACM Trans. Program. Lang. Syst., 33(1):5, 2011
Fetch | Report | Google
Semantics of transactional memory and automatic mutual exclusion
Martín Abadi, Andrew Birrell, Tim Harris 0001, Michael Isard
ACM Trans. Program. Lang. Syst., 33(1):2, 2011
Fetch | Report | Google
Santa Claus: Formal analysis of a process-oriented solution
Peter H. Welch, Jan Bækgaard Pedersen
ACM Trans. Program. Lang. Syst., 32(4), 2010
Fetch | Report | Google
Scratchpad allocation for concurrent embedded software
Vivy Suhendra, Abhik Roychoudhury, Tulika Mitra
ACM Trans. Program. Lang. Syst., 32(4), 2010
Fetch | Report | Google
Typing linear constraints
Salvatore Ruggieri, Fred Mesnard
ACM Trans. Program. Lang. Syst., 32(6), 2010
Fetch | Report | Google
La dolce vita at TOPLAS
Kathryn S. McKinley, Keshav Pingali
ACM Trans. Program. Lang. Syst., 32(4), 2010
Fetch | Report | Google
A calculus for uniform feature composition
Sven Apel, DeLesley Hutchins
ACM Trans. Program. Lang. Syst., 32(5):19:1-19:33, 2010
Fetch | Report | Google
Execution suppression: An automated iterative technique for locating memory errors
Dennis Jeffrey, Vijay Nagarajan, Rajiv Gupta, Neelam Gupta
ACM Trans. Program. Lang. Syst., 32(5):17:1-17:36, 2010
Fetch | Report | Google
A hybrid type system for lock-freedom of mobile processes
Naoki Kobayashi 0001, Davide Sangiorgi
ACM Trans. Program. Lang. Syst., 32(5):16:1-16:49, 2010
Fetch | Report | Google
WYSINWYX: What you see is not what you eXecute
Gogul Balakrishnan, Thomas W. Reps
ACM Trans. Program. Lang. Syst., 32(6), 2010
Fetch | Report | Google
Detecting bugs in register allocation
Yuqiang Huang, Bruce R. Childers, Mary Lou Soffa
ACM Trans. Program. Lang. Syst., 32(4), 2010
Fetch | Report | Google
Semantics of fractional permissions with nesting
John Tang Boyland
ACM Trans. Program. Lang. Syst., 32(6), 2010
Fetch | Report | Google
Nomadic pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation
Peter Sewell, Pawel T. Wojciechowski, Asis Unyapoth
ACM Trans. Program. Lang. Syst., 32(4), 2010
Fetch | Report | Google
An optimization framework for embedded processors with auto-addressing mode
Xiaotong Zhuang, Santosh Pande
ACM Trans. Program. Lang. Syst., 32(4), 2010
Fetch | Report | Google
Satin: A high-level and efficient grid programming model
Rob van Nieuwpoort, Gosia Wrzesinska, Ceriel J. H. Jacobs, Henri E. Bal
ACM Trans. Program. Lang. Syst., 32(3), 2010
Fetch | Report | Google
A termination analyzer for Java bytecode based on path-length
Fausto Spoto, Fred Mesnard, Étienne Payet
ACM Trans. Program. Lang. Syst., 32(3), 2010
Fetch | Report | Google
Semantic foundations for typed assembly languages
Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Kedar N. Swadi, Gang Tan, Daniel C. Wang
ACM Trans. Program. Lang. Syst., 32(3), 2010
Fetch | Report | Google
La prossima vita at TOPLAS
Kathryn S. McKinley, Keshav Pingali
ACM Trans. Program. Lang. Syst., 32(6), 2010
Copyright © 2008–2019 The Distributed Group | Thanks to DBLP, MSAA, PN I+D+I, and CICE