Search Results - "Reps, Thomas"

Polynomial Bounds of CFLOBDDs against BDDs.

Authors: Zhi, Xusheng Reps, Thomas

Source: ACM Transactions on Programming Languages & Systems; Jun2025, Vol. 47 Issue 2, p1-36, 36p

CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams.

Authors: Sistla, Meghana Aparna Chaudhuri, Swarat Reps, Thomas

Source: ACM Transactions on Programming Languages & Systems; Jun2024, Vol. 46 Issue 2, p1-82, 82p

Massie Says 6 Names In Unredacted Epstein Files Could Be Incriminated.

Authors: Dorn, Sara (AUTHOR)

Source: Forbes.com. 2/9/2026, pN.PAG-N.PAG. 1p.

A Relational Approach to Interprocedural Shape Analysis.

Authors: Jeannet, Bertrand Loginov, Alexey Reps, Thomas

Source: ACM Transactions on Programming Languages & Systems; Jan2010, Vol. 32 Issue 2, p5:1-5:52, 52p

Because Place Still Matters: Mapping Puertorriqueñidad in Bodega Dreams.

Authors: IRIZARRY, YLCE¹, yirizarry@usf.edu

Source: Centro Journal; Spring2015, Vol. 27 Issue 1, p152-185, 34p

Automatic Repair of Quantum Programs via Unitary Operation.

Authors: Li, Yuechen Pei, Hanyu Huang, Linzhi et al.

Source: ACM Transactions on Software Engineering & Methodology; Jul2024, Vol. 33 Issue 6, p1-43, 43p

Fast Graph Simplification for Interleaved-Dyck Reachability.

Authors: YUANBO LI QIRUN ZHANG REPS, THOMAS

Source: ACM Transactions on Programming Languages & Systems; 2022, Vol. 44 Issue 2, p1-28, 28p

Shipwright: A Human-in-the-Loop System for Dockerfile Repair.

Authors: Henkel, Jordan Silva, Denini Teixeira, Leopoldo et al.

Source: ICSE: International Conference on Software Engineering; 5/22/2021, p1148-1160, 13p

Trump Attacks House Vote To End Iran War—Says It's 'Meaningless'.

Authors: Dorn, Sara (AUTHOR)

Source: Forbes.com. 6/4/2026, pN.PAG-N.PAG. 1p.

Learning from, Understanding, and Supporting DevOps Artifacts for Docker.

Authors: Henkel, Jordan Bird, Christian Lahiri, Shuvendu K. et al.

Source: ICSE: International Conference on Software Engineering; 6/17/2020, p38-49, 12p

Interprocedural Context-Unbounded Program Analysis Using Observation Sequences.

Authors: PEIZUN LIU WAHL, THOMAS REPS, THOMAS

Source: ACM Transactions on Programming Languages & Systems; Dec2020, Vol. 42 Issue 4, p1-34, 34p

Epstein Victims Call on Congress to Release All Files.

Authors: Popli, Nik (AUTHOR)

Source: Time.com. 9/4/2025, pN.PAG-N.PAG. 1p.

WYSINWYX: What You See Is Not What You eXecute.

Authors: Balakrishnan, Gogul Reps, Thomas

Source: ACM Transactions on Programming Languages & Systems; Aug2010, Vol. 32 Issue 6, p23-1-23-84, 84p

Finite Differencing of Logical Formulas for Static Analysis.

Authors: Reps, Thomas Sagiv, Mooly Loginov, Alexey

Source: ACM Transactions on Programming Languages & Systems; Aug2010, Vol. 32 Issue 6, p24-1-24-55, 55p

Rogan Slams Trump Administration Over Epstein Files Redactions.

Authors: Murray, Conor (AUTHOR)

Source: Forbes.com. 2/12/2026, pN.PAG-N.PAG. 1p.

6 House Republicans Vote To Defy Trump On Canada Tariffs.

Authors: Pequeño IV, Antonio (AUTHOR)

Source: Forbes.com. 2/11/2026, pN.PAG-N.PAG. 1p.

Unredacted Epstein Files Can Reportedly Be Viewed By Congress Members Next Week.

Authors: Pequeño IV, Antonio (AUTHOR)

Source: Forbes.com. 2/6/2026, pN.PAG-N.PAG. 1p.

What Government Shutdown's End Means For Releasing Epstein Files.

Authors: Durkee, Alison (AUTHOR)

Source: Forbes.com. 11/11/2025, pN.PAG-N.PAG. 1p.

Design and Implementation of a Fine-Grained Software Inspection Tool.

Authors: Anderson, Paul Reps, Thomas Teitelbaum, Tim

Source: IEEE Transactions on Software Engineering; August 2003, Vol. 29 Issue 8, p721-733, 13p

Parametric Shape Analysis via 3-Valued Logic.

Authors: Sagiv, Mooly Reps, Thomas Wilhelm, Reinhard

Source: ACM Transactions on Programming Languages & Systems; May 2002, Vol. 24 Issue 3, p217-298, 82p