Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThomas Ball
Person information
- affiliation: Microsoft Research
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j30]James Devine, Michal Moskal, Peli de Halleux, Thomas Ball, Steve Hodges, Gabriele D'Amone, David Gakure, Joe Finney, Lorraine Underwood, Kobi Hartley, Paul Kos, Matt Oppenheim:
Plug-and-play Physical Computing with Jacdac. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 6(3): 110:1-110:30 (2022)- [c95]Stefania Druga, Thomas Ball, Amy J. Ko:
How families design and program games: a qualitative analysis of a 4-week online in-home study. IDC 2022: 237-252 - 2021
- [c94]Teddy Seyed, James Devine, Joe Finney, Michal Moskal
, Peli de Halleux, Steve Hodges, Thomas Ball, Asta Roseway:
Rethinking the Runway: Using Avant-Garde Fashion To Design a System for Wearables. CHI 2021: 45:1-45:15 - [c93]Michal Moskal, Thomas Ball, Abhijith Chatra, James Devine, Peli de Halleux, Steve Hodges, Shannon Kao, Richard Knoll, Galen Nickel, Jacqueline Russell, Joey Wunderlich, Daryl Zuniga:
Web-based Programming for Low-cost Gaming Handhelds. FDG 2021: 38:1-38:12 - 2020
- [j29]Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Peli de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale:
The BBC micro: bit: from the U.K. to the world. Commun. ACM 63(3): 62-69 (2020) - [j28]Steve Hodges, Sue Sentance, Joe Finney, Thomas Ball:
Physical Computing: A Key Element of Modern Computer Science Education. Computer 53(4): 20-30 (2020) - [c92]Thomas Ball, Shannon Kao, Richard Knoll, Daryl Zuniga:
TileCode: Creation of Video Games on Gaming Handhelds. UIST 2020: 1182-1193
2010 – 2019
- 2019
- [j27]James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges:
MakeCode and CODAL: Intuitive and efficient embedded systems programming for education. J. Syst. Archit. 98: 468-483 (2019) - [c91]Teddy Seyed, Peli de Halleux, Michal Moskal, James Devine, Joe Finney, Steve Hodges, Thomas Ball:
MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity. CHI Extended Abstracts 2019 - [c90]Thomas Ball, Peli de Halleux, Michal Moskal:
Static TypeScript: an implementation of a static compiler for the TypeScript language. MPLR 2019: 105-116 - [c89]Thomas Ball, Abhijith Chatra, Peli de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell:
Microsoft MakeCode: embedded programming for education, in blocks and TypeScript. SPLASH-E 2019: 7-12 - 2018
- [c88]Annie Kelly, R. Benjamin Shapiro, Jonathan de Halleux, Thomas Ball:
ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces. CHI 2018: 409 - [c87]Annie Kelly, R. Benjamin Shapiro, Jonathan de Halleux, Thomas Ball:
ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces. CHI Extended Abstracts 2018 - [c86]Thomas Ball:
KEYNOTE. Push, Pull, Partner: A Few Models for Working with Industry. ICSA Companion 2018: 40 - [c85]Thomas Ball, Judith Bishop, Joe Finney:
Multi-platform computing for physical devices via MakeCode and CODAL. ICSE (Companion Volume) 2018: 552-553 - [c84]James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges:
MakeCode and CODAL: intuitive and efficient embedded systems programming for education. LCTES 2018: 19-30 - 2017
- [c83]Thomas Ball:
Physical computing for everyone. ICSE-SEET 2017: 3 - [c82]Thomas Ball, Judith Bishop, Jonathan de Halleux:
The Micro: bit: Hands-on Computing for the New Generation (Abstract Only). SIGCSE 2017: 639 - 2016
- [j26]Marta Kwiatkowska, Moshe Y. Vardi, Ahmed Bouajjani, Thomas Ball:
2014 CAV award announcement. Formal Methods Syst. Des. 48(3): 149-151 (2016) - [c81]Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Jonathan de Halleux, Michael Braun, Steve Hodges, Clare Riley:
Microsoft touch develop and the BBC micro: bit. ICSE (Companion Volume) 2016: 637-640 - [c80]Rahul Kumar, Thomas Ball, Jakob Lichtenberg, Nate Deisinger, Apoorv Upreti, Chetan Bansal:
CloudSDV Enabling Static Driver Verifier Using Microsoft Azure. IFM 2016: 523-536 - 2015
- [j25]Thomas Ball, Benjamin G. Zorn:
Teach foundational language principles. Commun. ACM 58(5): 30-31 (2015) - [c79]Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann:
Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment. MOBILESoft 2015: 83-93 - [p2]Thomas Ball, Jakub Daniel:
Deconstructing Dynamic Symbolic Execution. Dependable Software Systems Engineering 2015: 26-41 - [e10]Thomas Ball, Rastislav Bodík, Shriram Krishnamurthi, Benjamin S. Lerner, Greg Morrisett:
1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA. LIPIcs 32, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-80-4 [contents] - 2014
- [c78]Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop:
TouchDevelop: create rich mobile apps on touch devices (tutorial). MOBILESoft 2014: 1-2 - [c77]Thomas Ball, Nikolaj S. Bjørner, Aaron Gember, Shachar Itzhaky, Aleksandr Karbyshev, Mooly Sagiv, Michael Schapira, Asaf Valadarsky:
VeriCon: towards verifying controller programs in software-defined networks. PLDI 2014: 282-293 - [c76]Thomas Ball:
Correctness via compilation to logic: a decade of verification at microsoft research. HILT 2014: 69-70 - [c75]Baris Kasikci, Thomas Ball, George Candea, John Erickson, Madanlal Musuvathi:
Efficient Tracing of Cold Code via Bias-Free Sampling. USENIX Annual Technical Conference 2014: 243-254 - 2013
- [c74]Sam Bayless, Celina G. Val, Thomas Ball, Holger H. Hoos, Alan J. Hu:
Efficient modular SAT solving for IC3. FMCAD 2013: 149-156 - [c73]Thomas Ball, Peli de Halleux, Nikhil Swamy, Daan Leijen:
Increasing human-tool interaction via the web. PASTE 2013: 49-52 - 2012
- [j24]Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani:
Automatic predicate abstraction of C programs. ACM SIGPLAN Notices 47(4a): 37-47 (2012) - [c72]Francesco Logozzo, Thomas Ball:
Modular and verified automatic program repair. OOPSLA 2012: 133-146 - [c71]Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman:
Type-directed completion of partial expressions. PLDI 2012: 275-286 - [c70]Thomas Ball, Nikolaj S. Bjørner, Leonardo Mendonça de Moura, Kenneth L. McMillan, Margus Veanes:
Beyond First-Order Satisfaction: Fixed Points, Interpolants, Automata and Polynomials. SPIN 2012: 1-6 - [e9]Jos C. M. Baeten, Thomas Ball, Frank S. de Boer:
Theoretical Computer Science - 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings. Lecture Notes in Computer Science 7604, Springer 2012, ISBN 978-3-642-33474-0 [contents] - 2011
- [j23]Thomas Ball, Vladimir Levin, Sriram K. Rajamani:
A decade of software model checking with SLAM. Commun. ACM 54(7): 68-76 (2011) - [j22]Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, Shaz Qadeer:
Predictable and Progressive Testing of Multithreaded Code. IEEE Softw. 28(3): 75-83 (2011) - [c69]Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin:
Model Checking Büchi Pushdown Systems. FASE 2011: 141-155 - [c68]Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey:
Formalizing hardware/software interface specifications. ASE 2011: 143-152 - [c67]Sebastian Burckhardt, Daan Leijen, Caitlin Sadowski, Jaeheon Yi, Thomas Ball:
Two for the price of one: a model for parallel and incremental computation. OOPSLA 2011: 427-444 - [c66]Caitlin Sadowski, Thomas Ball, Judith Bishop, Sebastian Burckhardt, Ganesh Gopalakrishnan, Joseph Mayo, Madanlal Musuvathi, Shaz Qadeer, Stephen Toub:
Practical parallel and concurrent programming. SIGCSE 2011: 189-194 - [p1]Nachiappan Nagappan, Thomas Ball:
Evidence-Based Failure Prediction. Making Software 2011: 415-434 - [e8]Thomas Ball, Mooly Sagiv:
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011. ACM 2011, ISBN 978-1-4503-0490-0 [contents] - 2010
- [c65]Thomas Ball, Ella Bounimova, Vladimir Levin, Rahul Kumar, Jakob Lichtenberg:
The Static Driver Verifier Research Platform. CAV 2010: 119-122 - [c64]Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin:
Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification. CAV 2010: 339-353 - [c63]Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey:
An Automata-Theoretic Approach to Hardware/Software Co-verification. FASE 2010: 248-262 - [c62]Thomas Ball, Ella Bounimova, Rahul Kumar, Vladimir Levin:
SLAM2: Static driver verification with under 4% false alarms. FMCAD 2010: 35-42 - [c61]Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer:
Preemption Sealing for Efficient Concurrency Testing. TACAS 2010: 420-434 - [c60]Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue:
Towards Scalable Modular Checking of User-Defined Properties. VSTTE 2010: 1-24
2000 – 2009
- 2009
- [c59]Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer:
Deconstructing concurrency heisenbugs. ICSE Companion 2009: 403-404 - [c58]Thomas Ball:
A brief history of software - from Bell Labs to Microsoft Research. MSR 2009 - [e7]Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow:
Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009. Dagstuhl Seminar Proceedings 09411, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - [i5]Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow:
09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction. Interaction versus Automation: The two Faces of Deduction 2009 - [i4]Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow:
09411 Executive Summary - Interaction versus Automation: The two Faces of Deductions. Interaction versus Automation: The two Faces of Deduction 2009 - 2008
- [c57]Carlos Pacheco, Shuvendu K. Lahiri, Thomas Ball:
Finding errors in .net with feedback-directed random testing. ISSTA 2008: 87-96 - [c56]Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu:
Finding and Reproducing Heisenbugs in Concurrent Programs. OSDI 2008: 267-280 - [c55]Grigore Rosu, Feng Chen, Thomas Ball:
Synthesizing Monitors for Safety Properties: This Time with Calls and Returns. RV 2008: 51-68 - [c54]Thomas Ball, Orna Kupferman:
Vacuity in Testing. TAP 2008: 4-17 - 2007
- [j21]Shuvendu K. Lahiri, Thomas Ball, Byron Cook:
Predicate Abstraction via Symbolic Decision Procedures. Log. Methods Comput. Sci. 3(2) (2007) - [c53]Thomas Ball, Orna Kupferman, Mooly Sagiv:
Leaping Loops in the Presence of Abstraction. CAV 2007: 491-503 - [c52]Nachiappan Nagappan, Thomas Ball:
Using Software Dependencies and Churn Metrics to Predict Field Failures: An Empirical Case Study. ESEM 2007: 364-373 - [c51]Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball:
Feedback-Directed Random Test Generation. ICSE 2007: 75-84 - [c50]Thomas Ball, Orna Kupferman:
Better Under-Approximation of Programs by Hiding Variables. VMCAI 2007: 314-328 - 2006
- [j20]Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani:
Intelligent Systems and Formal Methods in Software Engineering. IEEE Intell. Syst. 21(6): 71-81 (2006) - [c49]Thomas Ball:
Automated Abstraction of Software. ATVA 2006: 8 - [c48]Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner:
Thorough static analysis of device drivers. EuroSys 2006: 73-85 - [c47]Nachiappan Nagappan, Thomas Ball, Andreas Zeller:
Mining metrics to predict component failures. ICSE 2006: 452-461 - [c46]Nachiappan Nagappan, Thomas Ball, Brendan Murphy:
Using Historical In-Process and Product Metrics for Early Estimation of Software Failures. ISSRE 2006: 62-74 - [c45]Gunnar Kudrjavets, Nachiappan Nagappan, Thomas Ball:
Assessing the Relationship between Software Assertions and Faults: An Empirical Investigation. ISSRE 2006: 204-212 - [c44]Greta Yorsh, Thomas Ball, Mooly Sagiv:
Testing, abstraction, theorem proving: better together! ISSTA 2006: 145-156 - [c43]Thomas Ball, Orna Kupferman:
An Abstraction-Refinement Framework for Multi-Agent Systems. LICS 2006: 379-388 - [e6]Thomas Ball, Robert B. Jones:
Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Lecture Notes in Computer Science 4144, Springer 2006, ISBN 3-540-37406-X [contents] - [e5]Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller:
Multi-Version Program Analysis, 26. June - 1. July 2005. Dagstuhl Seminar Proceedings 05261, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - [e4]Michael I. Schwartzbach, Thomas Ball:
Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006. ACM 2006, ISBN 1-59593-320-4 [contents] - [i3]Shuvendu K. Lahiri, Thomas Ball, Byron Cook:
Predicate Abstraction via Symbolic Decision Procedures. CoRR abs/cs/0612003 (2006) - 2005
- [j19]Thomas Ball, Todd D. Millstein, Sriram K. Rajamani:
Polymorphic predicate abstraction. ACM Trans. Program. Lang. Syst. 27(2): 314-343 (2005) - [c42]Shuvendu K. Lahiri, Thomas Ball, Byron Cook:
Predicate Abstraction via Symbolic Decision Procedures. CAV 2005: 24-38 - [c41]Thomas Ball, Orna Kupferman, Greta Yorsh:
Abstraction for Falsification. CAV 2005: 67-81 - [c40]Nachiappan Nagappan, Thomas Ball:
Use of relative code churn measures to predict system defect density. ICSE 2005: 284-292 - [c39]Nachiappan Nagappan, Thomas Ball:
Static analysis tools as early indicators of pre-release defect density. ICSE 2005: 580-586 - [c38]Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi:
Zap: Automated Theorem Proving for Software Analysis. LPAR 2005: 2-22 - [c37]Thomas Ball:
The Verified Software Challenge: A Call for a Holistic Approach to Reliability. VSTTE 2005: 42-48 - [i2]Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller:
05261 Summary - Multi-Version Program Analysis. Multi-Version Program Analysis 2005 - [i1]Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller:
05261 Abstracts Collection - Multi-Version Program Analysis. Multi-Version Program Analysis 2005 - 2004
- [j18]James R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jonathan D. Pincus, Sriram K. Rajamani, Ramanathan Venkatapathy:
Righting Software. IEEE Softw. 21(3): 92-100 (2004) - [c36]Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Lintao Zhang:
Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement. CAV 2004: 457-461 - [c35]Thomas Ball:
A Theory of Predicate-Complete Test Coverage and Generation. FMCO 2004: 1-22 - [c34]Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani:
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft. IFM 2004: 1-20 - [c33]Benjamin Aminof, Thomas Ball, Orna Kupferman:
Reasoning About Systems with Transition Fairness. LPAR 2004: 194-208 - [c32]Thomas Ball, Vladimir Levin, Fei Xie:
Automatic Creation of Environment Models via Training. TACAS 2004: 93-107 - [c31]Thomas Ball, Byron Cook, Satyaki Das, Sriram K. Rajamani:
Refining Approximations in Software Predicate Abstraction. TACAS 2004: 388-403 - 2003
- [j17]Thomas Ball, Andreas Podelski, Sriram K. Rajamani:
Boolean and Cartesian abstraction for model checking C programs. Int. J. Softw. Tools Technol. Transf. 5(1): 49-58 (2003) - [c30]Thomas Ball, Mayur Naik, Sriram K. Rajamani:
From symptom to cause: localizing errors in counterexample traces. POPL 2003: 97-105 - [e3]Thomas Ball, Sriram K. Rajamani:
Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings. Lecture Notes in Computer Science 2648, Springer 2003, ISBN 3-540-40117-2 [contents] - 2002
- [j16]David L. Atkins, Thomas Ball, Todd L. Graves, Audris Mockus:
Using Version Control Data to Evaluate the Impact of Software Tools: A Case Study of the Version Editor. IEEE Trans. Software Eng. 28(7): 625-637 (2002) - [c29]Thomas Ball:
Secrets of Software Model Checking. APPIA-GULP-PRODE 2002: 3 - [c28]Thomas Ball, Sriram K. Rajamani:
The SLAM project: debugging system software via static analysis. POPL 2002: 1-3 - [c27]Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer:
Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. SAS 2002: 230-246 - [c26]Thomas Ball, Andreas Podelski, Sriram K. Rajamani:
Relative Completeness of Abstraction Refinement for Software Model Checking. TACAS 2002: 158-172 - 2001
- [j15]Thomas Ball, Hans-Juergen Boehm:
SIGPLANet - A Modest Proposal for SIGPLAN in the 21st Century. ACM SIGPLAN Notices 36(4): 1-2 (2001) - [c25]Thomas Ball, Sriram K. Rajamani:
The SLAM Toolkit. CAV 2001: 260-264 - [c24]Thomas Ball, Sriram K. Rajamani:
Bebop: a path-sensitive interprocedural dataflow engine. PASTE 2001: 97-103 - [c23]Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani:
Automatic Predicate Abstraction of C Programs. PLDI 2001: 203-213 - [c22]Thomas Ball, Sriram K. Rajamani:
Automatically Validating Temporal Safety Properties of Interfaces. SPIN 2001: 103-122 - [c21]Thomas Ball, Sagar Chaki, Sriram K. Rajamani:
Parameterized Verification of Multithreaded Software Libraries. TACAS 2001: 158-173 - [c20]Thomas Ball, Andreas Podelski, Sriram K. Rajamani:
Boolean and Cartesian Abstraction for Model Checking C Programs. TACAS 2001: 268-283 - 2000
- [j14]Thomas Ball, Veta Bonnewell, Peter J. Danielsen, Peter Mataga, Kenneth Rehor:
Speech-enabled services using TelePortalTM software and VoiceXMLstar. Bell Labs Tech. J. 5(3): 98-111 (2000) - [j13]Thomas Ball, James R. Larus:
Using Paths to Measure, Explain, and Enhance Program Behavior. Computer 33(7): 57-65 (2000) - [j12]Thomas Ball, Christopher Colby, Peter J. Danielsen, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Peter Mataga, Kenneth Rehor:
Sisl: Several Interfaces, Single Logic. Int. J. Speech Technol. 3(2): 93-108 (2000) - [j11]Thomas Ball, Daniel Hoffman, Frank Ruskey, Richard Webber, Lee J. White:
State Generation and Automated Class Testing. Softw. Test. Verification Reliab. 10(3): 149-170 (2000) - [c19]Thomas Ball, Sriram K. Rajamani:
Bebop: A Symbolic Model Checker for Boolean Programs. SPIN 2000: 113-130
1990 – 1999
- 1999
- [j10]Thomas Ball:
Paths between Imperative and Functional Programming. ACM SIGPLAN Notices 34(2): 21-25 (1999) - [j9]David L. Atkins, Thomas Ball, Glenn Bruns, Kenneth C. Cox:
Mawl: A Domain-Specific Language for Form-Based Services. IEEE Trans. Software Eng. 25(3): 334-346 (1999) - [c18]Michael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam, Thomas W. Reps:
Coping with Type Casts in C. ESEC / SIGSOFT FSE 1999: 180-198 - [c17]Thomas Ball:
The Concept of Dynamic Analysis. ESEC / SIGSOFT FSE 1999: 216-234 - [c16]David L. Atkins, Thomas Ball, Todd L. Graves, Audris Mockus:
Using Version Control Data to Evaluate the Impact of Software Tools. ICSE 1999: 324-333 - [e2]Thomas Ball:
Proceedings of the Second Conference on Domain-Specific Languages (DSL '99), Austin, Texas, USA, October 3-5, 1999. ACM 1999, ISBN 1-58113-255-7 [contents] - 1998
- [j8]