TDG
Scholar
Committed to research!
Version 1.7
Home
|
Bibliography
|
Writers
|
Journals
|
Conferences
|
Publishers
Help
|
News
Bibliography
Refine on click
|
Report
|
Share
More than 125 records were found in 0.484 seconds
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
,
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
Fetch
|
Report
|
Google
Verifying safety properties of concurrent heap-manipulating programs
Eran Yahav
,
Mooly Sagiv
ACM Trans. Program. Lang. Syst.
,
32(5):18:1-18:50
,
2010
Fetch
|
Report
|
Google
Finite differencing of logical formulas for static analysis
Thomas W. Reps
,
Mooly Sagiv
,
Alexey Loginov
ACM Trans. Program. Lang. Syst.
,
32(6)
,
2010
Fetch
|
Report
|
Google
JavaCOP: Declarative pluggable types for java
Shane Markstrum
,
Daniel Marino
,
Matthew Esquivel
,
Todd D. Millstein
,
Chris Andreae
,
James Noble
ACM Trans. Program. Lang. Syst.
,
32(2)
,
2010